Cambridge University Press (1987)
| Abstract |
This is an introduction to, and survey of, the constructive approaches to pure mathematics. The authors emphasise the viewpoint of Errett Bishop's school, but intuitionism. Russian constructivism and recursive analysis are also treated, with comparisons between the various approaches included where appropriate. Constructive mathematics is now enjoying a revival, with interest from not only logicans but also category theorists, recursive function theorists and theoretical computer scientists. This account for non-specialists in these and other disciplines.
|
| Keywords | Constructive mathematics |
| Categories | (categorize this paper) |
| Buy this book |
Find it on Amazon.com
|
| Call number | QA9.56.B75 1987 |
| ISBN(s) | 0521318025 9780521318020 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 58,437
External links
(no proxy) Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
No references found.
Citations of this work BETA
Bounded Functional Interpretation.Fernando Ferreira & Paulo Oliva - 2005 - Annals of Pure and Applied Logic 135 (1):73-112.
Real Analysis in Paraconsistent Logic.Maarten McKubre-Jordens & Zach Weber - 2012 - Journal of Philosophical Logic 41 (5):901-922.
View all 42 citations / Add more citations
Similar books and articles
Five Papers on Logic and Foundations.G. S. Ceĭtin (ed.) - 1971 - Providence, R.I., American Mathematical Society.
Constructive Mathematics in Theory and Programming Practice.Douglas Bridges & Steeve Reeves - 1999 - Philosophia Mathematica 7 (1):65-104.
From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics.Laura Crosilla & Peter Schuster (eds.) - 2005 - Oxford University Press.
Did Bishop Have a Philosophy of Mathematics?Helen Billinge - 2003 - Philosophia Mathematica 11 (2):176-194.
A Constructive Look at the Completeness of the Space $\Mathcal{D} (\Mathbb{R})$.Hajime Ishihara & Satoru Yoshida - 2002 - Journal of Symbolic Logic 67 (4):1511-1519.
On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions.Frank Waaldijk - 2004 - Foundations of Science 10 (3):249-324.
Relationships Between Constructive, Predicative and Classical Systems of Analysis.Solomon Feferman - unknown
Questioning Constructive Reverse Mathematics.I. Loeb - 2012 - Constructivist Foundations 7 (2):131-140.
Analytics
Added to PP index
2009-01-28
Total views
45 ( #226,599 of 2,420,997 )
Recent downloads (6 months)
1 ( #543,757 of 2,420,997 )
2009-01-28
Total views
45 ( #226,599 of 2,420,997 )
Recent downloads (6 months)
1 ( #543,757 of 2,420,997 )
How can I increase my downloads?
Downloads
