ทฤษฎีความไม่สมบูรณ์ของ Gödel
ยุค: ยุคทฤษฎีเบื้องต้น · ทศวรรษ 1930–ทศวรรษ 1950
Kurt Gödel ได้ตีพิมพ์ทฤษฎีความไม่สมบูรณ์ของเขา ซึ่งพิสูจน์ว่าระบบรูปนัยที่มีพลังเพียงพอจะมีส่วนที่กล่าวไม่ได้ว่าจริงหรือเท็จภายในระบบนั้น การค้นพบนี้ไม่เพียงสร้างความตกตะลึงให้กับวงการคณิตศาสตร์เท่านั้น แต่ยังมีนัยสำคัญต่อทฤษฎีการคำนวณและปัญญาประดิษฐ์อีกด้วย
Kurt Gödel (1906–1978)
แหล่งที่มาและหลักฐาน
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Springer · ประเภทแหล่งที่มา: paper
Gödel’s 1931 paper establishes the first incompleteness theorem.
เผยแพร่: ·เข้าถึง: