库尔特·哥德尔（Kurt Gödel）（1906年4月28日—1978年1月14日）是位数学家、逻辑学家和哲学家。其最杰出的贡献是哥德尔不完全性定理。
库尔特·哥德尔（Kurt Gödel，1906年4月28日－1978年1月14日），数学家、逻辑学家和哲学家。其最杰出的贡献是哥德尔不完备定理和连续统假设的相对协调性证明。
学术
哥德尔是个兴趣广泛的人。他在大学时本来修读理论物理和基础数学，后来又转研数理逻辑、集合论，但1940年代中就将注意力投放在哲学上。
大学时，哥德尔曾参加石里克小组的聚会。
1930年9月7日，他正式宣布其哥德尔不完备定理，引起当时重要数学家如冯·诺伊曼和希尔伯特等的重视。后来又钻研连续统假设，但未能完全解决该问题。
Albert Einstein and Kurt Gödel
性格
哥德尔是个要求严格的人。因此，他很多的想法在生前都没有正式发表甚至记录，要逝世后从其手稿找出。
他不喜欢谈论自己或受到注目。哥德尔曾要求王浩在死后才可以发表一篇有关他的传记。他在学术研究之外的东西，都不公开发表意见。
他亦讨厌旅行。
他自幼多病，而且从小便患了疑病症。他还患过抑郁症。后来他在普林斯顿的医院绝食而死，因为他认为那些食物有毒。
社交
哥德尔的妻子 Adele Nimbursky 比哥德尔大六岁。哥德尔21岁两人认识时，Adele 已婚且在夜总会 Der Nachtfalter 工作。他们的婚姻遭到哥德尔家人反对，但有情人终成眷属，在1938年9月20日结婚。他们没有小孩。
他和家人感情不坏，哥德尔去了美国后还常常跟他们书信，之后接他们到美国。但其家人似乎对他了解不深：读大学时，哥德尔的兄长研习医学，从其他人口中才知道他在数学方面颇有名气。
在普林斯顿时，哥德尔和爱因斯坦成了很好的朋友。后人常将他们比较。哥德尔和爱因斯坦都在自己的范畴有极为重大的贡献，很聪明，有好奇心，直率。但爱因斯坦性格开朗外向，这点和哥德尔大相迳庭。爱因斯坦的死对哥德尔的情绪有很大打击。
国籍
虽然他的传记列出很多国家，他通常被视为奥地利人。他出生在奥匈帝国的布尔诺，在十二岁时成为捷克斯洛伐克公民，在二十三岁时成为奥地利公民。当希特勒吞并奥地利时，哥德尔自动成为德国人。第二次世界大战后，他再次成为奥地利公民，而且取得美国公民权利。
其他
哥德尔的大部分手稿使用加贝尔斯贝格速记法写成。 格言:“有些事实被认知为真，但不必然可证。”
简介编辑本段回目录
哥德尔生于捷克的布尔诺，卒于美国普林斯顿。早年在维也纳大学攻读物理、数学，并参加哲学小组活动。1930年获博士学位。其博士论文证明了「狭谓词演算的有效公式皆可证」。之后在维也纳大学工作。1938年到美国普林斯顿高等研究院任职，1948年加入美国籍。1953年成为该所教授。哥德尔发展了冯．诺伊曼和伯奈斯等人的工作，其主要贡献在逻辑学和数学基础方面。在20世纪初，他证明了形式数论（即算术逻辑）系统的「不完全性定理」：即使把初等数论形式化之后，在这个形式的演绎系统中也总可以找出一个合理的命题来，在该系统中既无法证明它为真，也无法证明它为假。这一著名结果发表在1931年的论文中。他还致力於连续统假设的研究，在1930年采用一种不同的方法得到了选择公理的相容性证明。3年以后又证明了（广义）连续统假设的相容性定理，并于1940年发表。他的工作对公理集合论有重要影响，而且直接导致了集合和序数上的递归论的产生。此外，哥德尔还从事哲学问题的研究。他热衷於用数理逻辑的方法来分析哲学问题，认为健全的哲学思想和成功的科学研究密切相关。他在1967年致中国数学家王浩的信中，自称为「客观主义」，并说他的客观主义观点对於他的逻辑研究来说是根本的。1951年获爱因斯坦勋章。哥德尔一生发表论著不多。他发表於1931年的论文《〈数学原理〉（指怀德海和罗素所著的书）及有关系统中的形式不可判定命题》是20世纪在逻辑学和数学基础方面最重要的文献之一。
（Kurt Gödel 1906—1978）美国数学家、逻辑学家。
其哲学思想与逻辑理论包括：
① 治学可分为两个时期，前一个时期主要研究数理逻辑与数学基础，后一个时期（约1944年起）较多考虑哲学问题。
② 1928年开始研究狭谓词演算的完全性问题。1929年完成博士论文《逻辑谓词演算公理的完备性》（1930年发表），证明了一阶谓词演算的完全性定理。1931年的论文《论数学原理和有关系统中的形式不可判定命题》，证明了“哥德尔不完全性定理”：一个包括初等数论的形式系统，如果是协调的，那就是不完全的。如果初等算术系统是协调的，则协调性在算术系统内不可证明。不完全性定理是对逻辑主义和形式主义试图把整个数学形式化的致命打击，从而结束了长期以来关于数学基础问题的争论，是数理逻辑发展史上的一个里程碑和转折点。
③ 1934年提出一般递归函数的概念。1935年做出了选择公理的相对无矛盾性的证明，1938年，哥德尔把他的成果作了推广，引入了可构造性公理，并且证明了连续统假设相对一致性。20世纪20年代曾参加石里克小组讨论，但不同意认为形而上学命题是无意义等基本哲学观点，而对维也纳学派的逻辑分析方法感兴趣。
④ 后期致力哲学研究，认为一般数学和元数学，特别是关于超穷思想方法的客观主义观点，对其逻辑研究是根本的，数学对象是独立于人们所构造的“客观实在”，通过数学直观所得到的知觉可提供代表客观实在的材料。称自己的哲学观点为“客观主义”。
主要著作还有：《形式数学系统的不可断定命题》、《关于一个尚未用过的有穷观点的扩张》等。
2006年4月28日是伟大的逻辑学家、数学家和哲学家库尔特·哥德尔（Kurt Godel）诞辰100周年纪念日。为了纪念他对逻辑学、数学、计算机科学和哲学的贡献，北京市逻辑学会于2006年4月29日在中国人民大学隆重举行了主题为“哥德尔的遗产及哥德尔百年启示”专题报告会。中国科学院系统所胡作玄研究员、中国科学院软件所杨东屏研究员和北京师范大学哲学院刘晓力教授分别以“哥德尔对数理逻辑的影响”、“哥德尔对可计算性理论的影响”和“国外哥德尔思想研究的一些新进展”为题向与会学者和研究生们作了大会报告。会议由北京市逻辑学会会长、北京大学哲学系周北海教授主持，中国社会科学院哲学所张尚水研究员、上海社会科学院哲学所朱水林研究员和北京大学哲学系宋文坚教授等国内哥德尔研究、逻辑史研究专家以及国内一些著名逻辑学专家也参加了这一纪念活动。
《逻辑人生——哥德尔传》编辑本段回目录
作为千禧年纪念活动的一部分，《时代》杂志公布了一份列有20世纪100个最伟大人物的名单，其上所选出的最伟大数学家是——库尔特·哥德尔（Kurt Gdel）。如果你随机地挑出100个人问：“你知道哥德尔是谁吗？”那么几乎可以肯定，你不会得到什么肯定的答案。而如果你问谁是20世纪最伟大的物理学家［爱因斯坦（Einstein）］，或谁是最伟大的化学家［鲍林（Linus Pauling）?］，或谁是最伟大的作家（??），情况八成不会是这样。这本小册子力求做到的，就是激起广大读者对哥德尔工作与生活的兴趣，并且，至少要部分地把哥德尔极其巨大的学术成就引介到现代智识话语（modern intellectual discourse）的主流中去。
这样一个计划肇始于1986年。当时，我们两个作者中的一人维尔纳·德波利（Werner DePauli）正与彼得·魏贝尔（Peter Weibel）合作，为奥地利国家电视网制作一部有关哥德尔生平的专题片。伴随着这部片子的播放，一本以那个电视节目脚本为基础、用德文写就的小书也出版了。最初我们只不过想把那本小册子译成英文，再为英文读者稍微补充一些哥德尔生活的细节和其他素材。但不久我们就意识到，读者需要一本内容更丰富的读物，于是这便促生了一本全新的书，也就是你们拿在手中的这一本。
在准备这部书稿期间，维也纳的许多朋友、同事所提出的建议和给予的支持，均使我们深深受益。这里，我们要特别感谢戈尔布（J. Golb）、克勒（E. Khler）、尼尔森（C. Nielsen）以及魏贝尔。此外，本书的两位编辑罗宾斯（Jeff Robbins）和库克（Amanda Cook）的努力，亦使得这本书更具有可读性。的确，要想把哥德尔那种风格的抽象工作表述清楚，并非易事。
哥德尔也许是，也许不是20世纪最伟大的数学家，但他肯定是这些最伟大的数学家中的一个。通读全书如果能使读者知道这是为什么，那就是我们最诚挚的愿望。
精彩片段
库尔特·哥德尔是一个智慧巨人。他的不完全性定理不仅改变了数学，而且改变了整个科学世界和建筑于此定理之上的哲学。哥德尔定理粉碎了逻辑最终将使我们理解整个世界的梦想，同时也引发了许多富有挑战性的问题：什么是理性思维的界限？我们能够完全理解我们自己造的机器吗？我们能够搞清楚我们心智的内在工作过程吗？当对他们的研究结果缺乏逻辑的确定性时，数学家还怎么继续工作？
在这本书里，我们最终遇到了置身于这些深邃思想背后的那个人。约翰·卡斯蒂和维尔纳·德波利为我们描述了一个复杂的人物：既入世又遁世，既雄心勃勃又固执己见。作为维也纳文化上最富盛名、最具创造力的那个时期的一个学生，哥德尔深受语言哲学家维特根斯坦的影响。他参加了维也纳小组的活动，与小组成员一起讨论科学理论、客观实在和真理之间的关系。后来，哥德尔去了普林斯顿高等研究院。在那里，他成了爱因斯坦一直找寻的谈伴，并被爱因斯坦视为知音。
爱因斯坦去世后，哥德尔因担心细菌中毒而拒绝进食，最终死于饥饿。但正像卡斯蒂和德波利所明断的那样，哥德尔的影响是持久不衰的。他的工作不仅使数学发生革命性的变化，而且还波及哲学、语言学和计算机科学，甚至也许还包括宇宙学。存在着可知为真，但却必然不能被证明的事实——哥德尔的这一结论，激起了从神经网络到计算理论的发现和创新浪潮。
哥德尔定理及其哲学义蕴编辑本段回目录
1. 哥德尔其人
假如让人们列举出20世纪影响人类思想的十大伟人，恐怕爱因斯坦（Albert Einstein）、图灵（Alant Turing）、哥德尔（Kurt Gödel）和凯恩斯（John Keynes）应榜上有名，事实上，这四位也恰是2002年美国《时代周刊》上列出的“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）没有定理证明机器（或机器程序）能够证明所有的数学真理。
（3）数学是算法不可完全的。
（4）数学是机器程序不可穷尽的。
（5）停机定理——没有任何图灵机程序能判定，任给一个程序P和一套输入I，依照这套输入I运行程序P时，机器是否能停机。即停机问题是图灵机算法不可解的。由于任何数字计算机都是通用图灵机的特例，因此，停机定理表明，本质上，计算机的能力是有限的。
1985年，切廷（G.J.Chaitin）在《算法信息论》一书中，给出了算法信息论中的哥德尔式不可判定命题，并且给出哥德尔定理的算法信息论版本：
（6）对形式算术系统T而言，可以找到一个数CT，它是公理系统T的信息熵，即描述或处理这些公理所需要的最小信息量，如果K（w）是字为w的科尔莫葛洛夫（A.N.Kolmogorov）复杂性，则T中一切满足K（w）> CT 的命题在T中不可证。
施瓦茨（Schwarz）曾就这些结果总结过颇具启发的三句话：“希尔伯特认为，一切事物都是 [算法]可知的；哥德尔认为有些事物不是[算法]可知的；切廷认为只有少部分事物是[算法]可知的”。可见，哥德尔定理确实深刻地变革了我们对于一致性、完全性、真理、可证性和可计算性之间关系的传统认识。
曾有人问哥德尔，能否把他的定理推广到数学以外。哥德尔尝试给出了一个自己认为合理的表述：“一个完全不自由的社会（即处处按统一法则行事的社会），就其行为而言，或者是不一致的，或者是不完全的，即无力解决某些可能是极端重要的问题，而当社会面临困境时，这种不一致或者不完全都会危机整个社会的生存。”
4. 哥德尔本人谈不完全性定理的哲学义蕴
既然任何一致的形式系统和图灵机程序不能囊括所有的数学真理，而我们人心能够看出它们的真理性，那么哥德尔定理似乎表明，在机器模拟人的智能方面必定存在着某种不能超越的逻辑极限，或者说计算机永远不能做人所能做的一切。于是，一批具有数理背景的科学家和哲学家很难抵御一种诱惑，用哥德尔不完全性定理论证“人心将永远胜过计算机”的结论。果真可以作如此论证吗？我们可以考察一下哥德尔本人对他的定理的哲学义蕴的阐释。
从哥德尔的一部分手稿和1970年代与数学家王浩的谈话记录中，我们得知，他在不同场合曾屡次谈及不完全性定理的哲学义蕴，甚至1951年的“第25届吉布斯演讲”的题目就是“有关数学基础的基本定理及其哲学义蕴”，特别是集中于心-脑-计算机-哥德尔定理的关系问题他曾有过许多论述。
哥德尔首先严格区分了心（mind）、脑（brain）、计算机的功能后明确断言，人类大脑的功能不过像一台计算机，心与脑同一的观点却是我们时代的偏见，但不完全性定理不能作为“人心胜过计算机”论断的直接证据，要推出如此强硬论断还需要其他假定。
事实上，在严格区分了心、脑、计算机的功能后，“人心是否胜过计算机”的问题可以转换为几个子问题：（1）是否大脑和心的功能等同？（2）是否大脑的运作等同于计算机的运作？（3）是否心的本质是可计算的？这三个问题实际上就是“心脑功能同一论”、“大脑的可计算主义”和“心的可计算主义”是否成立的问题。
心脑同一论是20世纪50年代末以来西方占据主流的一种哲学理论，也是人工智能的理论基础。但哥德尔认为，心脑同一论是人们普遍接受的时代偏见，而心的可计算主义是应当得到批判的。首先，哥德尔曾在多次申明，他本人并不反对用不完全性定理作为证明“人心胜过计算机”这一结论的部分证据，因为在他看来，不完全性定理并未给出人类理性的极限，而只揭示了数学形式主义的内在局限，但是，仅仅使用他的定理不足以作出如此强硬论断。哥德尔指出，图灵曾给出的“心的过程不能超越机械过程”的论证在附加以下两个假定之后才有可能：（a）没有与物质相分离的心。（b）大脑的功能基本上像一台数字计算机。他认为（b）的概然性很高；但无论如何（a）是将要被科学所否证的时代偏见。
实际上，早在1951年的吉布斯演讲稿（1995年发表）中，哥德尔就指出，附加了希尔伯特主张的“人类理性提出的问题人类理性一定能够解答”这样一个哲学假定，有可能从不完全性定理推出“人心胜过计算机”的结论，当然，哥德尔本人也倾向于这一假定成立，但同时他也意识到，这种对于“心脑同一论”和“心的可计算主义”的批判未必会令人信服，因为它毕竟是一种推论式的。
值得注意的一点是，哥德尔第二不完全性定理的一种形式是说，任何恰当的定理证明机器，或者定理证明程序，如果它是一致的，那么它不能证明表达它自身一致性的命题是定理。哥德尔认为，人心有洞察具有超穷性质的数学真理的直觉能力，特别是能够洞察数学形式系统的一致性。但是由于形式系统的局限性，一方面，人心不能将他的全部数学直觉形式化，如果人心把他的某些数学直觉形式化了，这件事本身便要产生新的直觉知识（如这个形式系统的一致性知识）；另一方面，不排除存在一台定理证明机器确实等价于数学直觉这种可能。但重要的在于，假定有这样的机器M，由第二不完全性定理，我们不可能证明M确实如此。看来，当人们应用哥德尔定理试图严格地作出“人心胜过计算机”的论证时，其中包含着一个令人难以察觉的漏洞：问题的核心并不在于是否存在能捕获人类直觉的定理证明机器，而恰恰在于，即使存在这样一台机器，也不能证明它确实做到了这一步。恰如哥德尔所说：“不完全性定理并不排除存在事实上等价于数学直觉的定理证明机器。但是定理蕴涵着，我们或者不能确切知道这台机器的详情，或者不能确切知道它是否会准确无误地工作。”
在纪念现代计算机先驱冯•诺意曼（J.von Neumann）诞辰60 周年大会上，哥德尔曾问过一个问题，“一台机器知道自己程序的可能性有多大”？这个问题颇似那个幽默的悖论：上帝能否造一块他自己举不起来的石头？事实上，指出这类内涵悖论的自指性的本质恰好是哥德尔定理最深刻的义蕴之一。今天，许多人认为计算机不能超过人类心智，就是认为大脑是一个具有高容错机制的系统，同时人的意识具有意向性、自指性和非定域性等特征，这些都是计算机所不能达到的。当然，在哥德尔看来，除了必要的哲学假定之外，回答“人心是否胜过计算机”的问题还依赖于我们能否消除内涵悖论，还要取决于包括大脑科学在内的整个科学的进展。
5. 哥德尔定理对人工智能的启示
自不完全性定理诞生之时，定理内在的哲学义蕴就一直是学界争论的话题，特别是在人工智能领域这一争论持续了近半个世纪。1961年美国哲学家鲁卡斯（J.Lucas）首先以激烈言辞撰文《心、机器、哥德尔》，试图用哥德尔定理直接证明“人心超过计算机”的结论：“依我看，哥德尔定理证明了机械论是错误的，因为，无论我们造出多么复杂的机器，只要它是机器，就将对应于一个形式系统，就能找到一个在该系统内不可证的公式而使之受到哥德尔构造不可判定命题的程序的打击，机器不能把这个公式作为定理推导出来，但是人心却能看出它是真的。因此这台机器不是心的一个恰当模型”。这就是著名的鲁卡斯论证。随后，另一位美国哲学家怀特利（C.H.Whitely）发表了强有力的批驳文章《心灵、机器、哥德尔——回应鲁卡斯》，遂引起许多人卷入并长达几十年的争论。1979年获普利策文学大奖的美国畅销书《哥德尔、艾舍、巴赫——一条永恒的金带》将艾舍尔义蕴深刻的版画、巴赫脍炙人口的《音乐的奉献》乐章与哥德尔定理戏剧性地连接在一起，试图从多个视角阐明如何用哥德尔定理否证强人工智能方案，谱写了一首心-脑-计算机的“隐喻赋格曲”。
1963年，美国哲学家、认知科学家德莱弗斯（H. Dreyfus）出版了《计算机不能做什么？——人工理性批判》，1982年和1986年又相继出版了《胡塞尔、意向性和认知科学》与《心灵优于机器：人的直觉在计算机时代的力量》等，批判了强人工智能的观点，反对把人仅仅看成一种抽象的推理机器。他认为，与机器不同，人具有识别、综合以及直觉洞察的能力，这些能力植根于一些与计算机程序的计算理性截然不同的过程中，直觉智能的力量使人能够理解、言说以及巧妙地调整我们与外部环境的关系。1989年，英国数学家、物理学家罗杰•彭罗斯（R.Penros）在风靡全球的《皇帝新脑——计算机、心智和物理定律》一书中，对鲁卡斯论证又作了进一步扩展, 指出数学真理的概念不能包容于任何形式主义的框架之中，人心，特别是人的意识完全是非算法的，计算机不过是强人工智能专家所钟爱的一副“皇帝新脑”而已，被称为“哥德尔定理惊人的强应用”，并由此引发了1990年《行为和大脑科学》杂志上许多人介入的一场争论。1997年和1998年当代语言哲学家，强人工智能的反对者塞尔（J.R.Searle）相继出版《意识之迷》与《心灵、语言和社会》等著作，断言仅仅依靠单纯的输入输出，计算机不可能完全模拟人的意识活动。塞尔通过他的所谓“中文屋”概念批驳了强人工智能专家所持有观点。在塞尔看来，计算机与人类的心智相比，其理解力不仅是不完全的，而且可以说完全是空白。他认为，如果我们所说的机器是指一个具有某种功能的物理系统，或者只从计算的角度讲，大脑就是一台计算机，然而在他看来，心的本质并非如此。因为计算机程序纯粹是按照语法规则来定义的，而语法本身不足以担保心的意向性和语义的呈现，程序的运行只具有在机器运行时产生下一步形式化的能力，只有那些使用计算机并给计算机一定输入同时还能解释输出的人才具有意向性。意向性是人心特有的功能，心的本质绝不能被程序化，也就是说，心的本质不是算法的。
我们看到，今天的计算机在数值计算、蛮力搜索等方面已大大超过人类，但是在模糊识别、感知和在复杂境域中进行决策的能力却无法与人相比，甚至最先进的计算机不能模拟一个3岁儿童的智能，那么，这其中真正的障碍究竟在哪里？
人们最初是从希尔伯特元数学方案开始考虑问题的，是想用有穷手段，用能行的方法建立一个没有内在矛盾的形式系统囊括所有的数学真理，哥德尔告诉我们，这样做不可能。但是，今天我们仍然在追求一种严格一致的算法来模拟人的智能，人工智能领域长期以来一直是在图灵的算法概念基础上产生的基于符号的“认知可计算主义”的纲领指导下工作，但是这种纲领已经越来越显示出它的局限，这一局限本质上正是哥德尔定理早就断言的形式系统的局限。那么计算机和人的智能的本质区别究竟何在？人类智能和认知的本质究竟为何？是否像哥德尔断定的，存在与物质相分离的心能超越任何计算机去发现和证明某些数学定理，至少在发现具有超穷性质的数学真理、提出数学公理、构造数学猜想方面是任何计算机都无法企及的？抑或像彭罗斯断言的那样，人心能超越任何计算机实现非算法的运算，而且人心具有的某种特殊能力是建立在迄今未予发现的物理学规律的基础上？这些问题至今并无定论。至少，目前我们无法确定“心不是计算机”的结论为真。而且，人工智能是否存在某种不可逾越的逻辑极限？基于图灵算法概念的计算概念可否超越？这些都是源自对哥德尔定理的发人深思的问题，但问题的最终解决还需要更深刻的科学的进展。1997年曾任美国数学会主席的斯梅尔（S.Smale）效仿数学家希尔伯特向全世界数学家提出了21世纪需要解决的24个数学问题，其中的第18个问题是，“人类智能的极限和人工智能的极限是什么”？并且指出，这个问题与哥德尔不完全性定理有关。
值得指出的是，哥德尔曾经说过一句耐人寻味的话：“世界的意义在于事愿分离和这种分离的克服”（The meaning of the world is the separation （and its overcoming）of fact and wish），或者用现今时尚的语言译作“世界的意义在于事与愿违和心想事成”。显然，哥德尔定理对于形式系统的局限说得够多了，但是定理并没有设定人类理性的界限。自20世纪90年代以来，计算领域工作的学者在模拟人类智能方面正在试图超越图灵机概念，探讨以自然为基础的生物计算、量子计算等新的计算模式，正在实施一种“算法+自然机制”的方法论策略：对于能够归为传统图灵算法解决的问题，依然使用算法手段解决，不能归为图灵算法解决的问题，借助自然的生物、化学、物理的机制解决，并期望借助这种“半人工”手段制造出堪与人脑匹敌的所谓“半人工智能”来。如此说来，计算的概念就不局限于图灵算法而获得了新的拓展。但是，这些新的探索究竟前景如何？能否像一些乐观主义者断言的，在未来40年内就可以达到完全模拟人类心智的目标，我们将拭目以待，但是至少这些观点对于我们思考哥德尔思想潜在的科学和哲学价值，以及人类智能和人工智能的极限问题提供了一些有益的启示。
主要参考文献：
J.L.Casti &W. DePauli Gödel ：A life of Logic, Perseus Publishing, 2000.
G.Chaitin The Limits of Mathematics.Singapore: Springer,1998.
J.Dawson Logical Dilemmas. Wellesley, A.K.Perers,1997.
K. Gödel Kurt Gödel ：Collected Works .Vol.I, II, III, Solomon Feferman ed al, New York & Oxford: Oxford .University Press. 1986, 1990 , 1995.
Hao Wang Reflections on Kurt Gödel, The MIT. Press. Cambridge Massac Husetts.1987
On phisicalism and algorithemism: Can mchines think ? Philosophia mathematica, Philosophy of Mathematics, its learning, and its application,Series.III. 1993.pp.97-138.
A logical journey: from Gödel to philosophy, The MIT. Prees. Cambridge Massac Husetts. 1996.
王 浩 《哥德尔》，康宏逵译，上海译文出版社，1997年。
