Teorema Ketaklengkapan Gödel
Era: Teori Awal · 1930-an–1950-an
Kurt Gödel menerbitkan teorema ketaklengkapannya, yang membuktikan bahwa setiap sistem formal yang cukup kuat memuat proposisi yang tak dapat dibuktikan maupun dibantah di dalam sistem itu sendiri. Penemuan ini tidak hanya mengguncang dunia matematika, tetapi juga berimplikasi mendalam bagi teori komputasi dan kecerdasan buatan.
Kurt Gödel (1906–1978)
Sumber dan bukti
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Springer · Jenis sumber: paper
Gödel’s 1931 paper establishes the first incompleteness theorem.
Terbit: ·Diakses: