Graduate studies at Western
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)|
|Categories||categorize this paper)|
|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.
Frank Waaldijk (2005). On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions. Foundations of Science 10 (3):249-324.
Added to index2009-01-28
Total downloads16 ( #81,883 of 738,548 )
Recent downloads (6 months)1 ( #61,778 of 738,548 )
How can I increase my downloads?