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 | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,701 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesStewart Shapiro (ed.) (1985). Intentional Mathematics. Sole Distributors for the U.S.A. And Canada, Elsevier Science Pub. Co..
Laura Crosilla & Peter Schuster (eds.) (2005). From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics. Oxford University Press.
Christopher Pincock (2009). Towards a Philosophy of Applied Mathematics. In Otávio Bueno & Øystein Linnebo (eds.), New Waves in Philosophy of Mathematics. Palgrave Macmillan.
Geoffrey Hellman (1992). On the Scope and Force of Indispensability Arguments. PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1992:456 - 464.
Frank Waaldijk (2005). On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions. Foundations of Science 10 (3).
H. Billinge (2000). Applied Constructive Mathematics: On Hellman's 'Mathematical Constructivism in Spacetime'. British Journal for the Philosophy of Science 51 (2):299-318.
Douglas Bridges & Steeve Reeves (1999). Constructive Mathematics in Theory and Programming Practice. Philosophia Mathematica 7 (1):65-104.
D. S. Bridges (1987). Varieties of Constructive Mathematics. Cambridge University Press.
Hajime Ishihara & Satoru Yoshida (2002). A Constructive Look at the Completeness of the Space $\Mathcal{D} (\Mathbb{R})$. Journal of Symbolic Logic 67 (4):1511-1519.
I. Loeb (2012). Questioning Constructive Reverse Mathematics. Constructivist Foundations 7 (2):131-140.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads25 ( #49,632 of 549,124 )Recent downloads (6 months)1 ( #63,361 of 549,124 )How can I increase my downloads? |
My notes
Discussion
