Gödels Unvollständigkeitssätze
Epoche: Frühe Theorie · 1930er–1950er
Kurt Gödel veröffentlichte seine Unvollständigkeitssätze und bewies, dass jedes hinreichend mächtige formale System Aussagen enthält, die innerhalb dieses Systems weder bewiesen noch widerlegt werden können. Diese Entdeckung erschütterte nicht nur die mathematische Gemeinschaft, sondern hatte auch tiefgreifende Auswirkungen auf die Berechnungstheorie und die künstliche Intelligenz.
Kurt Gödel (1906–1978)
Quellen und Belege
On Formally Undecidable Propositions of Principia Mathematica and Related Systems
Springer · Quellentyp: paper
Gödel’s 1931 paper establishes the first incompleteness theorem.
Veröffentlicht: ·Abgerufen: