跨书共振 · CROSS-BOOK RESONANCE
对角线论证的统一模式
哥德尔不完备性、康托尔不可数性、图灵停机问题、罗素悖论——这些看似不同的发现,底层共享同一个"对角线"结构:一个系统构造出一个指向自身的对象("所有不属于自己的集合"、"本命题不可证明"、"这台机器不自停"),由此产生不可调和的矛盾或限制。这个统一模式暗示:**自指+否定=极限** 是数学和逻辑中最深刻的结构。
来自这本书的解读报告
《哥德尔证明》
这本书回答了“形式系统能否既完备又自洽”的问题,答案是:不能。
阅读完整解读报告 →