Philosophia Mathematica 7 (1):65-104 (1999)
|Abstract||The 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.|
|Keywords||No keywords specified (fix it)|
|Through your library||Configure|
Similar books and articles
G. S. Ceĭtin (ed.) (1971). Five Papers on Logic and Foundations. Providence, R.I.,American Mathematical Society.
Richard L. Tieszen (2005). Phenomenology, Logic, and the Philosophy of Mathematics. Cambridge University Press.
Solomon Feferman, Relationships Between Constructive, Predicative and Classical Systems of Analysis.
Douglas S. Bridges (1999). Can Constructive Mathematics Be Applied in Physics? Journal of Philosophical Logic 28 (5):439-453.
H. Billinge (2000). Applied Constructive Mathematics: On Hellman's 'Mathematical Constructivism in Spacetime'. British Journal for the Philosophy of Science 51 (2):299-318.
Helen Billinge (2003). Did Bishop Have a Philosophy of Mathematics? Philosophia Mathematica 11 (2):176-194.
Laura Crosilla & Peter Schuster (eds.) (2005). From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics. Oxford University Press.
I. Loeb (2012). Questioning Constructive Reverse Mathematics. Constructivist Foundations 7 (2):131-140.
D. S. Bridges (1987). Varieties of Constructive Mathematics. Cambridge University Press.
Added to index2009-01-28
Total downloads16 ( #74,784 of 549,699 )
Recent downloads (6 months)1 ( #63,425 of 549,699 )
How can I increase my downloads?