白色亚麻西装男子与无限不可能

背景

在生命的最后几年，Kurt Gödel 绝食而死。他坚信有人在他的食物中下毒，因此只吃妻子 Adele 先尝过的食物。1977 年底，Adele 因中风住院后，Gödel 彻底停止进食。1978 年1月14日，他在普林斯顿医院去世，体重仅29公斤。死亡证明上的死因是“因人格障碍导致的疏忽造成的营养不良和消耗”。这位自亚里士多德以来最伟大的逻辑学家，证明了数学本身包含着它永远无法触及的真理，最终却被自己无法逃脱的扭曲内在逻辑所摧毁。

在数学界之外，几乎无人知晓他的名字。但爱因斯坦知道。从1940年代起，两人同在普林斯顿高等研究院任教。那时爱因斯坦已年迈，与物理学主流疏离，他告诉同事，自己每天去办公室“只是为了有特权与Kurt Gödel一起走回家”。在普林斯顿的人行道上，他们是一对奇怪的组合：爱因斯坦衣衫不整、笑声爽朗；Gödel 穿着整洁的白色亚麻西装，在每日往返研究院的步行中，用德语生动地交谈。John von Neumann 在读过 Gödel 1931 年的论文后，取消了关于 David Hilbert 计划的整个系列讲座，称 Gödel 的工作是“独一无二且不朽的里程碑，在时空上都将清晰可见。”

那么，Gödel 究竟证明了什么？为什么在如今这场AI热潮中——人们正花费数万亿美元，其中大部分基于一个假设，即智能是一个规模问题——它仍然重要？

核心内容

不完备性意味着什么

简单来说，Gödel 证明了数学无法完全解释自身。更长的版本需要一点耐心。1900年，德国数学家 David Hilbert 向数学界提出挑战：构建一个数学的完美机器。从一组基本规则（称为公理）开始——这些规则显而易见地正确，无需论证——然后通过机械的步骤，从这些规则中推导出每一个数学真理。如果你能做到这一点，数学就是完备的，意味着每个真命题都是可证明的、一致的，且没有矛盾。你可以把整个事业交给一个按指令行事的办事员。这就是 Hilbert 计划，三十年来，它一直是该领域组织性的雄心。然后，在1931年，年仅25岁的 Gödel 一举摧毁了它。

Gödel 的第一不完备定理证明：任何足够强大到能处理基本算术的规则系统，都包含它无法证明的真命题——不是因为规则选择不当，而是基于规则的系统本身的结构性特征。

他的技巧是构造一个指涉自身的数学句子。考虑这个句子：“这个句子没有证明。”Gödel 的技术壮举——构成他1931年论文核心的部分——是用纯粹的算术来构建这个句子：将关于数字的陈述编码为数字本身。这不是将英语偷偷塞进数学，而是纯粹的数学。只有两种可能性：要么系统能证明它，要么不能。

如果系统能证明“这个句子没有证明”，就会立即出现问题：我们刚刚证明了一个声称自己没有证明的句子。一个能证明假命题的系统是矛盾的，而数学中的矛盾是致命的。一旦允许一个矛盾，你就可以用它来证明任何东西，包括1等于2。系统变得毫无用处。

如果系统不能证明“这个句子没有证明”，则存在另一个问题：这个句子说它没有证明，而它被证明是对的。它是一个真命题。但系统没有办法证明它。所以我们有了一个系统无法触及的真理，这意味着 Hilbert 的规则手册存在盲点。

任何合理的数学系统都宁愿有盲点，也不愿有矛盾。因此，这个句子（逻辑学家称之为 Gödel 句子）是真的但不可证明，Hilbert 的那个能证明所有真命题的规则手册的梦想破灭了。

Gödel 的第二定理则补了一刀。它表明，没有任何数学规则集能仅凭自身规则证明其自身没有矛盾。如果你想检查你的系统是否可信，你总是需要一个更大的系统来进行检查，而这个更大的系统继承相同的限制。这是一个无穷递归。

这不是神秘主义，也不是关于意识或创造力的主张。这是一个关于基于规则的系统的精确结果——而所有软件，包括AI，正是由这类系统构建的。这就是它今天仍然相关的原因。

建造计算机的失败梦想

Hilbert 还要求另一件事，而 Gödel 的论文使它受伤但未死亡。除了完备性和一致性，他还想要可判定性：一种机械方法，能在有限步骤内确定任何数学命题是否可以从规则中推导出来。不需要天才：摇动手柄并读出结果。

1936年，23岁的剑桥研究员 Alan Turing 也杀死了这个梦想。为了证明不存在这样的机械方法，他首先必须确定“机械方法”的含义——这在之前没人做过。他的答案是：一个假想的设备，一条纸带和一个沿着纸带移动的读写头，根据固定的规则表读写符号。任何人类办事员通过死记硬背能算出的东西，这个设备也能算出来。

然后，他展示了这个设备也有自己的盲点。想象一个从不犯错的算命先生，和一个决心破坏每次预测的固执顾客。“你会从门出去。”他爬出窗户。“你会从窗户出去。”他从容地走出门。算命先生不是不擅长自己的工作，而是这个工作本身就是不可能的，因为她的预测反馈到了它试图预测的行为本身。

Turing 将那个场景转化为代码。检查器扮演算命先生。它是一个程序，其工作是像读食谱一样读取任何其他程序，然后预测它的命运：要么“这个程序会终止”，要么“这个程序永远运行下去”。

破坏者扮演固执的顾客。它是一个短程序，内部塞进了一个检查器的副本，加上一条固定规则：询问检查器我将被预测做什么，然后做相反的事。如果预测是它会终止，它就故意永远循环。如果预测是它会永远运行，它就立即停止。

那么，检查器对破坏者的预测是什么？“终止”是错的，因为破坏者听到后就开始循环。“永远运行”也是错的，因为破坏者听到后就停止。

破坏者完全由检查器自身的部件组装而成，这使得它不可避免，而非偶然。构建一个完美检查器，你就在同一天下午构建出了破坏它的计划。因此，完美检查器是一个自相矛盾的概念。

能够预测其他程序在大多数情况下如何行为的程序并不罕见——静态分析器和类型检查器是常规使用的。不可能存在的程序是那个从不犯错的程序。这就是所谓的停机问题：Gödel 的自指句子，用机器重新构建，然后迫使机器提出一个关于自身的问题。

为了展示机器不能做什么，Turing 不得不发明机器。他假想的设备是通用计算机的理论蓝图：一台可以运行你作为数据输入的任意程序的单一机器。九年后，熟知并钦佩 Turing 论文的 John von Neumann 撰写了《关于 EDVAC 的报告初稿》，从逻辑上讲，就是将 Turing 的通用机器用真空管实现。此后建造的几乎所有计算机都遵循该设计。你桌上的笔记本电脑和训练下一个前沿模型的数据中心 GPU，一旦剥离工程细节，就是1936年那篇逻辑论文中的同一设备。

Gödel 本人认为 Turing 帮了他一个忙。正是 Turing 对机械程序的定义，使得不完备性定理的深远影响得以明确。

关键要点

• Gödel 的第一不完备定理证明：任何足够强大的形式系统（能表达基本算术）都存在无法被证明的真命题。这是系统的结构性特征，而非缺陷。
• 他通过构造一个自指的数学句子（“这个句子没有证明”）来证明：该句子要么导致矛盾（如果系统能证明它），要么是系统无法证明的真命题。
• Gödel 的第二定理表明：任何系统都无法在自身内部证明自身的一致性。要检查一致性，总需要一个更大的系统，且该继承同样局限。
• Turing 的停机问题将 Gödel 的自指思想转化为计算方法：不存在一个通用算法能判断任意程序是否会终止。他通过构造一个“破坏者”程序（询问检查器对自己的预测，然后做相反之事）来证明。
• Turing 为了证明不可判定性，发明了通用计算机的理论模型（图灵机），这成为所有现代计算机的蓝图。
• 这些结果不是关于意识或创造力的模糊哲学，而是关于所有基于规则的系统（包括所有软件和AI）的精确数学