哥德尔不完备定理如何运作
How Gödel's Proof Works
1931年，Kurt Gödel 用不完备定理粉碎了数学家构建完美数学体系的梦想。他证明了任何公理系统必然存在无法证明的真命题，且系统无法自证一致性。文章通过 Gödel Numbering 将数学陈述映射为数字，利用素数分解的唯一性，让系统能“谈论”自身。通过巧妙的自指构造，Gödel 创造了一个既为真又无法在系统内证明的命题 G。这意味着数学真理永远超出可证明的范围，没有所谓的“万物理论”。从连续统假设到停机问题，甚至物理学中的未解之谜，都印证了这种不完备性。
任何你试图作为数学基础的公理集合，都不可避免地是不完备的；总会存在关于数字的真实事实，无法通过这些公理来证明。
HN 评论区
59- MathMonkeyMan
Ernest Nagel 和 James R. Newman 合著的《哥德尔证明》（Gödel's Proof）曾帮助我在某个时刻弄懂了它。
在 Amazon 上：<https://www.amazon.com/Godels-Proof-Ernest-Nagel-ebook/dp/B0...>
如果能在别处找到电子书版本，我甚至可能会再买一本。毕竟已经有一阵子没看了。
- gregfjohnson
Show HN: 我最近做了一场关于不完备定理的演讲，特意用软件的语言来表述。演讲开头简要回顾了历史背景，并讨论了哥德尔开展工作时所处的部分哲学语境。演讲的后半部分，我尝试向具备技术背景的普通受众展示哥德尔思想核心的那个美妙本质。这些是演讲的幻灯片，并未转成网页；效果因人而异（YMMV）。
- gavinsyancey
如果你对这方面感兴趣，我强烈推荐阅读《哥德尔、艾舍尔、巴赫：集异璧之大成》（Gödel, Escher, Bach: an Eternal Golden Braid）。
- matherial
> 然而，尽管 G 是不可判定的，但它显然为真。
这……其实并不正确；真没想到会在 Quanta 这种地方看到这种说法。
哥德尔（另一个独立的）完备性定理指出，在一阶逻辑中，任何在所有可能情境下语义为真的命题，都可以通过语法证明。因此，如果 G 是“显然为真”的，那它理应是可以被证明的。
这两个定理并不矛盾，因为在一阶逻辑中，G 并不保证为真。它的真值独立于哥德尔所构建的机制之外。
这确实不是入门读物必须深入探讨的内容，但这实际上让整个结论更容易理解，并引出了更多反直觉的结果，例如斯科伦悖论（Skolem's paradox）。
- the-mitr
或许会有兴趣
《哥德尔不完备定理》（小数学图书馆系列）
作者：V. A. Uspensky