库尔特·哥德尔 · aiwiki.page

库尔特·哥德尔（1906年4月28日—1978年1月14日）是奥地利出生的美国数学家、逻辑学家和哲学家。他的研究确立了数学真理、形式可证明性与公理化理论的表达能力之间的根本关系。他最著名的成果是1931年发表的哥德尔不完备定理，此外还证明了一阶逻辑的完备性，并在集合论中取得了重要的相对一致性成果。他后期的研究还涉及数学哲学和相对论宇宙学。(ias.edu)

生平与学术生涯

哥德尔出生于布吕恩，当时属于奥匈帝国，如今是捷克共和国的布尔诺，家庭使用德语。他于1924年进入维也纳大学，最初对物理学感兴趣，随后转而专攻数学和逻辑学。在汉斯·哈恩的指导下，他于1929年完成博士论文，并于1930年获得博士学位。他曾参加维也纳学派的讨论，但并不认同其逻辑实证主义。(nasonline.org)

20世纪30年代，哥德尔在维也纳任教，并从1933—1934年起多次访问位于普林斯顿的普林斯顿高等研究院。他于1938年与阿黛尔·波克特结婚。1940年，夫妇二人移居美国，他继续在高等研究院从事研究。他于1953年成为该院教授，1976年成为荣休教授。阿尔伯特·爱因斯坦是他的挚友，也是经常与他交流思想的伙伴。(ias.edu)

哥德尔于1951年获得阿尔伯特·爱因斯坦奖，1974年获得美国国家科学奖章。他于1978年1月14日在普林斯顿去世，享年71岁。(ias.edu)

一阶逻辑的完备性

哥德尔在博士论文中证明了哥德尔完备性定理，该成果于1930年发表。定理涉及一阶逻辑，其中量词的取值范围是个体对象。它将理解逻辑后承的两种方式联系起来：一种是通过解释或模型定义的语义后承，另一种是通过形式证明定义的语法可推导性。凡是在一阶理论的所有模型中都由该理论推出的语句，都可以运用适当的形式证明演算从该理论中推导出来。(nasonline.org)

这一关系用符号表示为：

T\models\varphi \quad\Longrightarrow\quad T\vdash\varphi.

结合演算的可靠性，这就确立了语义后承与形式可推导性的等价关系。因此，完备性表明证明规则足以涵盖所有一阶逻辑后承，但并不表明每个数学问题都能得到判定。(ic.openlogicproject.org)

不完备定理

哥德尔1931年的论文《论〈数学原理〉及相关系统中的形式不可判定命题Ⅰ》揭示了公理化数学的局限。这些结果适用于公理能够被有效枚举、且能够表达足够多初等算术的形式系统，并非不加区别地适用于所有逻辑理论或数学理论。(homepage.mi-ras.ru)

第一不完备定理

第一不完备定理的现代标准形式纳入了J.巴克利·罗瑟后来的改进，其内容是：任何一致的、可有效公理化且包含足够算术的理论都是不完备的，即存在一个语句，该理论既不能证明它，也不能否证它。哥德尔最初的论证使用了更强的ω一致性假设，以证明该语句的否定也不可证明。(homepage.mi-ras.ru)

证明的核心创新是哥德尔编号，即为符号、公式和证明分配自然数。这样，关于形式表达式的陈述就能表示为算术陈述。通过对角构造，哥德尔构造出一个语句，通俗地说，它断言自身在所考察的理论中不可证明。这种自指通过精确的数学编码实现，而不是依赖非形式化的语义悖论。(nasonline.org)

第二不完备定理

第二不完备定理指出：一个一致的、可有效公理化且包含足够算术的理论，不能证明自身的一致性；这里的一致性由标准算术陈述来表达，即在该理论中不存在对矛盾的证明。可证明性谓词的具体形式，以及该理论对证明进行推理的能力，都是不可缺少的限定条件。(homepage.mi-ras.ru)

这给大卫·希尔伯特提出的希尔伯特纲领造成了根本障碍。该纲领旨在通过有穷的一致性证明为数学奠定可靠基础。如果拟采用的有穷推理本身可以在所要论证的理论内部形式化，那么它就无法确立该理论的一致性。这一定理并不排除使用更强的假设或更强的理论来证明一致性。(virtualmath1.stanford.edu)

完备性与不完备性为何相容

这两项结果涉及“完备”的不同含义。逻辑完备性是指：凡是在公理的所有模型中为真的语句，都可以形式地推导出来。如果一个理论能够判定其语言中的每个语句，那么它就是语法完备的。

一个算术语句可能在自然数的预期结构中为真，却并非在某个特定一阶公理系统的每个模型中都成立。因此，一阶逻辑的完备性与足够强的算术理论的不完备性并不矛盾。(ic.openlogicproject.org)

集合论与可构造宇宙

哥德尔的下一项重大成就涉及选择公理和连续统假设。他引入了可构造宇宙，记作 $L$ 。这是一个通过系统性定义得到的集合类，构成策梅洛—弗兰克尔集合论（ZF）的内模型。在 $L$ 中，选择公理和广义连续统假设都成立。(nasonline.org)

由此得到的相对一致性陈述为：

\operatorname{Con}(\mathrm{ZF}) \quad\Longrightarrow\quad \operatorname{Con}(\mathrm{ZF}+\mathrm{AC}+\mathrm{GCH}).

他于1938年宣布这些结果，并在1940年的专著中加以展开。这些结果表明，如果ZF本身是一致的，那么加入上述原则不会引入矛盾。这既不是对ZF一致性的无条件证明，也不是对这些新增原则可以从ZF推出的证明。(ias.edu)

其他逻辑学贡献

哥德尔还研究了经典逻辑与直觉主义逻辑之间的关系。他的否定翻译在直觉主义算术中解释了经典算术；他对模态逻辑的研究，则将直觉主义推理与包含类似可证明性算子的模态系统联系起来。(plato.stanford.edu)

1958年，他发表了辩证法解释，使用有限类型的可计算泛函来解释直觉主义算术。这为相对一致性研究提供了另一种途径，并影响了此后证明论及数学证明的泛函解释方面的研究。(plato.stanford.edu)

相对论与宇宙学

1949年，哥德尔发表了爱因斯坦场方程的一个精确解，描述了一个均匀旋转的宇宙。由此得到的哥德尔宇宙包含闭合类时曲线：这类曲线是在时空中可能存在的轨迹，沿途始终保持类时性质，却能回到出发时的事件。(journals.aps.org)

这一解表明，广义相对论仅凭其场方程，并不能排除所有形式的全局循环因果结构。它的意义在于揭示了该理论数学框架内的可能性，而不是证明这样的模型能够描述我们观测到的宇宙。(journals.aps.org)

哲学观点与解释的限度

哥德尔支持数学柏拉图主义，认为数学真理是客观的，而不只是人类关于符号的约定所产生的结果。他将数学实在与任何旨在描述它的特定形式系统区分开来，并主张通过分析数学概念来研究新的公理。这些是他的哲学立场，而不是仅凭不完备定理就能确立的结论。(plato.stanford.edu)

不完备定理并不表明数学是不一致的、数学证明是不可靠的，也不表明每个不可判定的陈述都永远无法通过推理解决。这些定理的结论是相对于特定理论而言的：添加公理可以判定先前不可判定的陈述，但如果扩展后的理论仍然一致、可有效公理化且足够强，不完备性就会再次出现。此外，在没有额外假设的情况下，这些定理也不能证明人类思维超越了所有可能的计算机器。(homepage.mi-ras.ru)

参考来源

Kurt Gödel (Stanford Encyclopedia of Philosophy)plato.stanford.edu
Incompleteness and Computability: An Open Introduction to Gödel's Theoremsic.openlogicproject.org
Gödel incompleteness theorems and the limits of their applicability. Ihomepage.mi-ras.ru
Incompleteness: The Proof and Paradox of Kurt Gödelvirtualmath1.stanford.edu
An Example of a New Type of Cosmological Solutions of Einstein's Field Equations of Gravitationjournals.aps.org