相容性独立性完全性

1、1“相容性、独立性和完全性相容性、独立性和完全性”的观点的观点2一、相容性、独立性和完全性一、相容性、独立性和完全性 组织、表述数学知识和理论的经典方法，往往是形式的组织、表述数学知识和理论的经典方法，往往是形式的公理化方法公理化方法，即从一批公理、定义出发，通过逻辑推理，得，即从一批公理、定义出发，通过逻辑推理，得到一系列结论（称为命题、定理或推论）的方法。到一系列结论（称为命题、定理或推论）的方法。 公元前公元前300年欧几里得的年欧几里得的 几何原本：几何原本：5条公理；条公理；5条共设；条共设；119个定义；个定义；465个命题个命题 1899年希尔伯特的几何基础：年希尔伯特的几何基础

2、：几何对象的深刻抽象；公理系统的逻辑要求几何对象的深刻抽象；公理系统的逻辑要求 20条公理，分为五组：关联公理，顺序公理，合同公理，平行公理，连续公理。条公理，分为五组：关联公理，顺序公理，合同公理，平行公理，连续公理。 形式的公理化方法在逻辑上的要求，是满足形式的公理化方法在逻辑上的要求，是满足相容性、独相容性、独立性和完全性立性和完全性。31.相容性：不允许从公理系统推出矛盾相容性：不允许从公理系统推出矛盾2.独立性：每一个公理不可由其它公理独立性：每一个公理不可由其它公理 推出推出3.完全性：该形式系统中所有命题都能完全性：该形式系统中所有命题都能 判定真伪判定真伪4 【含有【含有“不可

3、判定命题不可判定命题”的系统是不完全的。的系统是不完全的。 所谓不可判定命题，是指该命题和其反所谓不可判定命题，是指该命题和其反命题都不能由该系统中的公理推导出来。命题都不能由该系统中的公理推导出来。 （A与非与非A都能导出都能导出叫叫“不相容不相容”，A与非与非A都不能导出都不能导出叫叫“不完全不完全”）】）】5二、哥德尔的不完全性定理二、哥德尔的不完全性定理 1.关于关于 数学证明数学证明 与与 科学证明科学证明 的再认识的再认识 公理逻辑推理公理逻辑推理 假说观察、实验假说观察、实验 （主观符合客观）（主观符合客观） 不能推翻不能推翻 可能推翻可能推翻6 数学证明是依靠逻辑推理导出结论，

4、定理一经数学证明是依靠逻辑推理导出结论，定理一经证明证明就永远是对的，就永远是对的，除非发现证明本身有误。除非发现证明本身有误。 而其它学科的证明，往往是在某些依据下提出一种而其它学科的证明，往往是在某些依据下提出一种假说假说，当观察和，当观察和实验与该假说相符，就成为假说成立的证据。如果该假说不仅能描述已实验与该假说相符，就成为假说成立的证据。如果该假说不仅能描述已知的现象，而且能预见未知的事实，就成为假说成立的更强的证据。证知的现象，而且能预见未知的事实，就成为假说成立的更强的证据。证据积累到一定的数量，假说就改称为理论而被人们接受。据积累到一定的数量，假说就改称为理论而被人们接受。 观察

5、和实验是可能出错的，或者可能是不精确的，从而只能提供近观察和实验是可能出错的，或者可能是不精确的，从而只能提供近似的证据，导出似的证据，导出相对相对正确的理论。所以其它学科的理论，可能在后来会正确的理论。所以其它学科的理论，可能在后来会被证明是错的，从而导致科学上的革命，以至用新理论去代替旧理论。被证明是错的，从而导致科学上的革命，以至用新理论去代替旧理论。数学证明却与此不同，数学证明不是依赖于观察和实验，而是依赖于逻数学证明却与此不同，数学证明不是依赖于观察和实验，而是依赖于逻辑，所以，数学证明具有辑，所以，数学证明具有“绝对绝对的意义的意义”。7 这些，是我们过去的认识。但是，形式的、公理

6、化的、逻辑的推理方这些，是我们过去的认识。但是，形式的、公理化的、逻辑的推理方法确实是无懈可击吗？数学真理一定是绝对真理吗？法确实是无懈可击吗？数学真理一定是绝对真理吗？ 1931年，年仅年，年仅25岁的奥地利数学家和逻辑学家哥德尔（岁的奥地利数学家和逻辑学家哥德尔（Kurt .Godel 1906年年1978年）在数学物理期刊上发表了一篇题为年）在数学物理期刊上发表了一篇题为“论数学原理论数学原理和有关系统中的形式不可判定命题和有关系统中的形式不可判定命题”的论文。他当时在维也纳大学。论文的论文。他当时在维也纳大学。论文刚发表时并未受到重视，但仅过了几年，就被数学界认为是数学和逻辑刚发表时并

7、未受到重视，但仅过了几年，就被数学界认为是数学和逻辑的基础方面的划时代文献。哥德尔的论文提出了的基础方面的划时代文献。哥德尔的论文提出了公理化方法的局限性公理化方法的局限性，这是人们始料不及的。哥德尔证明了两个重要的定理，即哥德尔第一定这是人们始料不及的。哥德尔证明了两个重要的定理，即哥德尔第一定理和哥德尔第二定理。理和哥德尔第二定理。89 .哥德尔第一定理哥德尔第一定理：对于包含自然数对于包含自然数系的任何相容的形式体系，中都有不系的任何相容的形式体系，中都有不可判定命题，从而该体系是可判定命题，从而该体系是“不完全不完全”的。的。 （这里，（这里，“包含自然数系包含自然数系”不是特别的要求

8、，不是特别的要求， 一般的形式体系都包含自然数系。）一般的形式体系都包含自然数系。）10 哥德尔第一定理表明，相容的体系一哥德尔第一定理表明，相容的体系一定是不完全的，这太令人吃惊了！定是不完全的，这太令人吃惊了！ 例如哥德巴赫猜想，至今未被证明，也例如哥德巴赫猜想，至今未被证明，也未被推翻，它是不可判定的命题吗？那样我未被推翻，它是不可判定的命题吗？那样我们就永远也不能证明它了！们就永远也不能证明它了！11 . . 哥德尔第二定理哥德尔第二定理：对于包含自然数系的任何相对于包含自然数系的任何相容的形式体系，容的形式体系，“的相容性的相容性”是不可判定的。是不可判定的。 只有有穷个命题的体系，

9、只有有穷个命题的体系，“体系的相容性体系的相容性”原则上是可原则上是可以判定的；但包含自然数系的形式体系中有无穷个命题以判定的；但包含自然数系的形式体系中有无穷个命题（因为（因为自然数有无穷多个）自然数有无穷多个），而哥德尔又证明了：对于包含自然数系的，而哥德尔又证明了：对于包含自然数系的任何相容的形式体系，任何相容的形式体系，“的相容性的相容性”是不可判定的。是不可判定的。 这就是说，公理化体系对逻辑的三条最基本的要求这就是说，公理化体系对逻辑的三条最基本的要求相容性、独立性、完全性，是无法同时满足的相容性、独立性、完全性，是无法同时满足的。 公理化体系大厦的基础崩塌了！公理化体系大厦的基础

10、崩塌了！据说，哥德尔对据说，哥德尔对“形式化形式化”方法的怀疑，方法的怀疑，是受到一个是受到一个 有名的悖论的启发有名的悖论的启发说谎者悖论：说谎者悖论：“这句话是谎话。这句话是谎话。”哥德尔的模仿：哥德尔的模仿：“这句话是不能证明的。这句话是不能证明的。”启发：启发：任何形式系统中都有这样的命题任何形式系统中都有这样的命题 在该系统中既不能证明，也不能证否在该系统中既不能证明，也不能证否1213 .问题的核心仍是问题的核心仍是“自我指谓自我指谓” 在讲集合论的在讲集合论的“罗素悖论罗素悖论”时，我们提到过时，我们提到过“含有自身含有自身的集合的集合”这样的词句，说明过该悖论的要害是这样的词句

11、，说明过该悖论的要害是“自我指谓自我指谓”，即命题中又说到命题本身。即命题中又说到命题本身。 还有还有“说谎者悖论说谎者悖论”的要害也是的要害也是“自我指谓自我指谓” （说谎者说：（说谎者说：“这句这句话是谎话话是谎话”，则，说，则，说“这句话是实话这句话是实话”将导致这句话是谎话，说将导致这句话是谎话，说“这句这句话是谎话话是谎话”又将导致这句话是实话，左右为难）（命题中有又将导致这句话是实话，左右为难）（命题中有“这句话这句话”一词）。一词）。 “这句话是不能证明的。这句话是不能证明的。” 该悖论要害也是该悖论要害也是“自我指谓自我指谓” 。 14 哥德尔第一定理说，相容的体系中存在不可判

12、定的命哥德尔第一定理说，相容的体系中存在不可判定的命题。这就是，如果只从体系内去判断体系里的命题，这就题。这就是，如果只从体系内去判断体系里的命题，这就是是“自我指谓自我指谓”。古诗说。古诗说“不识庐山真面目，只缘身在此山不识庐山真面目，只缘身在此山中中”，也是这个道理。，也是这个道理。 哥德尔第二定理说，公理体系的相容性不能在体系中哥德尔第二定理说，公理体系的相容性不能在体系中被证明。这就是，如果只想从体系中去证明体系本身的相被证明。这就是，如果只想从体系中去证明体系本身的相容性，这就是容性，这就是“自我指谓自我指谓”。俗话说：。俗话说：“老王卖瓜，自卖自老王卖瓜，自卖自夸夸”。人们不能只听

13、他自己的宣传，就判定他的瓜是好的；。人们不能只听他自己的宣传，就判定他的瓜是好的；也不能只从公理体系自己的逻辑推理，就推出体系自己的也不能只从公理体系自己的逻辑推理，就推出体系自己的相容性来。相容性来。15 当然，这里所说的当然，这里所说的“自我指谓自我指谓”，与罗素悖论，与罗素悖论的的“自我指谓自我指谓”还不完全一样，因为形式的公理化还不完全一样，因为形式的公理化方法本来就是自成系统的。所以这种方法本来就是自成系统的。所以这种“自我指谓自我指谓”的毛病，来自公理系统自身。的毛病，来自公理系统自身。 这表明，公理化方法确有局限性，公理化方法这表明，公理化方法确有局限性，公理化方法在逻辑方面的三

14、大基本要求，本身是无法完全满足在逻辑方面的三大基本要求，本身是无法完全满足的。的。16 .哥德尔的重大贡献哥德尔的重大贡献 哥德尔的两条定理可以说是所有数学定理中哥德尔的两条定理可以说是所有数学定理中最具重要意义的定理之一。由此，人类对于宇最具重要意义的定理之一。由此，人类对于宇宙的认识和对于数学地位的认识，被迫作出了宙的认识和对于数学地位的认识，被迫作出了根本性的改变：数学不再是精确论证的顶峰，根本性的改变：数学不再是精确论证的顶峰，不再是绝对真理的化身，数学也有它自己的局不再是绝对真理的化身，数学也有它自己的局限性。限性。17 具体地，哥德尔的贡献可以简要地从三个方面来阐述：具体地，哥德尔

15、的贡献可以简要地从三个方面来阐述： ）把）把“正确正确”与与“可证明可证明”区别开来区别开来 按照哥德尔的定理，任一个形式系统中都存在不可判定的命题。而按照哥德尔的定理，任一个形式系统中都存在不可判定的命题。而逻辑里的逻辑里的排中律排中律告诉我们：一个命题和它的否命题非必有一个是正告诉我们：一个命题和它的否命题非必有一个是正确的；现在又说：对于不可判定命题，和非在系统中都不可证明。确的；现在又说：对于不可判定命题，和非在系统中都不可证明。这就表明：这就表明：“正确正确”与与“可证明可证明”是两回事，而且是两回事，而且“正确正确”弱于弱于“可证可证明明”“可证明可证明”一定一定“正确正确”，“正

16、确正确”不一定不一定“可证明可证明”。 这是极其深刻的：一方面把这是极其深刻的：一方面把逻辑真逻辑真与与“主观符合客观主观符合客观”之谓真，区别之谓真，区别开来了；另一方面，又把开来了；另一方面，又把逻辑真逻辑真与逻辑的与逻辑的可证明可证明区别开来了。区别开来了。18 ）清醒地提出）清醒地提出 “数学基础数学基础的问题能否彻底解决的问题能否彻底解决” 的问题的问题 从世纪起，数学家就在寻求从世纪起，数学家就在寻求“数学基础数学基础”，极限理论和实数理，极限理论和实数理论的建立，康托的集合论，希尔伯特的公理化思想，使人们看到了解决论的建立，康托的集合论，希尔伯特的公理化思想，使人们看到了解决这一

17、问题的希望，以致年庞加莱在国际数学家大会上宣称这一问题的希望，以致年庞加莱在国际数学家大会上宣称“完完全的严格性已经达到了！全的严格性已经达到了！” 年的年的“罗素悖论罗素悖论”，曾对此给以，曾对此给以“当头棒喝当头棒喝”，引起了历史上的，引起了历史上的第三次数学危机；虽然危机后来由集合论的公理化而局部化解了。第三次数学危机；虽然危机后来由集合论的公理化而局部化解了。19 但哥德尔的两条定理出世以后，有谁敢说，数学已经但哥德尔的两条定理出世以后，有谁敢说，数学已经得到严格的基础了？相反，现在比较有共识的看法是，关于得到严格的基础了？相反，现在比较有共识的看法是，关于“数学基础数学基础”的问题，

18、很可能不会有一个最终的、为一切人所的问题，很可能不会有一个最终的、为一切人所接受的解决。接受的解决。 实际上，在公理化集合论建立、实际上，在公理化集合论建立、“罗素悖论罗素悖论”被化解以被化解以后，同一个庞加莱就打过比喻，说：现在后，同一个庞加莱就打过比喻，说：现在“罗素悖论罗素悖论”这样的这样的“狼狼”是被圈在外面了，但圈内有没有隐藏的是被圈在外面了，但圈内有没有隐藏的“狼狼”，并不知道。，并不知道。20 3）数学的任务不能仅仅是逻辑推理）数学的任务不能仅仅是逻辑推理 数学的任务不仅仅是形式化的逻辑推理，还必须对数学的任务不仅仅是形式化的逻辑推理，还必须对外界进行观察和研究，不断用对客观世界

19、的新发现来外界进行观察和研究，不断用对客观世界的新发现来丰富数学；而这些新的发现，可以是不能使用原来的丰富数学；而这些新的发现，可以是不能使用原来的数学知识去证明的。数学知识去证明的。 这为数学研究大大拓宽了视野。这为数学研究大大拓宽了视野。21三、对数学如何三、对数学如何“补救补救” . .算术相容性的证明算术相容性的证明 “算术相容性算术相容性”，本来在希尔伯特的，本来在希尔伯特的“元数学元数学”体系中是一个不体系中是一个不可判定命题，但是根岑（可判定命题，但是根岑（Gentzen,Gerhard,1909年年-1945年）在年）在年证明了它。年证明了它。 根岑是扩大了希尔伯特的元数学中所

20、允许采用的逻辑而应用了根岑是扩大了希尔伯特的元数学中所允许采用的逻辑而应用了超限归纳法，从而完成了这一证明。超限归纳法，从而完成了这一证明。 哥德尔第一定理是说，在一个相容的形式系统内，有该系统无法哥德尔第一定理是说，在一个相容的形式系统内，有该系统无法证明也无法证否的命题。但根岑想到，在一个扩大的形式系统中该命题证明也无法证否的命题。但根岑想到，在一个扩大的形式系统中该命题是可能被证明或证否的。这使我们找到了是可能被证明或证否的。这使我们找到了“补救补救”数学的途径。数学的途径。22 .扩大形式系统去扩大形式系统去“补救补救” 上面上面“算术相容性算术相容性”被证明的例子，使我们了解了公被证

21、明的例子，使我们了解了公理化方法的局限性和补救的一种办法：对每一个具体的公理化方法的局限性和补救的一种办法：对每一个具体的公理化形式系统，总有不可判定的命题；但是，适当扩大这理化形式系统，总有不可判定的命题；但是，适当扩大这个形式系统，又可以证明或证否该命题。个形式系统，又可以证明或证否该命题。23例例1）关于非欧几何）关于非欧几何 对欧几里得的对欧几里得的第五公设第五公设，在，在“去掉第五公设的欧去掉第五公设的欧氏几何系统氏几何系统”内，用欧氏几何的其它公理公设，不能证内，用欧氏几何的其它公理公设，不能证明、也不能证否。明、也不能证否。“三角形三内角之和为三角形三内角之和为”这这一命题，也是

22、一命题，也是 既不能证明又不能证否的命题。既不能证明又不能证否的命题。24 现在，把该形式系统扩大，现在，把该形式系统扩大，增加第五公设增加第五公设：过直线外：过直线外一点，能作且只能作一条直线与已知直线平行。这样就产一点，能作且只能作一条直线与已知直线平行。这样就产生了生了欧几里得几何欧几里得几何的系统。在这一系统内，的系统。在这一系统内，“三角形三内角三角形三内角之和为之和为”的命题，就可以得到证明。的命题，就可以得到证明。25 如用另一种方式把该系统扩大：不是增加第五公设，如用另一种方式把该系统扩大：不是增加第五公设，而是而是增加增加下边的公理（称为下边的公理（称为罗巴契夫斯基公理罗巴契

23、夫斯基公理）：过直线）：过直线外一点，至少能作两条直线与已知直线平行（从而可作无外一点，至少能作两条直线与已知直线平行（从而可作无穷条直线与已知直线平行）。穷条直线与已知直线平行）。 这样就产生了非欧几里得几何的系统（叫这样就产生了非欧几里得几何的系统（叫罗氏几何罗氏几何，也叫双曲几何）。在这一系统内，也叫双曲几何）。在这一系统内，“三角形三内角之和为三角形三内角之和为”的命题，就可以被证否。而的命题，就可以被证否。而“三角形三内角之和三角形三内角之和小于小于”的命题，却可以得到证明。的命题，却可以得到证明。26 如果再用另一种方式把该系统扩大：不是增加第五公如果再用另一种方式把该系统扩大：不

24、是增加第五公设，而是设，而是增加增加下边的公理（不妨称为下边的公理（不妨称为黎曼公理黎曼公理）：过直线）：过直线外一点，不能作任何直线与已知直线平行。外一点，不能作任何直线与已知直线平行。 这样就产生了另一种非欧几何的系统（叫这样就产生了另一种非欧几何的系统（叫黎曼几何黎曼几何，也叫椭球几何）。在这一系统内，也叫椭球几何）。在这一系统内，“三角形三内角之和为三角形三内角之和为 ”的命题，就可以被证否，而的命题，就可以被证否，而“三角形三内角之和三角形三内角之和大于大于”的命题，却可以得到证明。的命题，却可以得到证明。27例例2）关于）关于“连续统假设连续统假设” 在康托的集合论的系统内，有一个

25、在康托的集合论的系统内，有一个“连续统假设连续统假设”，是说，是说，“无穷势中无穷势中可数无穷势可数无穷势是最小的势，是最小的势，连续统势连续统势是是次小的势次小的势”。证明这一命题为真，被列为希尔伯特。证明这一命题为真，被列为希尔伯特个问题中的第一个问题。后来的研究表明，个问题中的第一个问题。后来的研究表明，“连续统假连续统假设设”在上述系统内，既不能被证明，也不能被证否。在上述系统内，既不能被证明，也不能被证否。28 年，哥德尔证明，把年，哥德尔证明，把“连续统假设连续统假设”加进该系加进该系统（集合论的系统）中是相容的，不会导出矛盾。我统（集合论的系统）中是相容的，不会导出矛盾。我们把这

26、样扩充后得到的公理化集合论，叫们把这样扩充后得到的公理化集合论，叫康托集合论康托集合论。 年，科恩又证明，年，科恩又证明，“连续统假设连续统假设”在系统在系统中是独立的，即不能从其它公理导出。这样，如果把中是独立的，即不能从其它公理导出。这样，如果把“连续连续统假设统假设”的否命题加进该系统中也是相容的，不会导出矛盾。的否命题加进该系统中也是相容的，不会导出矛盾。我们把这样扩充后得到的公理化集合论，叫我们把这样扩充后得到的公理化集合论，叫非康托集合论非康托集合论。29 .用非形式的数学方法去用非形式的数学方法去“补救补救” 刚才说的扩大形式系统，仍是采用刚才说的扩大形式系统，仍是采用“形式系统

27、形式系统”的方的方法去法去“补救补救”数学，希望每一个具体的命题（在扩大的形式数学，希望每一个具体的命题（在扩大的形式系统中）总可以证明或证否。这样，虽然不是在同一个形系统中）总可以证明或证否。这样，虽然不是在同一个形式系统中做到的，人们也可以满足了。式系统中做到的，人们也可以满足了。 但是，除了形式的方法外，也还可以有非形式的数学但是，除了形式的方法外，也还可以有非形式的数学方法，去解决具体的数学问题。例如方法，去解决具体的数学问题。例如构造构造的方法、的方法、问题问题的的方法。我们是否可以用非形式的数学方法去解决问题，以方法。我们是否可以用非形式的数学方法去解决问题，以“补救补救”数学呢？

28、数学呢？30 .用非数学的方法去用非数学的方法去“补救补救” 数学是为认识宇宙产生的，但解决宇宙中的问题，数学是为认识宇宙产生的，但解决宇宙中的问题，判断一个命题的真伪，除了数学的方法外，还可以有非数判断一个命题的真伪，除了数学的方法外，还可以有非数学的方法。采用多种方法，我们总可以一步步前进，逐渐学的方法。采用多种方法，我们总可以一步步前进，逐渐地认识世界。地认识世界。 例如，观察、实验、实践等等方法。例如，观察、实验、实践等等方法。31 .数学家并未失去信心，也未停止工作数学家并未失去信心，也未停止工作 数学的逻辑基础，虽然从世纪三十年代起就由哥德尔定理发数学的逻辑基础，虽然从世纪三十年代

29、起就由哥德尔定理发现了问题，但数学仍然有力地解决着各种实际问题，发挥着越来越大现了问题，但数学仍然有力地解决着各种实际问题，发挥着越来越大的作用。卫星上了天，人类也登上月球。数学不但得到认可，而且深的作用。卫星上了天，人类也登上月球。数学不但得到认可，而且深入各个角落。这与世纪微积分诞生以后的情形很相似。当时，虽入各个角落。这与世纪微积分诞生以后的情形很相似。当时，虽然有然有“贝克莱悖论贝克莱悖论”，但数学仍然有力地解决着机械、航海、天文等各，但数学仍然有力地解决着机械、航海、天文等各领域的大量实际问题，发挥着巨大的作用。领域的大量实际问题，发挥着巨大的作用。 所以说，数学家并未因数学基础的问

30、题尚未解决而失去信心，也从所以说，数学家并未因数学基础的问题尚未解决而失去信心，也从来没有停止他们的数学工作。来没有停止他们的数学工作。32四、数学：确定性的丧失四、数学：确定性的丧失 .克莱因的一本材料丰富的书克莱因的一本材料丰富的书 美国著名数学家美国著名数学家克莱因年出版了一本克莱因年出版了一本名为数学：确定性的丧失的书。名为数学：确定性的丧失的书。 这是一本材料十这是一本材料十分丰富的书。这本书早已有了中译本。分丰富的书。这本书早已有了中译本。 但对这一书的书名，有不少数学家说：但对这一书的书名，有不少数学家说：“实在不敢实在不敢苟同苟同”。3334 .确定性并未丧失确定性并未丧失 不

31、敢苟同不敢苟同“数学丧失了确定性数学丧失了确定性”的原因有二：的原因有二： ）哥德尔定理乃至）哥德尔定理乃至“确定性的丧失确定性的丧失”，本身是非常确定的，本身是非常确定的，是用非常确定的数学方法得出的非常确定的结果。是用非常确定的数学方法得出的非常确定的结果。 ）是的，数学的）是的，数学的“确定性确定性”不是绝对的，是有局限性的；不是绝对的，是有局限性的；但这种局限性不是含糊的，数学是但这种局限性不是含糊的，数学是“非常确定非常确定”地阐明了自己地阐明了自己的不确定性。即，局限性在哪里，是的不确定性。即，局限性在哪里，是“确定的确定的”。35 .新境界的开辟新境界的开辟 数学上要求的数学上要

32、求的“确定性确定性”，是历史上长，是历史上长期形成的一种定见或者说是成见（这不免期形成的一种定见或者说是成见（这不免就有些贬意了）。这种带引号的就有些贬意了）。这种带引号的“确定性确定性”的丧失，其实常常意味着新境界的开辟。的丧失，其实常常意味着新境界的开辟。36 ）数学的新学科体系的诞生）数学的新学科体系的诞生 例如欧几里得第五公设既不能被证明，也不能被证例如欧几里得第五公设既不能被证明，也不能被证否，看起来丧失了确定性，成为不可判定命题。否，看起来丧失了确定性，成为不可判定命题。 但是，但是，由此却诞生了两种非欧几何的新学科体系由此却诞生了两种非欧几何的新学科体系罗巴契夫罗巴契夫斯基几何和

33、黎曼几何。所以，这究竟是斯基几何和黎曼几何。所以，这究竟是“确定性的丧失确定性的丧失”呢，还是开辟了新的境界呢？呢，还是开辟了新的境界呢？37 ）新的逻辑体系有可能诞生）新的逻辑体系有可能诞生 前面讲到前面讲到“正确正确”与与“可证明可证明”的差别时说，如果承认逻辑上的的差别时说，如果承认逻辑上的“排中律排中律”，则命题与非必有一个为，则命题与非必有一个为“真真”；当两者均不可证明时，；当两者均不可证明时，就出现了不可判定命题，系统就是不完全的。但是，我们为什么一就出现了不可判定命题，系统就是不完全的。但是，我们为什么一定要坚持逻辑上的定要坚持逻辑上的“排中律排中律”呢？如果不承认呢？如果不承

34、认“排中律排中律”，则命题与，则命题与非均不可证明时，可以认为可能存在非均不可证明时，可以认为可能存在“真真”与与“非真非真”之外的另一个之外的另一个逻辑概念。当数学中像公理化体系这样过去认为逻辑概念。当数学中像公理化体系这样过去认为“明显明显”的的“真理真理”都都已已“崩溃崩溃”了的时候，逻辑的法则为什么一定不能改变呢？新的逻辑了的时候，逻辑的法则为什么一定不能改变呢？新的逻辑体系为什么不可能诞生呢？体系为什么不可能诞生呢？38五、严肃的反思五、严肃的反思 本节讨论的问题，有些是学术界正在研究的问本节讨论的问题，有些是学术界正在研究的问题。把材料介绍给大家，并不是定论，只是希望开题。把材料介

35、绍给大家，并不是定论，只是希望开阔大家的眼界。阔大家的眼界。 有些论点互相也不一致。这些问题真正的意义有些论点互相也不一致。这些问题真正的意义是什么，也许再过许多年才能看清楚。我们仅以以是什么，也许再过许多年才能看清楚。我们仅以以下三点下三点反思反思结束这一节。结束这一节。 39 1.1.是否有是否有“现有条件下不可解决的问题现有条件下不可解决的问题”？ 当我们用数学方法去解决一个问题，去预测一件事情当我们用数学方法去解决一个问题，去预测一件事情时，我们有必要问自己：我们是不是在试图解决现有条件时，我们有必要问自己：我们是不是在试图解决现有条件下不可解决的问题？是不是在预测现有条件下不可预测的

36、下不可解决的问题？是不是在预测现有条件下不可预测的事情？我们自认为已经懂得的东西，是不是包含了某些超事情？我们自认为已经懂得的东西，是不是包含了某些超出我们当前智力的困难？出我们当前智力的困难？ 其实，牛顿创立微积分的时代，这些问题就已经十分其实，牛顿创立微积分的时代，这些问题就已经十分尖锐地存在了。正因为此，英国大主教贝克莱关于牛顿尖锐地存在了。正因为此，英国大主教贝克莱关于牛顿“无无穷小量穷小量”的责难，才在两百年间无人能够彻底批驳。的责难，才在两百年间无人能够彻底批驳。40 2.对一个哲学观点的印证对一个哲学观点的印证 哲学是对整个世界的普遍规律的研究。很多哲学观点哲学是对整个世界的普遍

37、规律的研究。很多哲学观点是十分深刻的。本节关于数学的讨论就印证了以下的哲学观是十分深刻的。本节关于数学的讨论就印证了以下的哲学观点。点。 真理是无限的、绝对的，人对真理的认识是有限的、真理是无限的、绝对的，人对真理的认识是有限的、相对的。相对的。 在有限的时间里、有限的范围内、有限的条件下，人类在有限的时间里、有限的范围内、有限的条件下，人类对真理的认识是有局限性的。随着时间的推移，人类对真理对真理的认识是有局限性的。随着时间的推移，人类对真理的认识，会逐步地接近真理，如同古人所说：的认识，会逐步地接近真理，如同古人所说：“路漫漫其修路漫漫其修远兮，吾将上下而求索远兮，吾将上下而求索”。41

38、3.数学文化的地位数学文化的地位 ）认识宇宙和人类自身）认识宇宙和人类自身数学是向数学是向两个方向生长的大树两个方向生长的大树 为什么大多数数学家并不太担心哥德尔定理所造成为什么大多数数学家并不太担心哥德尔定理所造成的阴影呢？因为数学这棵大树是向两个方向生长的。它的阴影呢？因为数学这棵大树是向两个方向生长的。它既向上生长，去研究宇宙的深度；也向下生长，去研究既向上生长，去研究宇宙的深度；也向下生长，去研究人类自身理性思维的深度。人类自身理性思维的深度。42 如果不是这样，而只向上生长，一旦细微的须根如果不是这样，而只向上生长，一旦细微的须根出了问题，基础就要崩溃，大树就会倒下。现在，枝出了问题

39、，基础就要崩溃，大树就会倒下。现在，枝叶也在生长，根须也在生长，大树就不会因为少许须叶也在生长，根须也在生长，大树就不会因为少许须根的根的“问题问题”而倒下。因为，认识宇宙的过程中会有许而倒下。因为，认识宇宙的过程中会有许多一时不能解决的问题（如宇宙大爆炸的问题、黑洞多一时不能解决的问题（如宇宙大爆炸的问题、黑洞的问题），我们并未因此而气馁；认识人类自身理性的问题），我们并未因此而气馁；认识人类自身理性思维的过程中也会遇到许多一时难以解决的问题，我思维的过程中也会遇到许多一时难以解决的问题，我们又何必气馁而怀疑整个数学的价值呢？们又何必气馁而怀疑整个数学的价值呢？43 哥德尔定理是人类认识自身理性思维的记录，哥德尔定理是人类认识自身理性思维的记录，但，这不是失败的记录，而是胜利的记录。但，这不是失败的记录，而是胜利的记录。 如果说哥德尔定理揭示了形式的公理系统的深如果说哥德尔定理揭示了形式的公理系统的深刻矛盾，则问题在于，我们是在探索世界的过程中，刻矛盾，则问题在于，我们是在探索世界的过程中，自己把数学变成形式系统的，数学本身并不一定非自己把数学变成形式系统的，数学本身并不一定非要是形式系