David Hilbert (1862 – 1943)
Der Mathematiker und Logiker David Hilbert wirkte in Königsberg und in Göttingen. Er lieferte grundlegende Resultate auf zahlreichen Gebieten der Mathematik.Insbesondere gaben die von ihm auf dem internationalen Mathematikerkongreß des Jahres 1900 in Paris formulierten 23 mathematischen Probleme wesentliche Impulse für die Mathematik in der ersten Hälfte des 20. Jahrhunderts.
Große Bedeutung für die moderne Auffassung von der Axiomatik hatte sein Werk Grundlagen der Geometrie, das den Schlusspunkt unter eine bei Eukleides von Alexandreia beginnende Entwicklung setzte.
In dem an die Entdeckung der mengentheoretischen Antinomien einsetzenden Auseinandersetzungen mit den Grundlagen der Mathematik setzt Hilbert sich für die Cantorschen Ideen ein. Er sieht die Lösung in einer formalistischen Begründung der Mathematik unter Einschluß der Logik.
Die Frage nach einem umfassenden Axiomensystem für die Zahlentheorie, die Analysis und die Cantorsche Mengenlehre führte ihn zu grundlegenden Untersuchungen zur Logik und zu den Grundlagen der Mathematik.
Sein ursprünglisches Programm einer finiten Begründung der klassischen Mathematik musste er nach den Ergebnissen von Gödel aufgeben.
Online-Texte
Weblinks