Did Bishop have a philosophy of mathematics?

Philosophia Mathematica 11 (2):176-194 (2003)
  Copy   BIBTEX


When Bishop published Foundations of Constructive Analysis he showed that it was possible to do ordinary analysis within a constructive framework. Bishop's reasons for doing his mathematics constructively are explicitly philosophical. In this paper, I will expound, examine, and amplify his philosophical arguments for constructivism in mathematics. In the end, however, I argue that Bishop's philosophical comments cannot be rounded out into an adequate philosophy of constructive mathematics.



    Upload a copy of this work     Papers currently archived: 89,764

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Intentional mathematics.Stewart Shapiro (ed.) - 1985 - New YorK, N.Y., U.S.A.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co..
Varieties of constructive mathematics.D. S. Bridges - 1987 - New York: Cambridge University Press. Edited by Fred Richman.
On the Scope and Force of Indispensability Arguments.Geoffrey Hellman - 1992 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992:456-464.
Towards a Philosophy of Applied Mathematics.Christopher Pincock - 2009 - In Otávio Bueno & Øystein Linnebo (eds.), New Waves in Philosophy of Mathematics. Palgrave-Macmillan.
Questioning Constructive Reverse Mathematics.I. Loeb - 2012 - Constructivist Foundations 7 (2):131-140.


Added to PP

90 (#171,942)

6 months
4 (#314,058)

Historical graph of downloads
How can I increase my downloads?

References found in this work

Elements of Intuitionism.Michael Dummett - 1977 - New York: Oxford University Press. Edited by Roberto Minio.
Constructivism in mathematics: an introduction.A. S. Troelstra - 1988 - New York, N.Y.: Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co.. Edited by D. van Dalen.
What is Mathematical Truth?Hilary Putnam - 1975 - In Mathematics, Matter and Method. Cambridge University Press. pp. 60--78.
Anti-realism and logic: truth as eternal.Neil Tennant - 1987 - New York: Oxford University Press.

View all 20 references / Add more references