Hilbert-Programm

Hilbert-Programm

Das Hilbertprogramm ist ein Forschungsprogramm, das der Mathematiker David Hilbert in den 20er Jahren vorschlug. Es zielt darauf ab, mit finiten Methoden die Widerspruchsfreiheit der Axiomensysteme der Mathematik nachzuweisen. Auch wenn sich das Hilbertprogramm in seinem ursprünglichem Anspruch als undurchführbar erwiesen hat, trug es dennoch entscheidend dazu bei, die Grundlagen und Grenzen mathematischer Erkenntnis zu klären.

Inhaltsverzeichnis

Hintergrund

Bereits Hilberts Liste von 23 mathematischen Problemen aus dem Jahr 1900 nennt die Widerspruchsfreiheit der Arithmetik als zweites ungelöstes Problem und regte zur Forschung in diese Richtung an. Das eigentliche Hilbertprogramm mit konkreten Methoden zur Lösung der Widerspruchsproblematik formulierte er aber erst in den Jahren 1918-1922. Hilbert reagierte damit auf die Antinomien der naiven Mengenlehre und wollte versuchen, die gesamte „klassische“ Mathematik und Logik zu bewahren, ohne dabei auf Cantors Mengenlehre zu verzichten.

Aus dem Paradies, das Cantor uns geschaffen, soll uns niemand vertreiben können.

David Hilbert: Über das Unendliche, Mathematische Annalen 95 (1926), S. 170

Hilberts Programm ist zugleich eine Verteidigung des klassischen Standpunkts gegen den Intuitionismus, der einige klassische Beweismethoden wie indirekte Beweise (reductio ad absurdum) oder den Satz vom ausgeschlossenen Dritten (tertium non datur) als fragwürdig betrachtete.

Dieses Tertium non datur dem Mathematiker zu nehmen, wäre etwa, wie wenn man dem Astronomen das Fernrohr oder dem Boxer den Gebrauch der Fäuste untersagen wollte.

David Hilbert: Die Grundlagen der Mathematik, Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universität, VI. Band (1928), S. 80

Hilbert wollte daher die Mathematik als formales System neu definieren. Innerhalb dieses Systems sollten die üblichen Beweismethoden zulässig sein. Es sollte dadurch abgesichert werden, dass außerhalb des formalen Systems, im Bereich der Metamathematik, die Widerspruchsfreiheit der formal ableitbaren Sätze nachgewiesen wird; den äußeren, metalogischen Bereich schränkte er auf finite Beweismittel ein, die auch die Intuitionisten anerkannten und über jeden Verdacht, Antinomien zu erzeugen, erhaben waren. Das Ziel des Programms war es also, einen streng formalisierten Kalkül bzw. ein Axiomensystem mit einfachen unmittelbar einleuchtenden Axiomen zu finden, das die Mathematik und Logik auf eine gemeinsame, nachweisbar konsistente Basis stellt. Insbesondere sollte der Kalkül mächtig genug sein, um für jeden mathematischen Satz beweisen zu können, ob er wahr oder falsch ist, und alle wahren Sätze sollten aus dem Axiomensystem ableitbar sein. Dieses musste also widerspruchsfrei und vollständig sein.

Das Hilbertprogramm fand breite Beachtung. Viele bekannte Logiker und Mathematiker beteiligten sich daran, unter anderem Paul Bernays, Wilhelm Ackermann, John von Neumann, Jacques Herbrand und Kurt Gödel. Sie zeigten die Widerspruchsfreiheit und Vollständigkeit für zentrale Teilgebiete der Logik, nämlich für die klassische Aussagen- und Prädikatenlogik. Meistens bezogen sich diese Logiker auf Teil-Axiomensysteme aus den Principia Mathematica von Russell/Whitehead, dem damaligen Standardwerk der Logik.

Bezogen auf die gesamten Principia Mathematica und auf die ganze Mathematik schlug Hilberts Programm allerdings fehl: Kurt Gödel bewies nämlich 1931 in seinen Unvollständigkeitssätzen, dass es in den Principia Mathematica und verwandten Systemen, zu denen auch Cantors Mengenlehre gehört, immer Sätze gibt, die mit den Mitteln desselben Systems weder beweisbar noch widerlegbar sind (Alan Turing kam beim eng verwandten Halteproblem von Automaten auf ein ähnliches Ergebnis), und dass solche Systeme ihre eigene Widerspruchsfreiheit nicht beweisen können.

Das Hilbertprogramm war, auch wenn es sich nicht im vollen, ursprünglich intendierten Umfang als durchführbar erwies, ein Erfolg für Mathematik und Logik, da es zu tieferen Erkenntnissen darüber führte, wie formale Systeme funktionieren, was sie zu leisten vermögen und wo ihre Grenzen liegen. Wichtige Gebiete der modernen Mathematik und Informatik sind aus dem Hilbertprogramm und seiner Metamathematik hervorgegangen, insbesondere die moderne formalisierte axiomatische Mengenlehre, die Beweistheorie, die Modelltheorie und die Berechenbarkeitstheorie. Es zeigte sich auch, dass das modifizierte Hilbertprogramm mit erweiterten (transfiniten) Beweismitteln Widerspruchsfreiheitsbeweise für weitere Mathematik-Gebiete ermöglichte. Das führte Gerhard Gentzen mit seinem Widerspruchsfreiheitsbeweis der Arithmetik von 1936 vor. Von seinem Beweis ausgehend zeigte Wilhelm Ackermann 1937 die Widerspruchsfreiheit der allgemeinen Mengenlehre mit endlichen (!) Mengen und 1951 Paul Lorenzen die der verzweigten Typentheorie und der klassischen Analysis.

Siehe auch

Literatur

  • Max Urchs: Klassische Logik: eine Einführung, Berlin (1993). - ISBN 3-05-002228-0. (dort im Kapitel: Theorien erster Ordnung, S. 137 - 149)
  • Erhard Scholz: Die Gödelschen Unvollständigkeitssätze und das Hilbertsche Programm einer „finiten“ Beweistheorie. In: Wolfgang Achtner: Künstliche Intelligenz und menschliche Person, Marburg 2006, S. 15-38 (pdf-file)

Weblinks


Wikimedia Foundation.

Игры ⚽ Нужно решить контрольную?

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Hilbert-Programm — Hịlbert Programm,   von D. Hilbert entwickeltes Programm der mathematischen Grundlagenforschung (Formalismus) …   Universal-Lexikon

  • Hilbert: Lebensweg und Werk eines Mathematikers —   Wir schreiben Freitag, den 25. September 1891. In einem Berliner Wartesaal diskutieren einige Wissenschaftler über ihre Erlebnisse und Erfahrungen der vergangenen Woche. Sie hatten in Halle an der 64. Tagung der Gesellschaft Deutscher… …   Universal-Lexikon

  • Hilbert — Hịlbert,   1) David, Mathematiker, * Königsberg (heute Kaliningrad) 23. 1. 1862, ✝ Göttingen 14. 2. 1943; ab 1892 Professor in Königsberg, 1895 1930 in Göttingen. Hilbert gilt als einer der bedeutendsten Mathematiker überhaupt und hatte großen… …   Universal-Lexikon

  • Hilberts Programm — Das Hilbertprogramm ist ein Forschungsprogramm, das der Mathematiker David Hilbert in den 20er Jahren vorschlug. Es zielt darauf ab, mit finiten Methoden die Widerspruchsfreiheit der Axiomensysteme der Mathematik nachzuweisen. Auch wenn sich das… …   Deutsch Wikipedia

  • Metamathematik — ist die mathematische Betrachtung der Grundlagen der Mathematik. Im Jahre 1920 stellte der Mathematiker David Hilbert die Forderung auf, die Mathematik auf die Grundlage eines vollständigen und widerspruchsfreien Axiomensystems zu stellen. Dieses …   Deutsch Wikipedia

  • Formalismus — For|ma|lịs|mus 〈m.; ; unz.〉 1. Überbetonung der Form, des Formalen, der Äußerlichkeiten 2. Betrachtungsweise, für die die Mathematik nur aus formalen Strukturen besteht, also gewissermaßen ein Spiel mit Symbolen ist * * * For|ma|lịs|mus, der; …   Universal-Lexikon

  • Godel — Go|del 〈f. 21; oberdt.〉 = Gödel * * * Gödel,   Kurt, österreichischer Mathematiker und Logiker, * Brünn 28. 4. 1906, ✝ Princeton (N. J.) 14. 1. 1978; Studium der Mathematik und Physik in Wien, 1933 38 dort Privatdozent, seit 1938 am Institute for …   Universal-Lexikon

  • Gödel — Gö|del 〈f. 21; oberdt.〉 = Pate, Patin; oV Godel [Verkleinerungsform zu Gote1] * * * Gödel,   Kurt, österreichischer Mathematiker und Logiker, * Brünn 28. 4. 1906, ✝ Princeton (N. J.) 14. 1. 1978; Studium der Mathematik und Physik in Wien, 1933 38 …   Universal-Lexikon

  • Gentzen — Gẹntzen,   Gerhard Karl Erich, Mathematiker und Logiker, * Greifswald 24. 11. 1909, ✝ Prag 4. 8. 1945; ab 1943 Dozent in Prag, wo er in der Internierung starb. Gentzen entwickelte in seiner Dissertation den »Kalkül des natürlichen Schließens«,… …   Universal-Lexikon

  • mathematische Logik — mathematische Logik,   im weiteren Sinn die formale Logik, wobei unterstellt wird, dass formales Operieren immer mathematischer Natur sei; im engeren Sinn diejenigen Teilgebiete der formalen Logik, die sich mit für die Mathematik methodologisch… …   Universal-Lexikon

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”