Abstract
We consider Hilbert’s contributions to the foundations of mathematics, including his conception of the axiomatic method, his notion of mathematical proof, and his approach to infinity through finitary tools. We describe his “Programme”, and we comment its collapse due to Gödel’s Incompleteness Theorems. Despite that defeat, Hilbert’s project remains topical today.
Similar content being viewed by others
Notes
For a given statement and its negation, one and only one can be true.
References
Abrusci, V.M.: Autofondazione della matematica. Le ricerche di Hilbert sui fondamenti della matematica. In: Hilbert, D., Abrusci, V. M. (eds.) Ricerche sui fondamenti della matematica. Bibliopolis, Napoli (1985), pp. 13–151
Connor, J.J., Robertson, E.F.: David Hilbert. http://www-history.mcs.st-and.ac.uk/Biographies/Hilbert.html. Accessed 3 April 2017
Davis, M.: Hilbert’s tenth problem is unsolvable. Amer. Math. Monthly. 80, 233–269 (1973)
Frege, G.: Philosophical and Mathematical Correspondence. Basil Blackwell, Oxford (1980)
Hilbert, D.: Grundlagen der Geometrie. Teubner, Leipzig (1899) (English transl. In: The Foundations of Geometry, Townsend, E. J., trans. Open Court Publishing, La Salle, IL (1950) [first published 1902])
Hilbert, D.: Mathematische Probleme. Nachrichten von der Königlichen Gesellschaft der Wissenschaften zu Göttingen, Göttingen, pp. 253–297 (1900) (partial Eng. transl.: From ‘Mathematical Problems’. In: From Kant to Hilbert, vol. 2, Ewald, W.B., ed., pp. 1096–1105, Oxford University Press, Oxford (1996))
Hilbert, D.: Axiomatisches Denken. Math. Ann. 78, 405–415 (1918) (Eng. transl.: Axiomatic Thought. In: From Kant to Hilbert, vol. 2, Ewald, W.B., ed., pp. 1105–15, Oxford University Press, Oxford (1996))
Hilbert, D.: Neubegründung der Mathematik. Erste Mitteilung. Abhandlungen aus dem mathematischen Seminar der Hamburgischen Universität, 1, pp. 157–177 (1922) (Eng. transl.: The New Grounding of Mathematics. In: From Kant to Hilbert, vol. 2, Ewald, W.B., ed., pp. 1115–34, Oxford University Press, Oxford (1996))
Hilbert, D.: Über das Unendliche. Math. Ann. 95, 161–190 (1926) (Eng. transl.: On the Infinite. In: From Frege to Gödel: A Source Book in Mathematical Logic, 1879–1931, Van Heijenoort, J., ed., pp. 367–92, Harvard University Press, Cambridge, MA (1987))
Hilbert, D.: Probleme der Grundlegung der Mathematik. In: Atti del Congresso internazionale dei matematici, 3–10 ottobre 1928, pp. 135–141. Zanichelli, Bologna (1929) (with additions and corrections. Math. Ann. 102, 1–9 (1929))
Hilbert, D.: Naturerkennen und Logik. Naturwissenschaften. 18, 959–963 (1930)
Lolli, G.: Tavoli, sedie, boccali di birra. David Hilbert e la matematica del Novecento. Raffaello Cortina Editore, Milano (2016)
Musil, R.: The Mathematical Man. In: Musil, R., Pike, B., Luft, D. S.: Precision and Soul: Essays and Addresses. Chicago University, Chicago (1990) (transl.)
Reid, C.: Hilbert. Springer, Berlin, Heidelberg, New York (1970)
Thomas, R.: An update on the Four-color theorem. Notices Amer. Math. Soc. 45, 848–859 (1998)
Acknowledgements
The author thanks Michele Abrusci and Gabriele Lolli for their suggestions.
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to Camerino and all the friends hit by the earthquake.
Rights and permissions
About this article
Cite this article
Toffalori, C. H for Hilbert. Lett Mat Int 5, 119–123 (2017). https://doi.org/10.1007/s40329-017-0167-3
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40329-017-0167-3