Repository | Book | Chapter
(2013) An den Grenzen des Endlichen, Dordrecht, Springer.
Das Hilbertprogramm (auch "Hilbertsche Programm", "Hilbert-Programm", "Hilberts Programm"; im Englischen "Hilbert's Program" oder "Hilbert's Programme"; im Folgenden kurz: "HP") ist ein Forschungsprogramm für eine neue mathematische Disziplin, die Beweistheorie, wie sie von David Hilbert Anfang des 20. Jahrhunderts entworfen wurde. Die ersten Ansätze stammen aus den ersten Jahren des 20. Jahrhunderts, die eigentliche Konzeption des Programms, die Formulierung der Ziele und die Entwicklung der ersten Methoden aber aus den 1920er Jahren. 1917/18 hatte Hilbert gemeinsam mit Paul Bernays die Arbeit an seinen früheren Ideen wieder aufgenommen.
Publication details
DOI: 10.1007/978-3-642-29654-3_2
Full citation:
Tapp, C. (2013). Das Hilbertprogramm und seine Ziele, in An den Grenzen des Endlichen, Dordrecht, Springer, pp. 33-37.
This document is unfortunately not available for download at the moment.