本文格式为Word版，下载可任意编辑哥德尔定律及其哲学意蕴 哥德尔定理及其哲学意蕴 1. 哥德尔其人 假使让人们列举出20世纪影响人类思想的十大伟人，或许爱因斯坦（Albert Einstein）、图灵（Alant Turing）、哥德尔（Kurt G?del）和凯恩斯（John Keynes）应榜上著名，事实上，这四位也恰是2022年美国《时代周刊》上列出的“20世纪震撼人类思想界的四大伟人”，足见这四位大家思想之重要而深远然而，对于物理学家爱因斯坦、理论计算机之父图灵，以及经济学家凯恩斯的工作，一般人总还略知一二，但大多数人对作为数学家和规律学家的哥德尔的思想就知之不祥，更知之不确了 库尔特哥德尔1906年出世在摩拉维亚的布尔诺城，是一个生活条件属中产阶级的奥地利日尔曼裔家庭的其次个儿子，父亲是一家纺织厂的合伙经营人，母亲是受过良好教导的家庭妇女1924年哥德尔入维也纳大学学习，最初主修物理和数学，后来在维也纳小组的鼓舞下开头学习规律1930年获哲学博士学位，1933年获维也纳大学执教资格。
1940年迁居美国任普林斯顿研究院研究员，1948年参与美国国籍，1976年退休，1978年由于精神紊乱死于拒绝进食造成的养分枯竭 哥德尔的一生可以说是倾力献身根基理论研究的一生，他的学术付出根本上是在数学、规律和哲学领域1929-1938年间哥德尔作出数理规律领域三大付出：证明一阶谓词演算的完全性；证明算术形式系统的不完全性；证明连续统假设和集合论公理的相对一致性，这些结果不仅使规律学发生了革命，而且对数学、哲学、计算机和认知科学都有分外重大的影响更加是电子计算机诞生之后，哥德尔的不完全性定理的深刻性更加受到学界的关注只是稍稍出乎人们意料的是，作出这几个划时代结果后，自1940年以后，哥德尔除了持续斟酌一些集合论问题，有5年时间热中相对论并得到一个受爱因斯坦赞美的结果外，大片面时间倾注了哲学问题的研究他一生著述很少，极少公开演讲，只出版过一部著作，发表文字不及300页，从未构造过任何完整的理论体系，甚至没有一个真正意义上自己的学生，他的大片面思想记录在手稿、私人通信和谈话记录中 哥德尔曾被大量人看作带有神秘色调的人物，一方面是由于他的不完全性定理的规律外衣使大多数人难觅其思想的内在义蕴，另一方面也由于对于他的天性和精神状况流传着一些坊间神话。
但是可以断定的，哥德尔不仅以精湛优雅的工作作出了令世人瞩目的科学付出，还以卓然深刻的思想为世人留下一笔丰厚的哲学遗产哥德尔一生特立独行，始终如一地将一流的人格品质、高远的科学鉴赏力、超凡的创造性和至为严谨的学风融为一体，倾其全力献身根基理论研究工作，在这个弥漫竞争的世界上，他完全采取了一种“超然于竞争之上”的生活态度王浩曾将哥德尔与爱因斯坦相提并论，称他们是哲人科学家中的“稀有品种”到目前为止，由一流数学家和规律学家组成的编委会负责编辑出版的《哥德尔文集》已经于1986、1990、1995年出版了前三卷，其他各卷还将不断出版，借助《哥德尔文集》，我们必将逐步走进哥德尔的精神世界，进一步理解其思想的博大精深 2. 哥德尔的不完全性定理 哥德尔思想最深刻地表达在为世人称道的不完全性定理之中为了理解这确定理的深刻内涵，我们首先了解一下一阶谓词规律的完全性问题 我们知道，自然语言中包含着各种隐喻的成分和模糊之处，在使用中往往需要凭借于使用语言的语境，用自然语言举行推理往往会产生歧义，带来意义的不确定性，因此在莱布尼兹时代，规律学家们就梦想引进一套意义单一明确的人工符号，构造一套形式语言来严格、明显地整理日常推理和数学推理。
为此目的，1879年弗雷格（G.Frege）提出第一个初等规律的形式系统（未完全形式化），1910 年罗素（B.Russell）在《数学原理》中给出了一阶谓词规律的形式系统PM，1928年希尔伯特（D.Hilbert）和阿克曼（W.Ackerman）又引进了形式系统HA，根本特征都是引进了一套人工语言代替自然语言一般来讲，在一个形式系统中，各种陈述都表示成有穷长度的符号串，系统的形成规矩指明什么样的符号串是合法的公式，一些符号串被当作公理系统中还包括一系列推理规矩，指明什么是系统中定理的证明一个证明就是从公理启程对公式变形而形成的有穷长的公式序列，序列中的每一个公式，或者是公理，或者是由在前的公式依照推理规矩形成的公式，而且系统中每一个定理都是这样经过有穷步骤得到的结果到了20世纪20年头，这三个系统已经为规律学家们所普遍采纳问题是，这样的形式系统是否能囊括全体的规律真理？于是，希尔伯特1928年明确提出问题，证明一阶谓词规律系统具有完全性 一年以后，哥德尔在他1929 年完成的博士论文中证明，包括弗雷格、罗素和希尔伯特-阿克曼的一阶谓词规律的形式系统，都具有一种语义完全性，即全体普遍有效式都可在一阶谓词规律系统中作为定理得到证明，所谓普遍有效式，就是在一切论域中都真的公式。
这一结果说明，一阶谓词规律系统在刻画那些规律真理方面是足够充分的 既然一阶谓词规律具有如此强大的才能，规律学家们期望借助它构造整个数学的形式系统，从而用形式化手段证明全体的数学真理事实上，1900年巴黎数学家会议上，希尔伯特遵从“世界上没有不成知”，“人类理性提出的问题人类理性确定能够回复”的哲学信念，提出23个问题数学问题，其中的其次个问题就是建立整个数学的一致性（即无冲突性或称协调性），20年头希尔伯特本人曾提出了一个使用有穷方法建立实数和分析的一致性的方案，称为希尔伯特元数学方案所谓有穷方法，粗略地说就是一套可操作的形式化程序，依照这样的程序可以一步一步地在有穷步骤内得到切当结果1930年获得博士学位之后，为了获得大学授课资格，哥德尔开头沿着希尔伯特方案的路线着手解决希尔伯特其次问题而不完全性定理正是解决其次问题所得的结果哥德尔最初是想寻此方案首先建立算术理论的一致性，然后再建立相对于算术而言实数理论的一致性，但出乎意外的是，他得到了与希尔伯特预期完全相反的结果，最终证领略形式算术系统的一致性不能用有穷手段证明 哥德尔首先用一阶谓词规律的形式语言陈述皮亚诺算术的五条公理，同时将所形成的算术形式系统记为PA，在发表于1931年的论文《论《数学原理》及有关系统中的形式不成判定命题Ⅰ》中，证领略如下两个重要结果： 哥德尔第一不完全性定理：假设PA是一致的，那么存在PA命题P， P在PA中不成证；假设PA是ω一致的，那么P的否决﹁P在PA中不成证（1936年罗塞尔（J.B.Rosser）证明可以将条件“ω一致”改为“一致”），即系统PA是不完全的，这样的P称为不成判定命题（即命题和命题的否决都不是系统的定理）。
哥德尔其次不完全性定理：假设算术形式系统PA是一致的，那么不成能在系统PA内部证明 其一致性 哥德尔的两个不完全性定理可以更一般地表述为： 哥德尔第一不完全性定理：任何足以开展初等数论的数学形式系统，假设是一致的，就是不完全的，即其中必定存在不成判定命题； 哥德尔其次不完全性定理：任何足以开展初等数论的数学形式系统，假设是一致的，其一致性在系统内不成证 其次不完全性定理的另一种形式：任何足够丰富的数学形式系统，假设是一致的，那么它不能证明表达它自身一致性的命题是定理 哥德尔证明第一不完全性定理的思路是，先在形式系统中构造一个命题P，这个命题形如“P在系统中不成证”， 进而指出，这个命题P和它的否决﹁ P都不是系统的定理，即这个命题在系统中是不成判定的依照经典规律，任何一个命题，或者为真，或者为假，二者必居其一，二者只居其一，即命题和命题的否决必有一真，因此，系统中存在不成判定命题，就意味着系统中存在真的但不成证的命题事实上，哥德尔构造的命题P身就是一个真的但在系统中不成证的命题 哥德尔证明其次不完全性定理的思路是，既然有事实，假设系统PA是一致的，那么P在系统PA中不成证，那么表达这个事实的论证可以在系统PA中形式化。
例如，“系统PA是一致的”可以表示为Con（PA），同时把“P在系统PA中不成证”就用P表示，相应论证就表示成： ├ Con（PA）→ P 根据前述，假设 Con（PA）可证，那么有 ├ P 即P在系统PA中可证这鲜明与第一不完全性定律相冲突 哥德尔定理第一次向世人澄清了“真”与“可证”概念的本质识别由于一个命题在一个形式系统中可证，就意味着遵循推理规矩，能够一步接着一步地在有穷步骤内完成证明过程但哥德尔指出，即使限制在皮亚诺算术这样狭小的数学范围内，要想用形式化的有穷手段证明它的无冲突性这一真理都是不成能的换句话说，任何丰富到足以开展初等数论的形式系统，至少会遗漏一个数学真理，数学形式系统不能囊括全体的数学真理那么，能不能添加更强的公理扩展原有的系统穷尽全体的数学真理呢？哥德尔说，不行！由于，对于新扩展的系统还会有新的数学真命题在其中不成证，…… 持续扩展，情形照旧如此实际上，除非你把这种扩张过程持续到超穷，否那么这种系统连最简朴的算术真理都不能穷尽哥德尔本人谈及定理证明过程时曾说过，“我在数论形式系统中构造不成判定命题的启发性原那么是将可证性和相对应的高度超穷的客观数学真理概念相区分”。
看来，可证数学命题和数学真理之间永远隔着一个超穷距离，仅仅使用有穷方法甚至没有梦想迫近它正如哥德尔所说，“数学不仅是不完全的，还是不成完全的”，这一点也恰是哥德尔定理最深刻的哲学义蕴 3. 哥德尔定理在不同语境下的版本 鲜明，哥德尔定理与数学家的最初期望相去甚远，由于，一方面人们期望数学形式系统囊括全体数学真理，一方面又清晰知道总有数学真理不成证；一方面阅历和直觉报告人们数学是一致的不含冲突的，理性又指导人们数学不能证明它自身的一致性因此，定理察觉之后， 人们不得不重新调整自己的思维方式出名数学家外尔（H.Weyl）当时曾就此感慨到，“上帝是存在的，由于数学无疑是一致的；魔鬼也是存在的，由于我们不能证明这种一致性这段话形象地道出了当时处于两难境遇的数学家的困惑甚至有人把哥德尔定理的意义进一步引申：宇宙给了我们一种选择，就人类认知而言，我们要么拥有一本正确的但却是极不完整的小书，要么拥有一本完整的但缺乏内在和谐的大书，我们可以选择完整也可以选择和谐，但鱼和熊掌不成得兼在我们看来，这些说法不过是哥德尔定理带给人们的某些启示，事实上，哥德尔定理自图灵机概念诞生之后更加凸现其深刻和意义深远。
1930年头，哥德尔、丘奇（A.Church）、克林尼（G.J.Kleene）、图灵等一批数学家开头对直观的“算法可计算”概念的数学刻画举行探索，相继提出了λ-可定义、递归函数和图灵机概念，并给出了影响广远的丘奇-图灵论题：一切算法可计算函数都是递归函数，一切算法可计算函数都是通用图灵机可计算的函数，或者说，每个算法都可在一台通用图灵机上程序化虽然几种数学刻画是等价的，但是哥德尔最为赞美图灵机概念，这其中最为重要的是，图灵机概念第一次澄清了形式系统的真正内涵——形式系统不过是一种产生定理的机械程序，或者说图灵机的工作程序就是数学家在形式系统中举行工作的程序有了图灵机概念以后人们开头期望造出能证明全体数学定理的机器，但是，既然图灵机就等价于形式系统，那么形式系统的局限就是图灵机的局限于是，哥德尔的第一不完全性定理在给出图灵机概念之后就有了如下几种等价说法： （1）没有数学形式系统既是一致的又是完全的 （2）没有定理证明机器（或机器程序）能够证明全体的。