David Hilbert

David Hilbert prägte die Mathematik und Logik an der Wende zum 20. Jahrhundert wie kaum ein anderer. Als Antwort auf die Grundlagenkrise – ausgelöst unter anderem durch die Russellsche Antinomie – formulierte er das Hilbert-Programm: Die gesamte Mathematik sollte vollständig axiomatisiert und ihre Widerspruchsfreiheit mit rein finiten Mitteln bewiesen werden. Dafür entwickelte er die formale Beweistheorie und die Metamathematik. Sein methodischer Ansatz, formale Systeme als uninterpretierte Strukturen zu untersuchen, prägt die mathematische Logik bis heute – auch wenn Gödels Unvollständigkeitssätze seine ursprüngliche Hoffnung zerstörten. Über die Logik hinaus trug er mit der Einstein-Hilbert-Wirkung zur allgemeinen Relativitätstheorie bei.

Kernideen

• 1.Hilbert-Programm: vollständige Axiomatisierung der Mathematik und ein finiter Beweis ihrer Widerspruchsfreiheit.
• 2.Reaktion auf die Grundlagenkrise: Antwort auf die Antinomien der naiven Mengenlehre.
• 3.Finitismus: Sicherung der „transfiniten“ Mathematik durch elementare, anschaulich gewisse Mittel.
• 4.Formalismus: Mathematik als regelgeleitetes Operieren mit uninterpretierten Symbolen.
• 5.Metamathematik: formale Beweise selbst werden zum Gegenstand mathematischer Untersuchung.
• 6.Konsistenz durch Modell (Grundlagen der Geometrie) – eine Vorwegnahme der Modelltheorie.
• 7.Hilbert-Kalkül: axiomatische Systeme als Grundlage des logischen Schließens.

Bezug zur Technikphilosophie

Hilberts Forderung nach einem rein mechanischen, regelgeleiteten Operieren mit uninterpretierten Symbolen verwandelt das Beweisen in ein berechenbares Verfahren und macht ihn zu einem Urvater der theoretischen Informatik. Sein „Entscheidungsproblem“ – die Frage nach einem allgemeinen Verfahren, das für jede Formel ihre Beweisbarkeit entscheidet – zwang Turing und Church 1936 dazu, den Begriff der „mechanischen Berechenbarkeit“ überhaupt erst präzise zu definieren; aus dieser negativen Antwort ging die Turing-Maschine und damit das mathematische Modell des Computers hervor. Indem Hilbert die Metamathematik als finites Symbolspiel fasste, lieferte er den philosophischen Boden, auf dem Maschine, Algorithmus und Berechenbarkeit als Grenzbegriffe der Technik denkbar wurden – einschließlich der prinzipiellen Schranken (Gödel, Halteproblem), an die jede heutige Künstliche Intelligenz stößt.

Wahrheitsbegriff

Hilberts Formalismus löst mathematische Wahrheit von jeder inhaltlichen Bedeutung ab: Ein Satz ist „wahr“, sofern er sich nach festgelegten Regeln aus den Axiomen eines formalen Systems ableiten lässt – Wahrheit fällt damit mit beweisbarer Widerspruchsfreiheit zusammen. Sein berühmtes Diktum „Wenn sich die willkürlich gesetzten Axiome nicht einander widersprechen, so existieren die definierten Dinge“ macht Konsistenz zum eigentlichen Kriterium von Existenz und Geltung. Diese rein syntaktische Auffassung kontrastiert scharf mit Freges inhaltlicher und mit jeder korrespondenztheoretischen Wahrheit; Gödel zeigte zugleich, dass Beweisbarkeit und Wahrheit in hinreichend starken Systemen notwendig auseinanderfallen.

Subjekt & Objekt

Hilberts Formalismus entkoppelt mathematische Objektivität von jedem erkennenden Subjekt: Die Geltung eines Satzes hängt nicht an Anschauung, Intuition oder psychischem Vollzug, sondern allein an der widerspruchsfreien Ableitbarkeit aus Axiomen – das mathematische „Objekt“ ist als uninterpretierte Symbolstruktur rein durch Regeln bestimmt. Damit wendet er sich gegen jeden Psychologismus und gegen die intuitionistische Bindung der Mathematik an die konstruierende Subjekttätigkeit (Brouwer). Zugleich verschiebt seine Metamathematik die Grenze, indem das formale System selbst zum untersuchten Objekt wird, während das finit operierende Subjekt nur noch anschaulich gewisse Zeichenoperationen vollzieht. Subjektivität bleibt so auf das regelgeleitete Hantieren mit Symbolen reduziert, ohne den objektiven Gehalt der formalen Strukturen zu begründen.

Beitrag zur Wissenschaftstheorie

Hilbert gilt als der maßgebliche Vertreter der axiomatischen Methode: Eine Theorie wird durch ein widerspruchsfreies, unabhängiges und vollständiges System von Axiomen begründet, deren Grundbegriffe rein implizit durch ihre wechselseitigen Beziehungen definiert sind. In den „Grundlagen der Geometrie“ (1899) führte er den relativen Konsistenzbeweis ein und sicherte die Widerspruchsfreiheit einer Theorie über ein Modell in einer anderen – ein Vorläufer der modernen Modelltheorie. Mit Metamathematik und Beweistheorie machte er die formalen Systeme der Wissenschaft selbst zum exakten Gegenstand der Untersuchung. Sein „Entscheidungsproblem“ zwang zur Präzisierung des Berechenbarkeitsbegriffs (Turing, Church), während Gödels Unvollständigkeitssätze die prinzipiellen Grenzen seines Programms aufzeigten.

Logische Beweise & Argumente

Ziel:  Finiter Beweis von  Kons(F) ≡ ¬⊢_F (0 = 1)

Kons(Geometrie)  ⟸  Kons(Arithmetik)

Hauptwerke

• Grundlagen der Geometrie(1899)

  Strenge Axiomatisierung der euklidischen Geometrie; Konsistenzbeweis über ein arithmetisches Modell.

• Mathematische Probleme(1900)

  Die berühmten 23 Probleme (Pariser Vortrag) – das zweite fordert den Konsistenzbeweis der Arithmetik.

• Über das Unendliche(1925)

  Programmatische Darstellung des Finitismus und des Umgangs mit dem Unendlichen.

• Grundlagen der Mathematik (mit Paul Bernays)(1934 / 1939)

  Systematische Ausarbeitung der Beweistheorie nach Gödels Resultaten.

Zitate

Aus dem Leben

Verwandte Denker