Kurt Gödel

Kurt Gödel revolutionierte die Grundlagen der Mathematik und der formalen Logik. Als Schüler von Hans Hahn stand er dem Wiener Kreis nahe, blieb in seiner Überzeugung jedoch mathematischer Platonist: Mathematische Objekte sind für ihn real, ihre Wahrheit unabhängig von unseren Beweismitteln. Genau diese Unterscheidung – zwischen dem, was wahr ist, und dem, was sich innerhalb eines Systems beweisen lässt – machte er 1931 mathematisch exakt. Seine Unvollständigkeitssätze beendeten Hilberts Traum von einer vollständig formalisierbaren, in sich selbst als widerspruchsfrei beweisbaren Mathematik und damit die logizistische Hoffnung von Frege und Russell, die gesamte Mathematik auf ein einziges widerspruchsfreies System zu reduzieren.

Kernideen

• 1.Wahrheit ≠ Beweisbarkeit: In hinreichend starken Systemen gibt es wahre Sätze, die in ihnen nicht beweisbar sind.
• 2.Gödelisierung: Formeln und Beweise werden durch Zahlen codiert, sodass das System über seine eigene Beweisbarkeit sprechen kann.
• 3.Ende des Logizismus: Die Hoffnung von Frege und Russell, die Mathematik vollständig auf ein einziges widerspruchsfreies System zu gründen, ist unerfüllbar.
• 4.Widerlegung des Hilbert-Programms: Kein hinreichend starkes System kann seine eigene Widerspruchsfreiheit mit eigenen Mitteln beweisen.
• 5.Vorläufer der Berechenbarkeit: Mit Diagonalargumenten und primitiv-rekursiven Funktionen untersuchte er – vor Turing – die Grenzen des Berechenbaren.
• 6.Grundstein der Beweisbarkeitslogik: Beweisbarkeit selbst wird als arithmetische Eigenschaft ausdrückbar – die Basis moderner Provability-Modallogiken.

Bezug zur Technikphilosophie

Gödels Unvollständigkeitssätze von 1931 stehen am Anfang der theoretischen Informatik: Mit der Gödelisierung – der Codierung von Formeln und Beweisen durch Zahlen – und seinen primitiv-rekursiven Funktionen lieferte er die formalen Werkzeuge, aus denen Turing und Church wenige Jahre später den Begriff der Berechenbarkeit und das Modell der universellen Maschine entwickelten. Indem er zeigte, dass kein hinreichend starkes formales System vollständig und zugleich selbst-konsistenzsicher sein kann, markierte er die prinzipiellen Grenzen jeder mechanischen Beweisautomatik und damit jedes Computers. Sein zugeschriebenes Diktum, „entweder ist die Mathematik zu groß für den menschlichen Geist, oder der menschliche Geist ist mehr als eine Maschine“, prägt bis heute die Debatte um die Grenzen der Künstlichen Intelligenz und die Frage, ob menschliches Denken algorithmisch erschöpfbar ist.

Wahrheitsbegriff

Gödels Wahrheitsbegriff trennt Wahrheit scharf von Beweisbarkeit: Seine Unvollständigkeitssätze zeigen, dass es in hinreichend starken formalen Systemen wahre, aber unbeweisbare Sätze gibt – Wahrheit ist also mehr als das, was sich aus Axiomen herleiten lässt. Als mathematischer Platonist hielt er mathematische Objekte für real und ihre Wahrheit für objektiv und vom Geist unabhängig; mathematische Sätze sind wahr, weil sie einen tatsächlichen Sachverhalt in der Welt der Ideen treffen, nicht weil wir sie beweisen können. Wahrheit gründet damit in der mathematischen Wirklichkeit selbst, die wir – ähnlich der sinnlichen Wahrnehmung – durch eine Art mathematischer „Anschauung“ erfassen.

Subjekt & Objekt

Als entschiedener mathematischer Platonist vertrat Gödel eine streng objektivistische Position: Mathematische Objekte und Sachverhalte existieren unabhängig vom denkenden Subjekt, und ihre Wahrheit ist objektiv vorgegeben, nicht vom Geist konstruiert. Das erkennende Subjekt entdeckt diese ideale Welt, ähnlich wie die sinnliche Wahrnehmung Objekte erfasst, durch eine Art mathematischer „Anschauung“ – es erschafft sie nicht. Seine Unvollständigkeitssätze stützen diesen Objektivismus, indem sie zeigen, dass Wahrheit über das hinausreicht, was ein Subjekt innerhalb eines formalen Systems beweisen kann. Zugleich deutete Gödel an, dass der menschliche Geist gerade darum „mehr als eine Maschine“ sein könnte, weil er objektive mathematische Wahrheit zu erfassen vermag, die sich keiner mechanischen Prozedur erschöpfend fügt.

Beitrag zur Wissenschaftstheorie

Gödels Beitrag zur Wissenschaftstheorie liegt in den prinzipiellen Grenzen, die er formalen Systemen aufzeigte: Seine Unvollständigkeitssätze (1931) beweisen, dass jedes hinreichend starke, widerspruchsfreie Axiomensystem unvollständig ist und seine eigene Widerspruchsfreiheit nicht mit eigenen Mitteln sichern kann. Damit beendete er Hilberts Programm einer vollständig formalisierbaren, selbst-konsistenzsicheren Mathematik und die logizistische Hoffnung Freges und Russells, alle Wissenschaft auf ein einziges formales System zu gründen. Die scharfe Trennung von Wahrheit und Beweisbarkeit zeigt, dass keine mechanische Methode den Bereich des wissenschaftlich Wahren erschöpfen kann – ein Grundresultat über die Reichweite und Grenzen jeder axiomatisch-formalen Theoriebildung. Zugleich lieferte er mit der Gödelisierung die formalen Werkzeuge, aus denen die theoretische Informatik und der Begriff der Berechenbarkeit hervorgingen.

Logische Beweise & Argumente

G ↔ ¬Bew_F(⌜G⌝)
Con(F) ⟹ ( F ⊬ G ∧ F ⊬ ¬G )

Con(F) ⟹ F ⊬ Con(F)

⊨ φ  ⟺  ⊢ φ
(Konsistenz ⟺ Erfüllbarkeit)

Hauptwerke

• Die Vollständigkeit der Axiome des logischen Funktionenkalküls(1930)

  Gödels Dissertation: Beweis des Vollständigkeitssatzes der Prädikatenlogik erster Stufe.

• Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme(1931)

  Die berühmte Arbeit mit den beiden Unvollständigkeitssätzen – ein Wendepunkt der Logikgeschichte.

• The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis(1940)

  Beweis der relativen Widerspruchsfreiheit von Auswahlaxiom und Kontinuumshypothese mit der Mengenklasse L.

Zitate

Aus dem Leben

Verwandte Denker