哥德尔：阿黛尔住院后，他不敢再吃别人做的饭 (2026)

阿黛尔住院以后，晚餐出了问题

1977 年末，阿黛尔·哥德尔住进医院。库尔特·哥德尔原先只肯吃阿黛尔准备的食物；阿黛尔缺席以后，他越吃越少。1978 年 1 月 14 日，哥德尔在普林斯顿去世，时年 71 岁。1 2

这个结局很适合被讲成一句聪明话：把证明的边界推到极限的人，最后被一顿饭困住了。可这句聪明话走得太快。它会把一个婚姻、一次欧洲逃亡、几位朋友的照料和几十年的身体担忧，一股脑塞进一个关于“逻辑”的比喻里。

史料留下的是一条更乱、也更具体的人生线。哥德尔先是布尔诺一个爱追问的男孩，后来在维也纳写出改变数理逻辑的论文；他和一位比自己大六岁的离异女性结婚，父母反对过这桩婚事；他带着妻子经西伯利亚铁路逃离欧洲。1 3 他在普林斯顿与爱因斯坦经常同路往返研究院；至于入籍面试，摩根斯特恩后来写下了一段格外出名的回忆。晚年，阿黛尔准备的食物成了哥德尔愿意接受的食物。4 5

布尔诺那个总在问“为什么”的孩子

库尔特·弗里德里希·哥德尔 1906 年 4 月 28 日出生于奥匈帝国的布吕恩，也就是今天捷克的布尔诺。他的父亲鲁道夫在当地纺织业任职，家庭使用德语，兄弟二人接受路德宗教育。IAS 的生平介绍提到，亲友给过他 Herr Warum 这个绰号，意为“为什么先生”。1 2

这个男孩也很早开始担心自己的身体。IAS 与 MacTutor 都记载，他幼年患病以后长期担心心脏受损。亲友回忆后来反复写到这种担忧；它们记录了哥德尔怎样生活，也留下了医学档案之外的空白。1 6

1924 年，哥德尔进入维也纳大学。他起初读理论物理，随后转向数学和逻辑。他听哲学课，也参加莫里茨·石里克、汉斯·哈恩等人周围的讨论会，后来的人把这批讨论者称为维也纳学派。哥德尔参加了讨论，却没有接受逻辑实证主义的立场。2 7

石里克的讨论班曾经把哥德尔引向逻辑；1936 年，石里克却在维也纳大学被一名前学生杀害。MacTutor 的传记记载，这起谋杀对哥德尔打击很大，使他再次陷入精神崩溃；哥德尔的哥哥鲁道夫后来认为，石里克之死“无疑”是弟弟那段严重神经危机的原因之一。这里不能把一场谋杀硬说成某个数学定理的起点，但它确实击穿了哥德尔在维也纳原本就不太稳固的生活。2 6

哈恩成了他的导师。哥德尔 1929 年完成博士论文，论文证明了一阶逻辑的完备性；两年后，他在 Monatshefte für Mathematik und Physik 发表《论〈数学原理〉及相关系统中形式上不可判定的命题 I》。论文页码是第 38 卷的 173 至 198 页。7 8

那篇 1931 年论文的对象很窄，也很硬：它讨论能够表达初等数论、并且公理与推导规则能够按明确程序列出的形式系统。第一不完备性定理给出一种限制：只要这类系统足够强且一致，系统里就会出现既无法在系统内证明、也无法在系统内证伪的算术命题。在同样条件下，第二不完备性定理进一步说，系统无法用自身允许的证明手段证明自身一致性。9

把这两条结果说成“所有真理都无法证明”，会把论文里的形式系统换成一个大得多的对象。哥德尔写的是一篇细致界定对象和证明范围的逻辑论文。8 9

阿黛尔：维也纳舞厅之外的麻烦和支持

阿黛尔的婚前姓氏是波克特，曾有一段婚姻，因此也常以阿黛尔·宁布尔斯基之名出现。她生于 1899 年，比哥德尔大约六岁。关于相识，本文不采纳精确的年份与场景：IAS 和 MacTutor 将其写为 1927 年维也纳夜总会相识，而传记材料的细节并不完全一致。1 6

较稳妥的事实是：两人在 1938 年 9 月 20 日于维也纳结婚。哥德尔的父母反对这段关系，相关材料提到的理由包括阿黛尔年长、离过婚以及家庭背景。婚恋的动机没有留下可供核对的一手说明，传记作者也很难替两个人把心思讲圆。1 10

数学家格奥尔格·克雷泽尔在 20 世纪 50、60 年代多次拜访这对夫妇。他在皇家学会悼文中回忆，哥德尔在阿黛尔身边明显放松；阿黛尔受正规教育不多，却很有语言天赋，还会用看似即兴的方式编出离奇的吃醋理由，把身边人逗笑。这段来自克雷泽尔几十年后的访客回忆，留下的是几次相处的片段。1

维也纳变了，他得先离开

石里克遇刺之后，哥德尔并不是立刻收拾行李逃走。传记材料显示，他先经历了严重的精神危机；康复后不久，又收到美国客座教授的邀请。与此同时，导师汉斯·哈恩也已去世。到 1930 年代末，石里克和哈恩相继不在，哥德尔在维也纳最重要的思想支点和人际环境已经塌了一角。2 6

1938 年德国吞并奥地利以后，外部压力又一层层压上来。维也纳大学的档案显示，哥德尔的授课许可在 4 月被无限期暂停；他没有像许多同样拥有私讲师头衔的人那样顺利获得新的带薪讲师职位。传记材料还记载，他曾被误认为犹太人，在街上遭到青年袭击；1939 年，他又被判定适合服兵役。这里既有职位中断，也有身份误认、征召压力和离境许可的问题。它们不能被压缩成一个“哥德尔突然决定移民”的轻松故事，而是共同把一个本来就经历过精神崩溃的人，推向了离开维也纳。2 6 7

1940 年初，哥德尔和阿黛尔终于离开欧洲。他们没有走横渡大西洋的常见路线，而是从欧洲进入苏联，经莫斯科搭乘西伯利亚铁路到日本，再从横滨乘船横越太平洋。研究哥德尔迁徙档案的约翰·W·道森记载：夫妇二人 1940 年 3 月 4 日抵达旧金山，之后前往普林斯顿。道森引用的出境文件明确要求哥德尔取道苏联和日本。于是，这次远行既是一次逃离纳粹欧洲的迁徙，也是在石里克之死、哈恩去世、精神危机和职业压力连续发生之后，哥德尔与阿黛尔为自己寻找的一条出口。1 2 3

哥德尔 1933 至 1934 年已经第一次到过新成立的普林斯顿高等研究院。1940 年定居美国以后，他先以成员身份工作，1946 年成为常任成员，1953 年升任教授，1976 年荣休。高等研究院成了他的长期工作地点，也成了他与爱因斯坦、冯·诺伊曼、奥斯卡·摩根斯特恩会面的地方。2 4

普林斯顿：散步、宇宙和一场差点跑题的面试

高等研究院的材料与 SEP 都记下了爱因斯坦和哥德尔经常结伴往返研究院、用德语交谈的日常。两处材料支持的是这段长期同行，而非后来流传的某一句精确对白。2 4

1949 年，哥德尔给出爱因斯坦场方程的一类新宇宙解，其中含有闭合类时曲线：沿某些数学路径，事件可以回到自身的过去。这个解把这样的时序结构写进了广义相对论的一种精确模型。1951 年，哥德尔与朱利安·施温格共同获得爱因斯坦奖；1974 年，他又获得美国国家科学奖章。1 4

更有喜剧效果的一幕发生在入籍程序里。摩根斯特恩在 1971 年写下的一份回忆中说，1947 年底，爱因斯坦和他陪哥德尔到特伦顿办理美国入籍。按摩根斯特恩的记述，哥德尔事先认真研究美国历史和宪法，告诉两位朋友，他发现宪法里有一条路，可能让独裁通过合法程序出现；摩根斯特恩和爱因斯坦一路劝他少说一点。5

按摩根斯特恩这份 1971 年回忆，面试官问起奥地利政体，哥德尔回答奥地利曾是共和国，宪法后来却让独裁成为可能；他接着说“我可以证明”。摩根斯特恩记载，面试官随后把话题带过去，程序照常完成。杰弗里·凯格勒依据道森的整理列出：听证日期为 1947 年 12 月 5 日，宣誓日期为 1948 年 4 月 2 日。摩根斯特恩原文没有给出这两项日期，故事的细节也存在不同版本。这个故事作为晚出的回忆流传下来，最有趣的地方正在于：哥德尔连在入籍窗口前，也想先把系统的漏洞讲清楚。5 11