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

# 哥德尔不完备定理的真正含义是什么？ | 量子杂志 来源：https://www.quantamagazine.org/what-do-godels-incompleteness-theorems-truly-mean-20260518/ 25岁时，库尔特·哥德尔证明了数学中永远不可能存在一个"万有理论"。专栏作家娜塔莉·沃尔乔弗探讨其意义。 **Qualia：好奇心引领的随笔** 1931年，库尔特·哥德尔通过将逻辑应用于自身，证明了一对定理，这些定理改变了知识与真理的格局。这些"不完备定理"确立了：没有任何数学形式系统——即任何有限的规则或公理集，一切皆应从中推导而出——能够是完备的。总会存在某些真实数学命题，无法从这些公理中逻辑推导出来。 我在新冠疫情最初几周里，学习这位25岁的奥地利逻辑学家兼数学家是如何做到这一点的，然后写了一篇不到2000字的短文，概括了他的证明过程。当我向妻子提起这段时期时，她说："哦，就是那次你差点疯掉？"——这多少有点夸张。 但即便理解了哥德尔证明的步骤，我仍不确定该如何看待他的定理。人们通常认为这些定理排除了数学"万有理论"的可能性。有此困惑的不止我一人。在《哥德尔的证明》一书中——这本1958年的经典著作是我撰写那篇文章的主要参考——哲学家欧内斯特·纳格尔和数学家詹姆斯·R·纽曼写道，哥德尔定理的意义"尚未被完全理解"。 也许吧，但自那时起已经过去了60年。今天我们对这些想法有何认识？最近，我请逻辑学家、数学家、哲学家以及一位物理学家来探讨不完备性的含义。他们对哥德尔这一奇特智力成就的意义及其如何改变人类永不停歇的真理探索，提出了诸多见解。 > **帕努·拉蒂凯宁（PANU RAATIKAINEN）**，坦佩雷大学哲学家，《斯坦福哲学百科全书》哥德尔不完备定理词条作者 > > 自古希腊以来，公理方法就被广泛视为组织科学知识的理想方式。其目标是拥有少数"自明"的基本命题——公理、原理或定律——使得该领域的所有真理都能从中逻辑推导出来。 > > 哥德尔的不完备定理以数学的精确性表明，对于数学的很大一部分，这种理想必然无法实现。即使是关于正整数（1, 2, 3 ...）的全部数学真理，其复杂程度也高到无法从任何有限的公理集中推导出来。 > > 这意味着某些数学问题即使原则上也无法用我们当前的数学方法解决。进步可能需要创造性的概念创新。其结果是，数学真理并非由同样确凿无疑的真理组成一个统一整体；相反，它们的知识地位从毋庸置疑的事实逐渐变化到越来越不确定的假说。 拉蒂凯宁说得好：哥德尔定理模糊了客观真理结束与人为数学开始之间的界限。历史上，人们试图克服哥德尔定理局限的一种方式是提出超出普遍接受公理的新公理。假设你想用传统公理证明一个命题，却发现无法证明——它是不可判定的。如果你向初始公理集添加一条新公理，或许就能证明该命题为真。然而，如果添加另一条不同的公理，则可能证明它为假。因此，它究竟是真是假，取决于你所做的选择。突然间，"真理"更多地取决于个人的偏好或假设。 > **丽贝卡·戈尔茨坦（REBECCA GOLDSTEIN）**，哲学家，著有《不完备性：库尔特·哥德尔的证明与悖论》 > > 直觉在数学中一直扮演着重要角色。毕竟，我们无法证明一切；我们需要接受某些真理（即公理）而无须证明，才能使我们的证明得以起步。但几个世纪以来，我们认识到直觉有时并不可靠——其不可靠程度甚至会产生实际悖论——这意味着我们会被迫断言彻头彻尾的矛盾。 > > 20世纪初，伯特兰·罗素和阿尔弗雷德·诺斯·怀特海正在撰写《数学原理》，试图将算术还原为逻辑。[数学不过是逻辑的观点被称为"逻辑主义"。]这项工作让罗素发现了后来被称为罗素悖论的东西。它涉及所有不以自身为元素的集合所构成的集合。当你问：这个集合是否属于自身？悖论便显现出来。矛盾在于：如果是，则不是；如果不是，则是。（格奥尔格·康托尔——集合论的奠基人——早在19世纪90年代就已意识到这一悖论。） > > 数学家们的回应——最有力的莫过于当时领衔数学家大卫·希尔伯特——是通过将数学形式化公理化为一套一致且完备的算法性、递归性规则，从而消除数学中不可靠的直觉，本质上将数学简化为一种机械的符号操作游戏。这一形式化的目标被称为希尔伯特纲领。 > > 哥德尔证明的是，希尔伯特纲领无法实现。他的第一不完备定理指出，在每一个足够丰富以致能表达算术的数学形式系统中，都存在既真实又不可证明的命题。因此，尽管由机械的符号操作规则组成的形式系统成功地消除了所有直觉，但它们也未能捕捉到所有我们已知为数学真理的知识——这些知识是由关于我们称之为数的无穷结构的直觉所丰富和增强的。 有趣的是，我们对数的直觉可能超越了我们所能证明的范围。 就我个人而言，我的直觉对那个在哥德尔证明之后让不完备性变得真实的数学命题保持沉默。这个命题称为连续统假设，它断言所有实数构成的集合（连续统）是自然数集（1, 2, 3 ...）之后第二小的无穷集合。结果发现，使用数学的标准公理，它是不可判定的。可以设计额外的公理来确立它为真或为假，但逻辑学家们对于该走哪条路存在分歧。 一位与我交谈的物理学家警告说，连续统假设的不可判定性对其领域有影响：物理学家或许需要完全避开连续统。 > **克劳斯·基弗（CLAUS KIEFER）**，科隆大学物理学家，2024年论文《哥德尔不完备性对基础物理学的相关性》作者 > > 库尔特·哥德尔的证明对数学有着深远且出人意料的后果。鉴于物理定律是用数学语言表述的，它是否对物理学也相关？我认为是的。 > > 在最重要的不可判定命题中，连续统假设（CH）是其中之一，由保罗·科恩于1963年证明在哥德尔意义上是不可判定的。"连续统"这个名称源于将直线上的点与实数等同的假设。但究竟有多少实数？它们有不可数无穷多个，但这种不可数性能被具体化吗？CH断言，实数构成自然数集（自然数集是可数的）之后的下一个最大的无穷集合。 > > 现在考虑已知的物理基本相互作用都是在时空连续统上定义的。与这种连续统相关的不可数点数导致了物理学中的各种问题。例如，在爱因斯坦的广义相对论——我们的现代引力理论——中，这导致了奇点，从而阻碍了对宇宙起源和黑洞内部的数学描述。在粒子物理标准模型中，由量子场论描述，直接计算会产生能量及其他物理量的无穷大结果，这些结果必须通过一种复杂且非直观的数学程序来消除。 > > 在推动终极统一理论（囊括所有相互作用）的过程中，情况变得更加严峻。一个统一理论应当由一个一致且完备的数学语言来表征。但如果一个统一理论将时空描述为连续统，那么CH可能使该理论不完备。物理学家已经证明，CH在量子场论中导致了不可判定的问题，例如某些原子系统是否存在"能隙"，使其能够稳定在基态。这种不可判定性源于一个事实：计算假设原子存在于一个时空连续统中。有人可能会争辩说，一个更基础的理论（带有更完备的公理）可以判定这个问题，但终极理论不应含有不可判定的命题。因此，它不应涉及连续统。 > > 在我看来，只有当时空结构是离散的——即仅由可数无穷多个点表征——时，这种不可判定性才能避免。在一些量子引力方法中已有离散性的迹象，例如弦论或圈量子引力，但情况远未明确。 值得注意的是，除了连续统假设带来的这些麻烦之外，高能物理学家还有许多其他理由认为连续的时空并非现实的基础，而只是一种长距离的幻象，从其他部分涌现出来。 > **约科·韦内宁（JOUKO VÄÄNÄNEN）**，赫尔辛基大学与阿姆斯特丹大学数学家兼逻辑学家 > > 不完备性在数学中是一个不受欢迎却不可避免的生活事实，就像数论中的无理数和超越数，或者物理学中的海森堡不确定性原理。 > > 存在一种"哥德尔壁垒"，形式语言无法绕过：一种逻辑的表达能力越强（即你在该逻辑中能说的事情越多），其有效性就越弱（即我们证明该逻辑中命题真假的能力）；而有效性越强，表达能力就越弱。 > > 例如，最简单的逻辑系统之一是命题逻辑，它允许你用"与"、"或"、"非"等运算组合命题。它非常有效，但表达能力较弱。在光谱的另一端，有二阶逻辑，它允许你对对象、性质、集合和关系做出陈述。它具有极强的表达能力，但有效性很弱。仿佛有效性和表达能力的"乘积"是恒定的，就像海森堡不确定性原理那样——该原理指出，某些"互补"的物理量对（如位置和动量）能被同时精确知晓的精度是有限的；换句话说，一个量测得越精确，另一个量能被知晓的精度就越低。在逻辑中，一个惊人的类比是：有效性和表达力正是这样的"互补"性质。这就是哥德尔不完备定理的真正内涵。 > > 我们在数学中磕磕绊绊地前行，没有任何一致性或完备性的保证。事情就是这样。 > > 令人震惊的是，数学——作为精确科学的基础——缺乏一个能被证明是一致且完备的基础。希尔伯特认为情况不可能是这样，这是可以理解的。然而，事实确实如此，就像根号2是无理数一样确凿无疑。数学中存在一个令人费解的不完备肿块，可以将其从一个地方推到另一个地方，但它永远不会消失。 令人惊讶的是，哥德尔本人却稍微乐观一些。下面，拉歇尔·阿尔维尔解释道，哥德尔始终怀有一个梦想：存在一个形式逻辑系统，能够判定连续统假设以及所有关于集合——现代数学的基石——的问题。他的不完备定理告诉我们，任何这样的系统，只要它由有限条公理组成，就会产生新的、在该系统内不可判定的命题。但他思考过一种可能：一个无穷无尽的、逐级扩大的公理系统序列，或许能够判定每一个问题。 > **拉歇尔·阿尔维尔（RACHAEL ALVIR）**，滑铁卢大学逻辑学家兼讲师 > > 我们所有人都接触过一种普遍观点：哥德尔扼杀了希尔伯特为数学进行彻底形式化的纲领。这是一种常见的解读，所以当我第一次阅读哥德尔的原著时，感到非常震惊。在其1931年的论文中——该文首次证明了不完备定理——哥德尔明确表达了相反的观点："必须明确指出，命题XI（以及针对M和A的相应结果）并不代表对希尔伯特形式主义立场的矛盾。"在一个脚注中，他重申，1931年论文中的那些不可判定定理仅仅是相对于一个系统而言的不可判定。任何给定逻辑框架中的不可判定命题，都可以在更大的逻辑框架中被数学证明为真或为假。 > > 哥德尔并不反对"数学能够证明或证伪每一个表述良好的命题"这一说法。相反，哥德尔质疑的是希尔伯特的限制性方法。为什么我们要相信存在一个单一的、有限的公理集，使得所有真理都能在有限步逻辑推理中从中导出？哥德尔认为，重新定义我们所说的"形式数学框架"的含义，或者允许替代框架的存在，是可能的。他经常讨论一个无穷序列的可接受逻辑系统，每一个都比前一个更强。每一个表述良好的数学问题或许都在其中某个系统内可以得到解答。 > > 人们常常会谈论CH，仿佛它是一个确凿证据，表明有些数学问题没有答案。但在我看来，这种情况提供的证据非常微弱，不足以证明存在"绝对不可判定"的数学问题——即相对于任何允许的框架都不可判定。它仅仅是一个目前尚未被判定的命题的例子，单凭它本身并无理由怀疑将来不能利用新技术来判定它。在数学的深层次中，关于这一点存在着广泛而持续的辩论。