Hilbertprogramm

Das Hilbertprogramm ist ein Forschungsprogramm, das der Mathematiker David Hilbert in den 1920er 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.

Copyright- und Lizenzinformationen: Diese Seite basiert auf dem Artikel Hilbertprogramm aus der freien Enzyklοpädιe Wιkιpedιa und steht unter der Lizenz Creative Commons CC-BY-SA 3.0 Unported (Kurzfassung). Liste der Autoren

Anbieterkennzeichnung