哥德尔不完备定理
时代：早期理论 · 1930年代—1950年代
库尔特·哥德尔发表了他的不完备定理，证明了任何足够强大的形式系统都存在无法在该系统内部证明或否定的命题。这一发现不仅震动了数学界，也对后来的计算理论和人工智能产生了深远影响。它表明即使是数学这样的精确系统，也有其固有的局限性。
库尔特·哥德尔 (1906—1978)
来源与支持内容
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Springer · 来源类型：paper
Gödel’s 1931 paper establishes the first incompleteness theorem.
发布日期： ·访问日期：