Did Bishop have a philosophy of mathematics?

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

Abstract
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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1093/philmat/11.2.176
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 39,566
Through your library

References found in this work BETA

What is Mathematical Truth?Hilary Putnam - 1975 - In Mathematics, Matter and Method. Cambridge University Press. pp. 60--78.
Philosophy of mathematics, selected readings.Paul Benacerraf & Hilary Putnam - 1966 - Revue Philosophique de la France Et de l'Etranger 156:501-502.
Anti-Realism and Logic.Michael Luntley & Neil Tennant - 1989 - Philosophical Quarterly 39 (156):361.

View all 15 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
61 ( #120,199 of 2,325,865 )

Recent downloads (6 months)
18 ( #37,318 of 2,325,865 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature