希尔伯特 vs 哥德尔：公理化纲领的终结

对话背景#

这场对话是反事实编排。大卫·希尔伯特（David Hilbert, 1862–1943）与库尔特·哥德尔（Kurt Gödel, 1906–1978）从未对坐。1930 年 9 月他们同在哥尼斯堡，却参加两场相邻而不相交的会。

5–7 日是「精密科学认识论」会议：卡尔纳普讲逻辑主义，冯·诺伊曼讲形式主义，海廷讲直觉主义。6 日哥德尔用二十分钟报告一阶逻辑的完备性；7 日圆桌（主持人汉斯·哈恩）上，他才说出：古典数学的形式系统里，有内容上为真却不可证的命题。8 日希尔伯特在德国自然科学家与医师大会上作退休演说《自然认识与逻辑》，收束句是「我们必须知道，我们将会知道」（Wir müssen wissen. Wir werden wissen.）。后来刻上墓碑的这句话，并不是对前一天圆桌的回应——两人没有碰面。

希尔伯特纲领成型于 1920 年代初，是对外尔倒向布劳威尔的反击。1900 年巴黎第二问题已经要求证明算术公理不矛盾；1921 年汉堡讲演才把「有限立场」和证明论写成可下手的计划：先把古典数学完全形式化，再用有限的、可检查的手段证明这套系统一致。

哥德尔 1930 年 11 月 17 日把稿子投给《数学与物理月刊》，1931 年刊于第 38 卷：定理 VI 钉住不完备，定理 XI 钉住内部一致性不可证。本篇轴线只在这里——纲领要的那种有限一致性证明，与 1931 年的第二定理是否互相排斥。判定问题、停机、心灵是否机器，是另两篇对话的题目。

第一幕：希尔伯特纲领#

希尔伯特：哥德尔先生，让我概述我的纲领。我相信：数学的每一个明确问题都可以判定。更要紧的是，我们可以用元数学——把证明本身当成有限对象来研究——证明这个系统的一致性。这不是 1900 年巴黎那句口号，是 1921 年汉堡讲演以后可以动手的计划。

哥德尔：教授，您要把无穷数学的可靠性，建立在有限手段之上。有限，指的是什么？是具体的符号串、可检查的变换，还是已经把归纳偷偷做大了的那种「有限」？

希尔伯特：有限立场只承认能够完全写在纸上的东西：数字、公式、证明的有穷序列。超穷对象可以当作理想元素引进，像几何里的无穷远点——只要能证明引进它们不会推出 0=1。一致性一旦被有限手段钉住，康托尔的乐园就不必拆掉。

哥德尔：那「意义」呢？若理想元素只是符号，真命题还关于什么？

希尔伯特：内容上的数学停在有限。分析、集合论是理想层。理想层不必先有本体论上的「存在」，只要形式系统不崩。意义若是心理学里的领悟，它不是证明论要担保的东西。证明论要担保的是：从公理出发的每一步都可以被检查。

第二幕：不完备性的发现#

哥德尔：教授，7 日圆桌上我说的还只是一半。1931 年论文里有两个定理，它们对您的纲领不是旁注。

希尔伯特：请说。

哥德尔：第一不完备定理（定理 VI）：任何包含初等算术、又满足递归可枚举等条件的一致形式系统，都有一个命题，它与它的否定都无法在系统内推出。系统是不完备的——有真命题它判不了。

希尔伯特：这怎么可能？如果一个命题是真的，为什么不能被证明？

哥德尔：因为「真」和「可证」不是同一个谓词。一个命题可以在标准模型里为真，却不能从那张公理表推出来。我在圆桌上先讲的，正是这种内容上为真、形式上不可证的算术句子。冯·诺伊曼当场听懂了。多数人没有。

希尔伯特：那第二定理呢？

哥德尔：第二不完备定理（定理 XI）：这样的系统若一致，就不能在内部证明自身的一致性。您要的那种证明——用系统自己的、或更弱的有限手段写下 Cons——恰好落在定理禁止的区域里。冯·诺伊曼稍后独立看出这一步，写信给我；稿子里我已经写下了它。

第三幕：哥德尔编码#

希尔伯特：哥德尔先生，请解释你的证明方法。你是如何在一个形式系统内部谈论这个系统自身的？

哥德尔：教授，我使用了一种巧妙的编码方法——现在称为哥德尔编码。我将每个符号、每个公式、每个证明都映射到一个唯一的自然数。这样，关于形式系统的命题就可以被翻译为关于自然数的命题。

希尔伯特：请举一个具体的例子。

哥德尔：不是给符号随便贴标签。每个符号先有一个数字，一串符号 $n_1, n_2, \ldots, n_k$ 再编成 $2^{n_1} 3^{n_2} \cdots p_k^{n_k}$。素因数分解把「公式」「证明」变成算术里的关系。关于「可证」的语法谓词，于是写成 $\mathrm{Bew}(x)$。

希尔伯特：然后呢？

哥德尔：然后造句子 $G$，它在系统里等价于「$G$ 的哥德尔数不在可证关系里」。若 $G$ 可证，系统就不一致；若系统一致，$G$ 便不可证，而按构造 $G$ 所说为真。论文第一节特意分开：说谎者用「假」，我只用「不可证」。语法可以算术化，语义上的「真」当时还没有被我写进系统内部。

希尔伯特：这不就是说谎者吗？「这句话是假的。」

哥德尔：差别已经写在第一节。说谎者调用「假」；$G$ 只调用「不可证」。没有算术化，自指仍是句子游戏。有了算术化，它才变成定理。

第四幕：对希尔伯特纲领的冲击#

希尔伯特：哥德尔先生，你的定理是否意味着我的纲领失败了？我不能接受数学里会有永远的 ignorabimus。8 日那句「我们将知道」，针对的就是杜博瓦-雷蒙那种不可知。

哥德尔：教授，我不愿意说「失败」两个字就把证明论关掉。更准确的说法是：原初形式被限制了。您要的是用系统内部的有限手段写下一致性。定理 XI 说：若系统一致，这张证明不在它里面。

希尔伯特：那我可以改规则。1931 年我试过一条新规则：若每个数字 $n$ 上都有 $A(n)$ 的证明，就推出 $\forall x A(x)$。有限的 $\omega$-规则。这样也许能绕过你的句子。

哥德尔：那已经不是原来的有限立场。原来的有限手段必须能在纸上写完；「每个 $n$ 上都有一份证明」是一条无穷许可。伯奈斯后来把您的计划写成两卷《数学基础》（1934、1939），里面已经不得不讨论我的定理，而不是当它没有发生。

希尔伯特：用更强的系统证明较弱系统的一致性呢？集合论证算术。

哥德尔：那是相对一致性。它告诉你：若更强的不崩，较弱的也不崩。它不再是您 1921 年要的那种「有限手段一劳永逸」。根岑 1936 年用到 $\varepsilon_0$ 的超穷归纳证明了算术一致——那是证明论的继续，不是原初纲领的完成。超穷归纳恰恰不能被算术自己形式化，这正是第二定理要求的。

第五幕：数学真理的本质#

希尔伯特：哥德尔先生，你的定理迫使我们重新思考数学真理的本质。如果存在真但不可证明的命题，那么"数学真理"是什么？

哥德尔：教授，我认为数学真理是客观的——它不依赖于形式系统。一个命题可以是真的，即使我们不能在某个特定的系统中证明它。数学真理超越了任何形式系统。

希尔伯特：但这是柏拉图主义——你假设存在一个独立于人类思维的数学实在。我更倾向于形式主义——数学真理就是可证明性。

哥德尔：但我的定理表明：真理性超越了可证明性。如果数学真理就是可证明性，那么我的命题 $G$ 既不真也不假——但这是荒谬的。$G$ 说的是"这个命题不可证明"——如果它不可证明，那么它说的是真的。

希尔伯特：也许我们需要一个更强的系统来证明 $G$。在新系统中，$G$ 是可证明的。这不正是「我们将知道」吗？不是一次表写完，是一次次加公理。

哥德尔：加公理可以证明这个 $G$。新系统有它自己的 $G'$。你可以不断加，每一张表仍留下自己看不见的句子。这不是 ignorabimus 的胜利，也不是纲领原初形式的胜利。它只说明：没有最后一张有限的表。您 8 日反对的是「有些问题原则上不可判定」；我证明的是「没有一张固定的、可检查的公理表能判完算术」。两句话的量词不同。

第六幕：可判定性问题#

希尔伯特：哥德尔先生，1928 年我与阿克曼在《理论逻辑纲要》里写下判定问题：是否存在一种手续，对任意一阶公式都能回答它是否有效。这和你的不完备是一件事吗？

哥德尔：不是一件事。不完备说的是：一个固定的、足够强的算术系统里，真与可证不必重合。判定问题说的是：有没有一种对所有一阶公式都有效的一般手续。否定解答是 1936 年的事，丘奇走 $\lambda$-可定义，图灵走机器。那条线不在本篇展开。

希尔伯特：但两者都在说「不能一劳永逸」。

哥德尔：共用的是自指和对角线，层次不同。您的纲领要的是有限一致性证明，被第二定理直接拦住。判定问题拦住的是另一张万能表。把两张表说成同一场失败，会把 1931 年读成 1936 年的预告。它不是。

第七幕：集合论与大基数#

希尔伯特：哥德尔先生，1900 年我的第一问题是连续统假设。它在集合论里可判定吗？这和算术的不完备是同一类限制吗？

哥德尔：不是同一张表。我在 1938–1940 年证明：若 ZFC 一致，则 ZFC 加连续统假设也一致——可构成宇宙 $L$ 里它成立。科恩 1963 年才证明否定同样一致。于是连续统假设在 ZFC 里独立。算术的 $G$ 在标准模型里为真而不可证；连续统假设则连「哪一边为真」都还没有被 ZFC 决定。

希尔伯特：那是否要新公理？

哥德尔：要。大基数一类公理是候选。它们是否「自然」，不能再靠有限手段从旧表里推出来。这正是纲领被限制之后剩下的工作：不是放弃严格，是承认下一张公理不能由旧表担保。

希尔伯特：不同公理给出不同数学。我们如何知道哪一套是对的？

哥德尔：形式系统不回答「对」。它只回答「可证」。要在独立命题上作选择，必须有一种关于集合实在的洞察——我承认这是柏拉图主义。您可以拒绝这种洞察，但拒绝之后，第一问题就停在「两边都一致」上，而不是被有限手段关闭。

第八幕：遗产与未来#

希尔伯特：哥德尔先生，你的定理改变了数学基础的面貌。但你的定理是否意味着数学是不可靠的？

哥德尔：恰恰相反，教授。我的定理表明数学比我们想象的更丰富——它不能被任何有限的公理系统所穷尽。这是一个积极的结果——它意味着数学是无穷的，永远有新的真理等待被发现。

希尔伯特：但你打破了我对数学统一性的梦想。我曾相信：全部数学可以被建立在一个一致的、完备的公理系统之上。你证明了这是不可能的。

哥德尔：我打破的是原初那张表，不是严格本身。证明论还在。它问的问题改了：哪些超穷原则足以证明哪些系统的一致性。您的精神还在工作，只是不再许诺一次有限的封顶。

希尔伯特：我需要时间。圆桌上我甚至不在场。伯奈斯后来把定理写进《数学基础》，等于承认：8 日那句「我们将知道」，不能再被读成「一张表将会写完」。

哥德尔：「我们将知道」仍可以留下。留下的方式是：每个明确提出的问题，并不被事先判为不可判定；但「明确提出」本身不能被一张固定的形式系统穷尽。量词再一次不同。您反对的是杜博瓦-雷蒙的绝望。我没有把绝望送回来。我把「最后一张表」拿走了。

分析#

希尔伯特要的不是「数学是符号游戏」这句宣传，是一张具体的研究表：形式化古典数学，再用有限手段证明它不推出矛盾。哥德尔 1931 年的定理 VI 与 XI 没有禁止证明论，它们禁止的是原初那张表里的第二步——用系统自己的有限手段写下 Cons。

两人 1930 年 9 月同在哥尼斯堡，没有见过面；把「我们将知道」读成对不完备的回答，是后人的蒙太奇。常见捷径「不完备 = 数学不可靠」也不准确。第二定理以一致性为假设：系统若一致，Cons 不可证。它没有证明算术不一致。根岑 1936 年的证明、伯奈斯两卷《数学基础》，是纲领被限制之后的继续，不是 8 日演说的兑现。判定问题、停机、心灵是否机器，需要另一条文献线索。

核心分歧#

分歧不在要不要严格，在「有限」够不够给无穷数学作保。希尔伯特认为：理想元素可以引进，只要有限的元数学能证明不崩；真，在形式层上就是可证。哥德尔认为：真比任何一张固定的、递归可枚举的公理表更宽；一致性若成立，也不能在内部被看见。柏拉图主义是他对「更宽」的解释，不是 1931 年论文已经证完的结论。

当代启示#

后人把不完备读成「机器不能懂数学」，或读成「任意加强公理就能绕过」。两句都过满。固定的公理表有自己的 $G$；改表的规则若仍有限，整条链还是一个形式系统，仍有新的 $G'$。

相对化的希尔伯特纲领——问哪些超穷原则足以证明哪些系统的一致性——才是 1931 年之后证明论实际在做的事。彭罗斯式的心灵论证、伍丁的终极 $L$，属于更晚的文献，不能从哥尼斯堡那一周直接支取。

延伸思考#

• 如果希尔伯特纲领成功了，数学会有什么不同？
• 根岑用超穷归纳证明算术一致，这还算不算 1921 年的有限立场？
• 「我们将知道」若不再意味着「一张表写完」，它还剩下什么？

延伸阅读：哥德尔《论〈数学原理〉及相关系统的形式不可判定命题》(1931)；道格拉斯·霍夫施塔特《哥德尔、艾舍尔、巴赫——集异璧之大成》(1979)；Panu Raatikainen《Gödel's Incompleteness Theorems》(斯坦福哲学百科 SEP 词条)；恩斯特·内格尔与詹姆斯·纽曼《哥德尔的证明》(Gödel's Proof, 1958)