Erster Unvollständigkeitssatz
Jedes widerspruchsfreie formale System F, das mächtig genug ist, um die grundlegende Arithmetik auszudrücken, enthält Aussagen, die wahr, aber innerhalb von F nicht beweisbar sind. Der Beweis erfolgt durch Selbstreferenz: Gödel konstruierte eine Aussage G, die behauptet: „Diese Aussage ist in F nicht beweisbar.“ Wenn F G beweist, ist F widersprüchlich. Wenn F G nicht beweisen kann, dann ist G wahr (da es besagt, dass es nicht beweisbar ist), aber eben nicht beweisbar. In jedem Fall ist F unvollständig oder widersprüchlich.
Zweiter Unvollständigkeitssatz
Kein widerspruchsfreies formales System, das mächtig genug ist, um die grundlegende Arithmetik auszudrücken, kann seine eigene Widerspruchsfreiheit beweisen. Man kann ein System nicht dazu verwenden, um zu beweisen, dass das System niemals einen Widerspruch erzeugen wird. Dies ist das tiefgreifendere Ergebnis – es bedeutet, dass Hilberts Programm, die Widerspruchsfreiheit der Mathematik mit mathematischen Mitteln zu beweisen, unmöglich ist.
Was Gödel nicht beweist
Die Unvollständigkeitssätze bedeuten nicht, dass die Mathematik unzuverlässig ist oder dass „alles erlaubt“ sei. Sie gelten für formale Systeme (axiomatische Systeme mit mechanischen Beweisregeln), nicht für mathematische Intuition im Allgemeinen. Sie bedeuten nicht, dass jede mathematische Frage unentscheidbar ist – nur, dass kein endliches Axiomensystem alle Fragen entscheiden kann. Gödel selbst war Platoniker: Er glaubte, dass mathematische Wahrheiten objektiv real und der mathematischen Intuition zugänglich sind, selbst wenn sie über formale Beweise hinausgehen.
Zwanzig Fragen, acht Minuten auf der Uhr und ein Perzentil, gemessen an allen bisherigen Teilnehmern. Ohne Anmeldung.
IQ-Test starten →Implikationen jenseits der Mathematik
Gödels Sätze wurden oft (und häufig überinterpretiert) als Hinweise auf Implikationen für die künstliche Intelligenz, die Grenzen menschlichen Wissens und die Natur des Bewusstseins (Penroses Argument) gedeutet. Die vertretbarste Interpretation: Jede hinreichend leistungsfähige KI, die auf einem formalen System basiert, wird blinde Flecken haben – mathematische Wahrheiten, die sie nicht beweisen kann. Ob die menschliche mathematische Intuition dieser Einschränkung entgeht, ist heftig umstritten.
Häufig gestellte Fragen
Was sagen Gödels Unvollständigkeitssätze aus?
Der erste Satz: Jedes widerspruchsfreie formale System, das mächtig genug für die Arithmetik ist, enthält wahre Aussagen, die es nicht beweisen kann. Der zweite Satz: Kein solches System kann seine eigene Widerspruchsfreiheit beweisen. Zusammen zeigen sie, dass die Mathematik nicht vollständig axiomatisiert werden kann – es wird immer mathematische Wahrheiten außerhalb jedes festen Beweissystems geben.
Beweisen Gödels Sätze, dass KI niemals die menschliche Intelligenz erreichen kann?
Roger Penrose argumentiert mit Ja – wäre der menschliche Geist ein formales System, würde Gödel gelten; da Mathematiker jedoch Wahrheiten jenseits formaler Beweise erkennen können, muss der Geist etwas mehr sein. Kritiker (darunter die meisten KI-Forscher) argumentieren, dies sei eine Fehlinterpretation der Sätze: Gödel gilt für feste formale Systeme, und ein lernendes System oder eines, das seine Axiome ändert, ist etwas anderes.
Geht es in Gödels Sätzen um die Grenzen des menschlichen Wissens?
Sie beziehen sich spezifisch auf formale axiomatische Systeme, nicht auf menschliches Wissen im Allgemeinen. Gödel glaubte, dass Menschen eine mathematische Intuition besitzen, die jedes bestimmte formale System transzendiert – er war Platoniker. Die Sätze zeigen zwar, dass kein mechanisches Beweisverfahren die gesamte Mathematik erfassen kann, aber ob das menschliche mathematische Verständnis mechanische Verfahren übersteigt, ist eine eigenständige philosophische Frage.