
Publication details
Publisher: Springer
Place: Berlin
Year: 2013
Pages: 33-37
Series: Mathematik im Kontext
ISBN (Hardback): 9783642296536
Full citation:
, "Das Hilbertprogramm und seine Ziele", in: An den Grenzen des Endlichen, Berlin, Springer, 2013


Das Hilbertprogramm und seine Ziele
pp. 33-37
in: , An den Grenzen des Endlichen, Berlin, Springer, 2013Abstract
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
Publisher: Springer
Place: Berlin
Year: 2013
Pages: 33-37
Series: Mathematik im Kontext
ISBN (Hardback): 9783642296536
Full citation:
, "Das Hilbertprogramm und seine Ziele", in: An den Grenzen des Endlichen, Berlin, Springer, 2013