哥德爾不完備定理
時代：早期理論 · 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.
發布日期： ·存取日期：