ゲーデルの不完全性定理
時代：初期理論 · 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.
公開日： ·確認日：