logicism, intuitionism, and formalism - What has become of them?
Springer (2009)
| Abstract | These questions are addressed in this volume by leading mathematical logicians and philosophers of mathematics.A special section is concerned with constructive ... | |||||||||
| Keywords | Intuitionistic mathematics Mathematics History | |||||||||
| Categories | ||||||||||
| Buy the book | $349.00 direct from Amazon Amazon page | |||||||||
| Call number | QA8.4.L635 2009 | |||||||||
| ISBN(s) | 9781402089251 1402089252 | |||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,709 |
| External links |
  Try with proxy. Try with proxy. |
| Through your library | Configure |
Similar books and articlesIan Proops (2006). Russell’s Reasons for Logicism. Journal of the History of Philosophy 44 (2):267-292.
Stewart Shapiro (ed.) (1985). Intentional Mathematics. Sole Distributors for the U.S.A. And Canada, Elsevier Science Pub. Co..
Robin Hirsch (1996). Is Mathematics a Pure Science? Science and Society 60 (1):58 - 79.
Sten Lindström & Erik Palmgren (2009). Introduction: The Three Foundational Programmes. In Sten Lindström, Erik Palmgren, Krister Segerberg & Viggo Stoltenberg-Hansen (eds.), Logicism, Intuitionism and Formalism: What has become of them? Springer.
Michael A. E. Dummett (2000). Elements of Intuitionism. Oxford University Press.
Stewart Shapiro (2000). Thinking About Mathematics: The Philosophy of Mathematics. Oxford University Press.
Miriam Franchella (1994). Heyting's Contribution to the Change in Research Into the Foundations of Mathematics. History and Philosophy of Logic 15 (2):149-172.
Wenceslao J. Gonzalez (1991). Intuitionistic Mathematics and Wittgenstein. History and Philosophy of Logic 12 (2):167-183.
Analytics
Monthly downloads |
Added to index2009-02-05Total downloads70 ( #12,347 of 549,754 )Recent downloads (6 months)3 ( #25,807 of 549,754 )How can I increase my downloads? |
My notes
Discussion
