爱因斯坦约哥德尔走路回家，他们在谈什么？| 哥德尔诞辰113周年_风闻

撰文 | 张天蓉

来源：科学网博客

今天（2019年4月28日）是哥德尔诞辰113周年。有人认为，不完备性定理之于人类的意义超过了牛顿力学、万有引力、相对论等，这些科学理论可能影响几个世纪的人类，而不完备性定理（和不确定性原理）所能影响的却是整个人类的文明历史。

爱因斯坦和哥德尔，是当年在普林斯顿高等研究院里经常一块儿散步的一对忘年交。

那是在爱因斯坦去世前的十几年。从1940年哥德尔正式受聘到普林斯顿高研院开始，一直到爱因斯坦生病去世。

爱因斯坦有一段话，可看出他对哥德尔的欣赏程度。

爱因斯坦晚年时曾经对经济学家奥斯卡·摩根斯坦（Oskar Morgenstern）表示说，他自己的研究已经没有太大意义，而他之所以每天还到高等研究院来，只是为了与哥德尔一起走路回家！

对公众而言，爱因斯坦的名字家喻户晓，但哥德尔却鲜为人知。

那么，哥德尔何许人也？对科学有些什么杰出的贡献，才会使得爱因斯坦如此推崇他？

库尔特·弗雷德里希·哥德尔（德语：Kurt Friedrich Gödel，1906年－1978年）是一个出生于奥匈帝国，后半生在美国度过的数学家。他被人誉为亚里士多德之后最好的逻辑学家。

哥德尔比爱因斯坦晚出生27年。在1906年，爱因斯坦发表3篇重要论文之“奇迹年”后的第二年，哥德尔才呱呱坠地。

哥德尔天分极高，从小是个数学神童，喜欢寻根究底地问问题，因而在4岁的时候就得了一个“为什么先生”的绰号。

在维也纳大学时，他曾经修读过理论物理，也研究过相对论，之后专攻逻辑学和集合论。他最重要的数学成果——哥德尔不完备定理——是他在25岁（1931年）紧接着博士论文之后完成的**[1]**。

哥德尔不完备定理包含两个定理：

1. 一个包含了算术的任意数学系统，不可能同时满足完备性和一致性；

2. 一个包含了算术的任意数学系统，不可能在这个系统内部来证明它的一致性。

让我们试图用通俗（不太严格）的说法来理解哥德尔的不完备定理，以及他的证明方式。

通俗而言，完备性指的是这个系统包括了所有它定义的对象，一致性指的是没有逻辑上的自相矛盾。

所以，首先将两个定理翻译成通俗语言：

1. 一个算术系统，要么自相矛盾，要么总能得出一些无法包括于该系统中的结论；

2. 不可能在一个算术系统内部，证明此系统是不自相矛盾的。

哥德尔不完备定理的数学证明过程十分复杂，但是哥德尔定理及其方法的核心思想，都是运用了“自指”（自我指涉）的概念，这个概念可以用著名的“理发师悖论”来说明。

传说某小镇上只有一个理发师，他将他的顾客群（系统）定义为“城中所有不给自己理发之人”。但某一天，当他想给自已理发时却发现他的“顾客”定义是自相矛盾的。因为如果他不给自己理发，他自己就属于“顾客”，就应该给自己理发；但如果他给自己理发，他自己就不属于“顾客”了，但他给自己理了发，又是顾客，到底自己算不算顾客？该不该给自己理发？这逻辑似乎怎么也理不清楚，由此而构成了“悖论”。

也就是说，这位理发师定义的“顾客系统”要么是自相矛盾的，要么是不完备的，因为“他自己”无法属于这个系统。

完备性和一致性不可兼得，这就是哥德尔第一不完备定理说的意思。

进一步分析下去：如果我们想要证明这个“顾客系统”是自相矛盾的，就必须得将“他自己”加进去，加进去才发现自相矛盾，不加进去就不自相矛盾。

而加了他自己后的系统，已经不是他原来（未曾考虑自己时）定义的系统。

所以结论是，他不可能在他原来定义的系统内部，证明那个系统是自相矛盾的，这就是哥德尔第二不完备定理的意思。

从上面的分析可知，问题是在于“包含自身”这种自指描述，例如，理发师 “只为不给自己理发的人理发”，说谎者说 “我正在说谎”，罗素用严格的数学语言定义的“罗素悖论”[2]，都是自指命题。

哥德尔则模仿这些例子写出了一句话“这句话是不能证明的”。这种自指描述，被哥德尔用作为他证明不完备定理的重要工具。

“这句话是不能证明的”，如果你能证明这句话“对”，那你就得承认这句话是不能证明的，因此而自相矛盾！

如果你能证明这句话“不对”，那你就承认这句话是可以证明的，那么，你就无法证明它不对。

所以，结论是，一个算术逻辑系统中，必定有一些“既不能证实，也不能证伪”的命题。

证实和证伪，正是在科学活动（科学哲学）中经常讨论的题目，人们自然而然地联想到，如何将哥德尔的不完备定理用到科学上？

哥德尔不是莫名其妙地去证明不完备定理的，他开始的目的是为了解决著名德国数学家大卫·希尔伯特（David Hilbert，1862年－1943年）于1900年提出的23个问题**[3]**中的第2题：算术公理之相容性。

这个问题来源于希尔伯特一个宏伟的计划。他的目标是将整个数学体系严格公理化，成为建立在一套牢靠基础上的宏伟大厦。

说到公理化，众所周知的欧几里德几何是我们心目中公理化的例子，但是数学家与我们的标准不同，希尔伯特就认为欧几里德的《几何原本》是不严格的公理体系，最初的五条基本公设有很多基于直观的假设，而不是基于用严格数学语言定义的基础上。

因此，他另写了一本《几何基础》，重新定义几何，将几何学从一种具体模型上升为抽象的、完备而自洽的普遍理论。

然后，希尔伯特认为，任何数学真理，只要通过一代又一代人的不断努力，都能用逻辑的推理将其整合到这个数学公理大厦中。

希尔伯特认为算术公理系统是最简单的，因此，希尔伯特提出关于一个算术公理系统相容性的问题，希望能以严谨的方式来证明任意公理系统内的所有命题是彼此相容无矛盾的。

换言之，希尔伯特将他的整个计划归结为在形式化的算术系统内部证明它的完备性、一致性和可判定性。

然而，哥德尔最后的结论，粉碎了希尔伯特的梦想，证明希尔伯特的计划行不通，因为哥德尔证明了：包含了算术的数学整体（欧氏几何不包括算术系统）如果不自相矛盾的话，就一定是不完备的，一定有这么一些“无法证明它为真，也无法证明它为假”的命题存在。

希尔伯特虽然遭受了打击，也不得不承认“不完备定理对于数学和逻辑学上具有里程碑式的意义”。

人们认为哥德尔不完备定理具有划时代的意义，它的科学和哲学价值超过了数学领域，可以扩展到科学的各个方面，启发后人对哲学本质、世界基本问题的思考。

美国《时代》杂志曾经评选出对20世纪思想产生重大影响的100人中，哥德尔被列为第四位。

不完备定理表明“一致性与完备性不可兼得”，又使人们联想到量子物理中海森堡不确定性原理表述的“动量位置不能同时确定”的命题，于是有人认为这两个原理从哲学角度给出了人类能力发挥的极限。

也有人进一步探究两个原理说法上的相似性，它们是否有深刻的内在联系？

当年爱因斯坦和哥德尔一起散步，是否会在一起讨论上面提出的问题？目前好像没有确切的资料证实（或证伪）这点。

追溯搜寻一下历史记录：哥德尔于1931年发表不完备定理，普林斯顿高等研究院于1933年建立于普林斯顿大学的校园里。爱因斯坦、哥德尔、外尔等都是当年受邀的第一批成员。

爱因斯坦1933年10月抵达普林斯顿后便一直呆下去，哥德尔很快返回了欧洲，后来（1934-1935）又来访过。

这些零落的时间内，两人讨论过些什么，我们不得而知，但高研院最初兴旺发达的是数学，哥德尔肯定做过有关不完备定理的演讲，爱因斯坦也许对逻辑和数学不那么感兴趣，但也应该知晓这个定理在数学界掀起的轩然大波。

1935年，爱因斯坦与两位同事发表的EPR论文中，提出量子物理的“完备性”问题（之前还提过“自洽性”的问题），其想法以及这些逻辑学中的名词，很有可能来自于哥德尔的工作。

1940年，哥德尔正式受聘于高研院，便开始经常与爱因斯坦一块儿散步并聊天。我没有查到他们聊天的记录中有直接谈到与量子物理及不完备定理相关的内容，但从普林斯顿其他人的回忆中，能够悟出一点他们互相之间的思想影响。

约翰·惠勒从1938年开始成为普林斯顿大学物理系教授，与爱因斯坦十分熟悉，但对当时已经大名鼎鼎，又很少与人交往的哥德尔来说，对小其5岁的惠勒就不会认识了。

算法理论专家蔡廷（Gregory Chaitin）在他的书中曾有如下的描述：据说惠勒曾经和两个学生一起去过哥德尔的办公室（大约70年代），想问他关于量子物理及不完备定理之关系，哥德尔很生气，将他们“赶出”了办公室。

物理学家伯恩斯坦（Jeremy Bernstein）在他的书中也提到过此事。不过大多数人认为拜访过程不是那么戏剧性的。

据说惠勒等问及此问题时，哥德尔转换了话题，要和他们讨论他正在研究的星系旋转的物理问题。

一年之后，在某次小聚会中，哥德尔向惠勒等解释了他为何不愿谈论量子力学中的非决定论与数理逻辑之关系，是因为他曾经和爱因斯坦讨论过很久，他不相信量子力学和非决定论。

所以，惠勒后来说到这个话题时，认为哥德尔已经被爱因斯坦“洗脑”了。

不管几位前辈如何看待不完备性与不确定性的关系，基本上可以认为，这两个原理在哲学上勾画出了人类知识的疆界、认识的极限。

至少给我们一点预警：有些东西，也许我们人类是永远不可能认识的？

因此有人认为，不完备性定理之于人类的意义超过了牛顿力学、万有引力、相对论等，这些科学理论可能影响几个世纪的人类，而不完备性定理（和不确定性原理）所能影响的却是整个人类的文明历史。

的确，在明白哥德尔的不完备定理之前，许多人（包括笔者）有某种潜在的观念，认为任何科学理论，都应该要有逻辑性、自洽性和完备性。

而如今不完备性定理告诉我们：在同一个系统中，完备性和逻辑自洽不可兼得。

也许可以如此理解，一个理论最后要求的完备性，不一定是包括在这个理论自身，而是存在于下一个更深层的理论中。

例如，欧几里得几何最后被“非欧几何”所完备；牛顿力学和经典电磁论最后被量子力学和相对论在更深的层次 “完备”。也就是说，正是因为一个理论中，完备性与一致性可能不相容，才提供了理论体系进一步发展的突破口。

例如量子理论，虽然被实验证实不存在爱因斯坦想象的“隐变量”，但也许可以找到另外的突破口，建立新的理论，使其暂时“不完备”的理论体系，在将来某个更深层的理论框架下完备起来。

所以，科学理论的发展只能是渐进的、分层次的，新理论也许可以超越旧的但却无法取代。

对宇宙学而言，可能有更为深刻的意义。

宇宙学试图包罗万象，但我们自身又是“万象”中的一部分，是无法从宇宙之外来观察宇宙的，这有点类似于理发师悖论中的“自指”，也许是宇宙学解决不了的“悖论”。（如某网友评论的：一个人在地球上，无法通过拽自己的头发把自己拽离地面。）

哥德尔和爱因斯坦有一个难能可贵的共同点：他们都重视思考和研究科学的最基本问题。

爱因斯坦曾经多次解释他为什么选择物理没有选择数学，他说是因为数学的门类太多，在物理中他能够清晰地分辨哪些问题是基本的、重要的。

但后来，他对他晚年的助手斯特劳斯说：现在，我认识了哥德尔，知道了数学中也有类似的情形。

两人到了晚年更是如此，爱因斯坦研究统一理论几十年；哥德尔陷于哲学，他曾经对人稍感抱歉地解释为什么最后几年研究的东西都不太成功，因为考虑的一直是最基础的问题。

为哥德尔写传记的华人逻辑学家王浩曾经比较哥德尔和爱因斯坦的异同点**[4, 5]**。

两人都重视哲学，尽管对世界的哲学观点并不一样。两人性格迥异：爱因斯坦乐观合群，通情达理，哥德尔古板严肃，孤傲独行。

爱因斯坦喜欢古典音乐，哥德尔认为索然无味，爱因斯坦积极参加和支持和平运动，哥德尔基本不涉及任何公众活动。

哥德尔1940年到普林斯顿高研院，1947年入籍美国公民，爱因斯坦和摩根斯坦作为证人陪同哥德尔参加了他的美国公民考试。

有后人描述当时有趣的一幕：本来一切顺利，但当法官问哥德尔是否认为像纳粹政权这样的独裁统治可能发生在美国时，哥德尔向他论证自己研究美国宪法时的一个重要发现：美国宪法有一个逻辑漏洞，会使得一个独裁者可以合法地掌握权力！他想就此争论一番。爱因斯坦等费了很大的劲才制止了他。

哥德尔的晚景令人唏嘘！

伟大的逻辑学家最后死于“人格紊乱造成的营养不良和食物不足”。这是医生的诊断结论，等同于饿死的。

他病逝时的体重只有65磅。因为他晚年时经常怀疑有人要谋杀他，会在他的饭菜里下毒。所以他不相信别人做的饭菜，只相信他夫人做的。

但是太太阿黛尔比他年长好几岁，也病倒了，没法照顾他，因此他只能吃一些很简单的食物或者经常不吃饭，身体状况迅速恶化，最终死于营养不良。

参考文献

【1】K. Gödel: über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme, I. Monatshefte für Mathematik und Physik, 38 (1931), pp. 173-198. Translated in van Heijenoort: From Frege to Gödel. Harvard University Press, 1971.

【2】维基百科-罗素悖论

https://zh.wikipedia.org/wiki/%E7%BD%97%E7%B4%A0%E6%82%96%E8%AE%BA

【3】Hilbert, David (1902). “Mathematical Problems”. Bulletin of the American Mathematical Society. 8 (10): 437–479.

【4】王浩，探索永恒-哥德尔和爱因斯坦，科学文化

http://www.cuhk.edu.hk/ics/21c/media/articles/c002-199001053.pdf

【5】王浩，《哥德尔》，上海译文出版社。[美] 王浩 著，康宠逵 译. 2002年

版权声明：本文来自张天蓉科学网博客，《返朴》获作者授权发表，略有修改。

《返朴》，致力好科普。国际著名物理学家文小刚与生物学家颜宁联袂担任总编，与几十位学者组成的编委会一起，与你共同求索。关注《返朴》（微信号：fanpu2019）参与更多讨论。二次转载或合作请联系[email protected]。

特别提示：「返朴」正在求贤，有意者请戳“求贤”联系我们，等你来哦！