哥德尔不完备性定理究竟意味着什么？

25岁时，库尔特・哥德尔证明了数学中永远不可能存在 “万有理论”。量子杂志专栏作家娜塔莉・沃尔乔弗探讨其深层含义。

库尔特・哥德尔论文

图源：谢尔比・怀特与莱昂・利维（Shelby White and Leon Levy）档案中心，普林斯顿高等研究院；Samuel Velasco and Michael Kanyongolo /《量子杂志》

作者：Natalie Wolchover（娜塔莉・沃尔乔弗，量子杂志专栏作家）2026-5-18

译者：zzllrr小乐（数学科普公众号）2026-5-19

求点赞

求分享

求喜欢

本文收录于量子杂志专栏《感受质》Qualia——“追随好奇心，探索未知边界的随笔”。该专栏作者Natalie Wolchover（ 娜塔莉・沃尔乔弗）的首部著作《用宇宙回答的问题》The Question to Which the Universe Is the Answer计划于2027年出版——译者注。

1931年，库尔特・哥德尔以逻辑自指的方式证明了一组定理，彻底改变了知识与真理的版图。这些 “不完备性定理” 确立了一个结论：任何数学形式系统 —— 任何可推导出一切结论的有限规则或公理集合 —— 都不可能是完备的。数学中永远存在无法从这些公理逻辑推导出来的真命题。

新冠疫情初期的几周里，我学习了这位 25 岁的奥地利逻辑学家与数学家是如何做到这一点的，随后用不到 2000 字写下了他的证明概要。（我跟妻子提起这段时光时，她说：“哦对，就是你那段差点疯掉的日子？” 稍微有点夸张。）

在哲学中，“感受质”（qualia） 指我们体验的主观特质：爱丽丝看到蓝色、鲍勃感到愉悦的内在感受。正如已故哲学家丹尼尔・丹尼特所说，感受质是 “事物在我们眼中的样子”。在本专栏随笔中，作者追随好奇心，探索重要却未必有答案的科学问题。

但即便理解了哥德尔证明的步骤，我仍不确定该如何解读他的定理。人们普遍认为，这些定理排除了数学 “万有理论” 存在的可能。不只是我有此困惑。在我撰写本文重度参考的 1958 年经典著作《哥德尔证明》中，哲学家欧内斯特・内格尔与数学家詹姆斯・R・纽曼写道，哥德尔定理的意义 “尚未被完全洞悉”。

或许如此，但六十年已经过去。如今我们对这些思想的理解到了哪一步？最近，我与逻辑学家、数学家、哲学家以及一位物理学家讨论了不完备性的意义。他们就哥德尔这一奇特学术成果的影响，以及它如何改变人类永无止境的真理探索之路，发表了诸多见解。

帕努・拉蒂凯宁（Panu Raatikainen）

坦佩雷大学哲学家，《斯坦福哲学百科全书》哥德尔不完备性定理条目 https://plato.stanford.edu/entries/goedel-incompleteness/ 作者

自古希腊以来，公理方法一直被视为组织科学知识的理想方式。其目标是确立少量 “自明” 的基本命题 —— 公理、原理或定律 —— 使该领域的所有真理都能从中逻辑推导出来。

哥德尔不完备性定理以数学精度表明，这一理想在数学的大部分领域必然无法实现。即便仅涉及正整数（1、2、3……）的全部数学真理，其复杂程度也令人费解，无法从任何有限公理集合推导出来。

这意味着，某些数学问题即便在原则上也无法用现有数学方法解决。学术进步需要创造性的概念革新。因此，数学真理并非由同等确凿的真理构成的统一整体；相反，它们的知识地位从毋庸置疑的事实，逐渐过渡到越来越不确定的假说。

拉蒂凯宁指出，哥德尔定理模糊了客观真理的终点与人为构造数学的起点，这一观点很有道理。历史上，人们试图突破哥德尔定理限制的一种方式，是在公认公理之外提出额外公理。假设你想用传统公理证明一个命题，却发现无法证明 —— 即该命题是不可判定的。如果在初始集合中添加一条新公理，你或许就能证明该命题为真。然而，添加另一条不同的公理，你可能又能证明它为假。因此，命题的真假取决于你的选择。突然间，“真理” 变得更依赖个人偏好或预设前提。

丽贝卡・戈德斯坦（Rebecca Newberger Goldstein）

哲学家，《不完备性：库尔特・哥德尔的证明与悖论》https://rebeccagoldstein.com/incompleteness-the-proof-and-paradox-of-kurt-godel/ 作者

直觉在数学中一直扮演重要角色。毕竟，我们无法证明一切；为了开启证明，我们需要接受一些无需证明的真理（即公理）。但几个世纪以来我们发现，直觉有时并不可靠 —— 甚至不可靠到引发真实悖论 —— 迫使我们承认彻头彻尾的矛盾。

20世纪初，伯特兰・罗素与阿尔弗雷德・诺斯・怀特海致力于《数学原理》https://fair-use.org/bertrand-russell/the-principles-of-mathematics/ ，试图将算术归约为逻辑。（认为数学只是逻辑的观点被称为 “逻辑主义”。）这项工作促使罗素发现了后来被称为 “罗素悖论” 的问题。它涉及所有不包含自身的集合所构成的集合。当你追问：这个集合是否包含自身？矛盾便显现：如果包含，它就不包含；如果不包含，它就包含。（集合论创始人格奥尔格・康托尔早在1890年代就已发现这一矛盾。）

数学家们 —— 以当时顶尖数学家大卫・希尔伯特最为坚决 —— 的回应是：通过将数学形式公理化，构建一致且完备的算法递归规则集合，消除不可靠的直觉，本质上把数学还原为一场机械的符号操作游戏。这一形式化目标被命名为 “希尔伯特纲领”。（详情参阅小乐数学科普：用数学解释物理学的伟大尝试揭开了时间的秘密——希尔伯特第6问题进展——译自Quanta Magazine量子杂志）

哥德尔证明了希尔伯特纲领无法实现。他的第一不完备性定理指出：在任何足以表达算术的数学形式系统中，都存在既为真又不可证明的命题。因此，尽管由机械符号规则构成的形式系统成功消除了所有直觉，却也无法囊括我们所知的全部数学真理 —— 这种真理因我们对名为 “数” 的无穷结构的直觉而得以丰富。

我们对数字的直觉竟能超越可证明的范围，这一点十分奇妙。

就我个人而言，对于哥德尔证明之后让不完备性成为现实的那个数学命题，我的直觉毫无头绪。它被称为连续统假设（continuum hypothesis，CH），断言所有实数的集合（连续统）是仅次于自然数集合（1、2、3……）的第二小无穷集合。人们发现，用标准数学公理无法判定该假设。可以构造额外公理使其为真或为假，但逻辑学家们对此意见不一。

我交谈过的一位物理学家警告说，连续统假设的不可判定性对他的领域有影响：物理学家或许需要完全避开连续统。

克劳斯・凯费尔（Claus Kiefer）

科隆大学物理学家，2024年一篇关于哥德尔不完备性对基础物理学意义论文 https://link.springer.com/article/10.1007/s10773-024-05574-2 的作者

库尔特・哥德尔的证明对数学产生了深远且出乎意料的影响。鉴于物理定律用数学语言表述，它对物理学是否也有意义？我认为有。

最重要的不可判定命题之一是连续统假设（CH），1963年保罗・科恩证明它在哥德尔意义下不可判定。“连续统” 这一名称源于用直线上的点对应实数的公设。但实数究竟有多少？它们是不可数无穷多（详情参阅：数学家是怎么知道无穷大有多种大小的？——译自量子杂志Quanta Magazine），但这种不可数性能被明确界定吗？连续统假设指出，实数集合是仅次于可数的自然数无穷集合的下一个最小无穷集合。

如今已知物理学中的基本相互作用都定义在时空连续统上。与这一连续统相关的不可数点，导致了物理学中的诸多问题。例如，在现代引力理论 —— 爱因斯坦广义相对论中，它引发了奇点，使我们无法用数学描述宇宙起源与黑洞内部。在用量子场论描述的粒子物理标准模型中，直接计算会得到能量等物理量的无穷大结果，必须通过复杂且反直觉的数学程序消除。

在追求所有相互作用的最终统一理论时，情况变得更为严峻。统一理论应当用一致且完备的数学语言描述。但如果统一理论将时空描述为连续统，连续统假设可能导致理论不完备。物理学家已证明，连续统假设在量子场论中引发不可判定问题，例如某些原子系统是否存在 “能隙”，使其能稳定处于基态。这种不可判定性源于计算假设原子存在于时空连续统中。有人认为更基础的理论（拥有更完备公理）可以判定该问题，但最终理论不应包含不可判定命题。因此，它不应涉及连续统。

在我看来，只有时空结构是离散的 —— 即仅由可数无穷多点构成 —— 才能避免这种不可判定局面。量子引力的一些研究方向（如弦论或圈量子引力loop quantum gravity）已出现离散性的线索，但情况远未明朗。

值得注意的是，除了连续统假设带来的这些问题，高能物理学家还有许多其他理由认为，连续时空并非现实的基础，而只是从其他结构中涌现出的长距离假象。

约科・韦纳宁（Jouko Väänänen）

赫尔辛基大学与阿姆斯特丹大学数学家、逻辑学家

不完备性是数学中不受欢迎却无法避免的事实，如同数论中的无理数与超越数（详情参阅小乐数学科普：数学怎样得到超越性——译自Quanta Magazine），或物理学中的海森堡不确定性原理。

存在一种形式语言无法绕过的 “哥德尔壁垒”：逻辑的表达能力越强（即可描述的事物越多），其有效性就越弱（即证明命题真假的能力越弱）；有效性越强，表达能力就越弱。

例如，最简单的逻辑系统之一是命题逻辑，它允许用 “与”、“或”、“非” 等运算组合命题。它非常有效，但表达能力很弱。另一极端是二阶逻辑，它允许描述对象、性质、集合与关系。它拥有极强的表达能力，有效性却极弱。

这就好像有效性与表达能力的 “乘积” 是恒定的，如同海森堡不确定性原理所述：某些 “互补” 物理量（如位置与动量）的同时测量精度存在极限；换言之，一个量测量越精确，另一个量的测量精度就越低。在逻辑中，有效性与表达性正是这样的 “互补” 属性，这是哥德尔不完备性定理的真正内涵。

我们在数学中摸索前行，无法确保一致性或完备性。事情就是这样。

令人震惊的是，作为精确科学基础的数学，竟缺乏可被证明一致且完备的根基。希尔伯特认为这不可能，情有可原。然而事实就是如此，就像根号2是无理数一样确凿无疑。数学中存在一块令人困惑的不完备性硬块，它可以被四处转移，却永远不会消失。

出人意料的是，哥德尔本人相对乐观。约科・韦纳宁解释说，哥德尔始终怀揣一个梦想：存在一套形式逻辑系统，能够解决连续统假设以及关于集合（现代数学基石）的所有其他问题。他的不完备性定理告诉我们，任何这样的系统，只要由有限条公理构成，都会产生系统内不可判定的新命题。但他思考过一种可能：存在无限递增的更强公理系统，能够解决所有问题。

蕾切尔・阿尔维尔（Rachael Alvir）

滑铁卢大学逻辑学家、讲师

我们都普遍认为，哥德尔终结了希尔伯特彻底形式化数学的纲领。这是常见解读，因此我第一次读到哥德尔原著时十分震惊。在他1931年首次证明不完备性定理的论文中 https://homepages.uc.edu/~martinj/History_of_Logic/Godel/Godel%20%E2%80%93%20On%20Formally%20Undecidable%20Propositions%20of%20Principia%20Mathematica%201931.pdf ，哥德尔明确表述了相反观点：“必须明确指出，命题11（以及关于 M 与 A 的相应结果）并不与希尔伯特的形式主义立场相矛盾。” 在脚注中，他重申1931年论文中的不可判定定理，仅相对于单个系统不可判定。任何给定逻辑框架中的不可判定命题，都可以在更大的逻辑框架中被数学证明为真或假。

哥德尔并不反对数学能够证明或反驳所有恰当表述命题的观点。相反，他质疑的是希尔伯特的限制性方法。我们为何要相信存在单一、有限的公理集合，所有真理都能通过有限步逻辑推导从中得出？哥德尔认为，我们可以重新定义形式数学框架的含义，或允许使用替代框架。他经常讨论无限序列的可接受逻辑系统，每个都比前一个更强大。每一个恰当表述的数学问题，或许都能在其中某个系统中得到解答。

人们常说，连续统假设就是证明数学问题有时没有答案的铁证。但在我看来，这种情况几乎无法证明存在相对于任何可允许框架都 “绝对不可判定” 的数学问题。它只是一个目前尚未被判定的命题，本身并不能说明未来无法用新技术判定。数学与哲学领域对此正进行广泛而深入的持续辩论。

我想强调的核心观点是：数学结果本身无法解决这个问题。是否存在无解的数学问题，远非显而易见。对我而言，哥德尔定理并未表明数学存在局限，反而说明数学比希尔伯特的有限主义观点更广阔、更强大。

阿尔维尔进一步解释说，实现数学真理古老梦想的路径有多种。一种方法是在公认公理上添加一条新公理，解决连续统假设且不引发其他矛盾。另一种方法是找到一套无限公理方案，解决连续统假设与其他问题。或者我们可以切换到不同于标准系统的逻辑系统，在该替代逻辑中解决连续统假设。（“我个人最喜欢的 [逻辑系统] 称为 L-ω₁,ω”，阿尔维尔对想深入探索的读者说。）又或者答案是 “某种全新的东西”，她说 ——“真正的创造性天才之举…… 我们不断提出全新的数学技巧来解决问题。为何不相信我们也能这样解决连续统假设？”

当然，证明连续统假设为真或为假，并不能消除所有不可判定性。

最后，我想引用韦纳宁的同事（也是妻子）的话作结：

朱丽叶・肯尼迪（Juliette Kennedy）

芬兰赫尔辛基大学数学哲学家、数理逻辑学家，《解读哥德尔：批判性论文集》Interpreting Gödel: Critical Essays https://www.cambridge.org/core/books/abs/interpreting-godel/interpreting-godel-critical-essays/590234F73ABC40E07473D01E355142D4 主编。

皮亚诺算术公理（关于自然数 0、1、2、3…… 的规则集合，与哥德尔证明中使用的系统密切相关，例如 “每个数都有后继数”）这套看似显而易见的公理系统，本质上竟是不完备且不可判定的，即所有可公理化的一致扩张都是不完备且不可判定的。人们很容易对此失去惊叹之情。请保持这份惊叹！不完备性定理告诉我们，无论在数学还是其他任何领域，当我们试图掌控概念秩序时，总会以失败告终 —— 而在这件事上，我们确实应该为失败感到庆幸，因为失败显然是更有趣、更深刻的结果。

参考资料

https://www.quantamagazine.org/what-do-godels-incompleteness-theorems-truly-mean-20260518/

https://www.quantamagazine.org/how-godels-proof-works-20200714/

基于哥德尔不完备性定理的密码学突破——无需交互的零知识证明

小乐数学科普：某些无穷大怎么会比其他无穷大还要大？——量子杂志对话数学家贾斯汀·摩尔

https://plato.stanford.edu/entries/goedel-incompleteness/

https://rebeccagoldstein.com/incompleteness-the-proof-and-paradox-of-kurt-godel/

https://fair-use.org/bertrand-russell/the-principles-of-mathematics/

数学家是怎么知道无穷大有多种大小的？——译自量子杂志Quanta Magazine

https://link.springer.com/article/10.1007/s10773-024-05574-2

https://www.quantamagazine.org/a-new-map-of-the-standard-model-of-particle-physics-20201022/

https://www.quantamagazine.org/are-strings-still-our-best-hope-for-a-theory-of-everything-20260323/

https://www.quantamagazine.org/the-unraveling-of-space-time-20240925/

https://homepages.uc.edu/~martinj/History_of_Logic/Godel/Godel%20%E2%80%93%20On%20Formally%20Undecidable%20Propositions%20of%20Principia%20Mathematica%201931.pdf