Dogma & Kritik
Gödels Unvollständigkeit
Kann die Mathematik sich selbst vollständig begründen?
Die Mathematik gilt als der Inbegriff sicheren Wissens – ein Gebäude, in dem jeder Satz aus Axiomen lückenlos folgt. Doch je strenger man fragt, desto schwindelerregender wird der Boden: Kann ein formales System mit seinen eigenen Mitteln beweisen, dass es widerspruchsfrei ist und jede in ihm formulierbare Wahrheit auch erreicht? Die Falle liegt in der Selbstbezüglichkeit – ein System, das stark genug ist, die Arithmetik zu fassen, ist zugleich stark genug, über sich selbst zu sprechen, und genau diese Kraft wendet sich gegen es. Gödel zeigte 1931, dass jedes hinreichend reiche, widerspruchsfreie und effektiv axiomatisierbare System unvollständig ist und seine eigene Konsistenz nicht mit eigenen Mitteln beweisen kann: Wahrheit reicht weiter als Beweisbarkeit, und kein solches System kann sich am eigenen Schopf aus dem Sumpf der Begründung ziehen.
Die maßgeblichen Positionen
Logizismus
Gottlob Frege →Die Mathematik ist nichts als verkleidete Logik – ihre Wahrheiten folgen allein aus rein logischen Grundgesetzen.
Frege wollte die Arithmetik vollständig auf reine Logik zurückführen und ihr so eine von aller Anschauung freie, absolute Begründung geben. Russells Paradox erschütterte das Fundament der „Grundgesetze“ noch im Erscheinen; und auch der spätere Versuch von Russell und Whitehead, den Logizismus in den „Principia Mathematica“ zu retten, gelang nur um den Preis fragwürdiger Zusatzaxiome.
Formalismus / Hilbertprogramm
David Hilbert →Die Mathematik ist ein Spiel mit Zeichen, dessen Widerspruchsfreiheit mit endlichen, anschaulich sicheren Mitteln bewiesen werden muss.
Hilbert wollte die gesamte Mathematik formalisieren und ihre Konsistenz durch eine „finite“ Metamathematik absichern, um Cantors Paradies vor jeder Skepsis zu schützen. Gödels zweiter Unvollständigkeitssatz traf das Programm ins Herz: Ein hinreichend starkes System kann seine eigene Widerspruchsfreiheit gerade nicht mit seinen eigenen Mitteln beweisen.
Die Unvollständigkeitssätze
Kurt Gödel →In jedem hinreichend starken, widerspruchsfreien System gibt es wahre, aber unbeweisbare Sätze; und kein solches System kann seine eigene Widerspruchsfreiheit beweisen.
Gödel konstruierte mittels Arithmetisierung einen Satz, der von sich selbst behauptet, unbeweisbar zu sein, und zeigte so die Grenze jeder formalen Selbstbegründung. Der zweite Satz zieht daraus die Konsequenz für die Konsistenz: Sie entzieht sich dem Beweis mit den eigenen Mitteln des Systems. Sein Resultat ist kein Skeptizismus, sondern ein exakter Beweis – es widerlegt nicht die Mathematik, sondern den Traum, sie könne aus sich selbst restlos gerechtfertigt werden.
Logischer Empirismus
Rudolf Carnap →Mathematische Sätze sind analytisch wahr durch Konvention – Begründung heißt Wahl einer Sprachform, nicht Entdeckung absoluter Wahrheit.
Carnap deutete die Krise um, indem er mathematische Wahrheit als Folge frei gewählter syntaktischer Regeln verstand und nach dem „Toleranzprinzip“ jedem seine Logik zugestand. Quines Kritik an der Trennung von analytisch und synthetisch zeigte jedoch, dass auch die Konvention keinen letzten, unhintergehbaren Grund liefert.
Warum es offen bleibt
Gödels Sätze sind mathematisch unbestritten – strittig bleibt, was sie philosophisch bedeuten: ob sie die Grenze der Maschine, des Geistes oder nur eines bestimmten Begriffs von Begründung markieren. Konsistenz lässt sich weiterhin beweisen, aber nur in einem stärkeren System, das seinerseits derselben Unsicherheit unterliegt, sodass die Letztbegründung immer um eine Stufe nach oben verschoben wird. Ob diese Unabschließbarkeit ein Mangel oder gerade der Reichtum lebendiger Mathematik ist, trennt Platonisten, Formalisten und Konstruktivisten bis heute.
Denker, die an dieser Frage rangen
Lust, selbst zu streiten? Diskutier die Frage im Live-Gespräch mit einem der Denker.