Philosophia Mathematica 7 (1):65-104 (1999)
AbstractThe first part of the paper introduces the varieties of modern constructive mathematics, concentrating on Bishop's constructive mathematics (BISH). it gives a sketch of both Myhill's axiomatic system for BISH and a constructive axiomatic development of the real line R. The second part of the paper focusses on the relation between constructive mathematics and programming, with emphasis on Martin-L6f 's theory of types as a formal system for BISH.
Added to PP
Historical graph of downloads
References found in this work
Citations of this work
Number Theory and Elementary Arithmetic.Jeremy Avigad - 2003 - Philosophia Mathematica 11 (3):257-284.
Bishop's Mathematics: A Philosophical Perspective.Laura Crosilla - forthcoming - In Handbook of Bishop's Mathematics. CUP.
“Clarifying the Nature of the Infinite”: The Development of Metamathematics and Proof Theory.Jeremy Avigad - manuscript
Choice Principles and Constructive Logics.David Dedivi - 2004 - Philosophia Mathematica 12 (3):222-243.
Similar books and articles
Five Papers on Logic and Foundations.G. S. Ceitin (ed.) - 1971 - Providence, R.I., American Mathematical Society.
Questioning Constructive Reverse Mathematics.I. Loeb - 2012 - Constructivist Foundations 7 (2):131-140.
From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics.Laura Crosilla & Peter Schuster (eds.) - 2005 - Oxford, England: Oxford University Press.
Did Bishop Have a Philosophy of Mathematics?Helen Billinge - 2003 - Philosophia Mathematica 11 (2):176-194.
Can Constructive Mathematics Be Applied in Physics?Douglas S. Bridges - 1999 - Journal of Philosophical Logic 28 (5):439-453.
Relationships Between Constructive, Predicative and Classical Systems of Analysis.Solomon Feferman - unknown
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.