- 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
Constructive mathematics
Stanford Encyclopedia of Philosophy (2008)
Abstract
This article has no associated abstract. (fix it)Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Constructive Mathematics.Maarten McKubre-Jordens - 2011 - In James Fieser & Bradley Dowden (eds.), Internet Encyclopedia of Philosophy. Routledge.
Handbook of Constructive Mathematics.Douglas Bridges, Hajime Ishihara, Michael Rathjen & Helmut Schwichtenberg (eds.) - 2023 - Cambridge: Cambridge University Press.
Varieties of constructive mathematics.D. S. Bridges & Fred Richman - 1987 - New York: Cambridge University Press. Edited by Fred Richman.
Lorenzen and Constructive Mathematics.Thierry Coquand - 2021 - In Gerhard Heinzmann & Gereon Wolters (eds.), Paul Lorenzen -- Mathematician and Logician. Springer Verlag. pp. 47-61.
Review: Geoffrey Hellman, Constructive Mathematics and Quantum Mechanics: Unbounded Operators and the Spectral Theorem; Douglas S. Bridges, Constructive Mathematics and Unbounded Operators -- A Reply to Hellman; Geoffrey Hellman, Quantum Mechanical Unbounded Operators and Constructive Mathematics -- A Rejoinder to Bridges. [REVIEW]Boris A. Kushner - 1999 - Journal of Symbolic Logic 64 (1):397-398.
Analytics
Added to PP
2009-01-28
Downloads
48 (#322,525)
6 months
18 (#191,935)
2009-01-28
Downloads
48 (#322,525)
6 months
18 (#191,935)
Historical graph of downloads
Citations of this work
The entanglement of logic and set theory, constructively.Laura Crosilla - 2022 - Inquiry: An Interdisciplinary Journal of Philosophy 65 (6).
Conceptions of truth in intuitionism.Panu Raatikainen - 2004 - History and Philosophy of Logic 25 (2):131--45.
Social constructivism in mathematics? The promise and shortcomings of Julian Cole’s institutional account.Jenni Rytilä - 2021 - Synthese 199 (3-4):11517-11540.
Number theory and elementary arithmetic.Jeremy Avigad - 2003 - Philosophia Mathematica 11 (3):257-284.
References found in this work
From Kant to Hilbert: a source book in the foundations of mathematics.William Ewald (ed.) - 1996 - New York: Oxford University Press.
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-6686886f5-7g5mb uwo