The pragmatic nature of mathematical inquiry
| Abstract | In 1926 Hermann Weyl’s Philosophy of Mathematics and Natural Science appeared in Oldenbourg’s Handbuch der Philosophie. At the time Hilbert’s formalist program to “eradicate via proof theory all the foundational questions of mathematics” was in full swing. As a pupil of Hilbert, Weyl was looking to the complete and ultimate success of Hilbert’s program, a confidence evident in Weyl’s treatment of the foundations of mathematics in the original version of Philosophy of Mathematics and Natural Science. But in an appendix to that same text appearing twenty years later, Weyl (1949, p. 219) admitted that this confidence was misplaced. | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
|
| Through your library | Only published papers are available at libraries |
Hermann Weyl (1934). Mind and Nature. Philadelphia, University of Pennsylvania Press.
Paolo Mancosu & T. A. Ryckman (2002). Mathematics and Phenomenology: The Correspondence Between O. Becker and H. Weyl. Philosophia Mathematica 10 (2):130-202.
Richard Tieszen (2000). The Philosophical Background of Weyl's Mathematical Constructivism. Philosophia Mathematica 8 (3):274-301.
Herman Weyl (1921). On the New Foundational Crisis in Mathematics. In P. Mancosu (ed.), From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in 1920s. Oxford University Press.
Paolo Mancosu (ed.) (1998). From Brouwer to Hilbert: The Debate on the Foundations of Mathematics in the 1920s. Oxford University Press.
Yvon Gauthier (2005). Hermann Weyl on Minkowskian Space-Time and Riemannian Geometry. International Studies in the Philosophy of Science 19 (3):261 – 269.
Monthly downloads |
Added to index2009-01-28Total downloads16 ( #74,784 of 549,694 )Recent downloads (6 months)4 ( #19,337 of 549,694 )How can I increase my downloads? |

