Some relations between classical and constructive mathematics
Journal of Symbolic Logic 43 (2):228-246 (1978)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| 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,679 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesE. B. Davies (2005). A Defence of Mathematical Pluralism. Philosophia Mathematica 13 (3):252-276.
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.
Douglas S. Bridges (1999). Can Constructive Mathematics Be Applied in Physics? Journal of Philosophical Logic 28 (5):439-453.
Frank Waaldijk (2005). On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions. Foundations of Science 10 (3).
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.
Solomon Feferman, Relationships Between Constructive, Predicative and Classical Systems of Analysis.
I. Loeb (2012). Questioning Constructive Reverse Mathematics. Constructivist Foundations 7 (2):131-140.
H. Billinge (2000). Applied Constructive Mathematics: On Hellman's 'Mathematical Constructivism in Spacetime'. British Journal for the Philosophy of Science 51 (2):299-318.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads3 ( #201,930 of 549,078 )Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
