Abstract
Historically, mathematics has often been regarded as a role model for all of science—a paragon of abstraction, logical precision, and objectivity. The 19th and early 20th centuries saw tremendous progress. The great mathematician David Hilbert proposed a sweeping program whereby the entire panorama of higher mathematical abstractions would be justified objectively and logically, in terms of finite processes. But then in 1931 the great logician Kurt Godel published his famous incompleteness theorems, leading to an era of confusion and skepticism. In this talk I show how modern foundational research has opened a new path toward objectivity and optimism in mathematics.1
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Hippocrates G. Apostle. Aristotle’s Philosophy of Mathematics. University of Chicago Press, 1952.
John P. Burgess. On the outside looking in: a caution about conservativeness. In [4], pages 128–141. Association for Symbolic Logic, Cambridge University Press, 2009.
C.-T. Chong, Q. Feng, T. A. Slaman, andW. H.Woodin, editors. Infinity and Truth, volume 25. Institute for Mathematical Sciences, National University of Singapore.World Scientific, 2014.
S. Feferman, C. Parsons, and S. G. Simpson, editors. Kurt Gödel: Essays for his Centennial, volume 33 of Lecture Notes in Logic. Association for Symbolic Logic, Cambridge University Press, 2010.
Kurt Godel. Uber formal unentscheidbare Satze der Principia Mathematica und verwandter Systeme, I. Monatshefte für Mathematik und Physik, 38(1):173–198, 1931.
Kurt Godel. On formally undecidable propositions of Principia Mathematica and related systems. In [14], pages 596–616. Harvard University Press, 1967. Translation of [5] by J. Van Heijenoort.
David Hilbert. Uber das Unendliche. Mathematische Annalen, 95(1):161–190, 1926.
David Hilbert. On the infinite. In [14], pages 367–392. Harvard University Press, 1967. Translation of [7] by S. Bauer-Mengelberg.
Stephen G. Simpson. Partial realizations of Hilbert’s program. Journal of Symbolic Logic, 53(2):349–363, 1988.
Stephen G. Simpson. Subsystems of Second Order Arithmetic. Perspectives in Logic. Association for Symbolic Logic and Cambridge University Press, 2nd edition edition, 2009.
Stephen G. Simpson. The Godel hierarchy and reverse mathematics. In [4], pages 109–127. Association for Symbolic Logic, Cambridge University Press, 2010.
Stephen G. Simpson. An objective justification for actual infinity? In [3], pages 225–228. Institute for Mathematical Sciences, National University of Singapore.World Scientific, 2014.
Stephen G. Simpson. Toward objectivity in mathematics. In [3], pages 157–169. Institute for Mathematical Sciences, National University of Singapore. World Scientific, 2014.
J. van Heijenoort, editor. From Frege to Gödel: A Source Book in Mathematical Logic. Harvard University Press, 1971. Second Printing.
Richard Zach. Hilbert’s Program. In Stanford Encyclopedia of Philosophy. January 2015.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this chapter
Cite this chapter
Simpson, S.G. (2020). Foundations of Mathematics: an Optimistic Message. In: Kahle, R., Rathjen, M. (eds) The Legacy of Kurt Schütte. Springer, Cham. https://doi.org/10.1007/978-3-030-49424-7_20
Download citation
DOI: https://doi.org/10.1007/978-3-030-49424-7_20
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-49423-0
Online ISBN: 978-3-030-49424-7
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)