- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Against intuitionism: Constructive mathematics is part of classical mathematics [Book Review]
Journal of Philosophical Logic 12 (2):173 - 195 (1983)
Abstract
This article has no associated abstract. (fix it)Author's Profile
My notes
Similar books and articles
Intuitionistic mathematics and wittgenstein.Wenceslao J. Gonzalez - 1991 - History and Philosophy of Logic 12 (2):167-183.
Varieties of constructive mathematics.D. S. Bridges - 1987 - New York: Cambridge University Press. Edited by Fred Richman.
Constructive mathematics in theory and programming practice.Douglas Bridges & Steeve Reeves - 1999 - Philosophia Mathematica 7 (1):65-104.
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
logicism, intuitionism, and formalism - What has become of them?Sten Lindstr©œm, Erik Palmgren, Krister Segerberg & Viggo Stoltenberg-Hansen (eds.) - 2008 - Berlin, Germany: Springer.
Thinking about mathematics: the philosophy of mathematics.Stewart Shapiro - 2000 - New York: Oxford University Press.
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.
Analytics
Added to PP
2009-01-28
Downloads
129 (#134,464)
6 months
10 (#168,693)
2009-01-28
Downloads
129 (#134,464)
6 months
10 (#168,693)
Historical graph of downloads
Author's Profile
Citations of this work
Logical Pluralism.Jc Beall & Greg Restall - 2005 - Oxford, England: Oxford University Press. Edited by Greg Restall.
Logical pluralism.Jc Beall & Greg Restall - 2000 - Australasian Journal of Philosophy 78 (4):475 – 493.
A Burgessian Critique of Nominalistic Tendencies in Contemporary Mathematics and its Historiography.Karin Usadi Katz & Mikhail G. Katz - 2012 - Foundations of Science 17 (1):51-89.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-67c5d994d4-vbbq6 uwo