研究突破 · 人工校订条目

哥德尔发表不完备定理，划定形式系统的边界

Über formal unentscheidbare Sätze

日期

1931 年

类别

研究突破

机构 / 模型

Kurt Gödel

证据

1 条 · 1 类

哥德尔证明任何足够强的形式系统都存在无法在系统内证明的真命题，也证明系统无法自证一致性。这一结果深刻影响了可计算性理论、逻辑编程，以及关于机器智能极限的长期争论。

校订注记：维基百科年表与条目核对

• 算法
• 科学
• 数学
• 编程