Kurt Gödel

Es gibt Sätze, die ein ganzes Zeitalter beenden, und Kurt Gödel hat einen davon mit fünfundzwanzig Jahren bewiesen. Die Mathematik, das sollte ihr Stolz sein, war der eine Ort, an dem man sich ganz sicher sein durfte: Was sich beweisen ließ, war wahr, und alles Wahre, so der Traum, ließe sich am Ende auch beweisen. David Hilbert hatte daraus ein Programm gemacht, einen lückenlosen Bau, der seine eigene Festigkeit von innen verbürgen sollte. Gödel betrat diesen Bau wie jemand, der die Tragwerke zu genau kennt – und zeigte 1931, dass es in jedem hinreichend starken System einen Satz gibt, der wahr ist und sich doch nicht beweisen lässt. Nicht weil man noch nicht klug genug wäre, sondern grundsätzlich, für immer. Das Verfahren ist von einer fast hinterlistigen Eleganz: Er ließ die Mathematik über sich selbst sprechen, indem er Formeln und Beweise in Zahlen übersetzte, und baute aus diesem Selbstbezug einen Satz, der von sich behauptet, unbeweisbar zu sein. Beweist man ihn, lügt er; lässt man ihn stehen, hat er recht. So fielen Wahrheit und Beweisbarkeit auseinander, und mit ihnen Hilberts Hoffnung auf eine Mathematik, die ihre eigene Widerspruchsfreiheit garantiert, und die ältere logizistische Hoffnung Freges und Russells, das ganze Gebäude auf ein einziges sicheres Fundament zu stellen. Das Eigentümliche ist, dass Gödel diese Grenze nicht als Verlust empfand. Er war zeitlebens Platoniker, überzeugt, dass mathematische Wahrheiten unabhängig von uns bestehen, dass wir sie nicht erfinden, sondern erblicken. Gerade deshalb durfte für ihn die Wahrheit größer sein als jeder Beweis – und der menschliche Geist vielleicht mehr als die Maschine, die ihn nachrechnen will.

θ · 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.

Die Hauptkritik

θ · 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.

  bei genialokal.de ansehen ↗

• Ü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.

  bei genialokal.de ansehen ↗

• 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.

  bei genialokal.de ansehen ↗

θ · Zitate

θ · Aus dem Leben

θ · Verwandte Denker

θ · Kurt Gödel vertiefen