库尔特·哥德尔

核心成果

• 证明两条不完备定理：任何包含算术的一致形式系统都存在不能证明的真命题，且无法证明自身的一致性——终结了希尔伯特纲领。
• 证明连续统假设（CH）与选择公理（AC）相对于 ZF 公理的一致性（构造可构成集类 L），为公理集合论开辟新方向。
• 发现爱因斯坦场方程的哥德尔度规（允许闭合类时曲线，即「时间旅行」解）。
• 其不完备性思想对计算机科学、人工智能与哲学有深远影响。

代表著作 / 文献

• 《论〈数学原理〉及有关系统中的形式不可判定命题》
• 《连续统假设的一致性》

历史影响

20 世纪最伟大的逻辑学家，其定理揭示了形式系统的根本局限，改变了数学、逻辑与哲学的面貌。

相关人物 / 主题

希尔伯特、罗素、图灵、冯·诺依曼