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: Makalah
Makalah Gödel tahun 1931 menetapkan teorema ketaklengkapan pertama.
Terbit: ·Diakses: