- 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
Foundations of Constructive Mathematics
Studia Logica 46 (4):398-399 (1987)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
From sets and types to topology and analysis: towards practicable foundations for constructive mathematics.Laura Crosilla & Peter Schuster (eds.) - 2005 - New York: Oxford University Press.
Questioning Constructive Reverse Mathematics.I. Loeb - 2012 - Constructivist Foundations 7 (2):131-140.
Foundations of Constructive Mathematics. Metamathematical Studies.Michael J. Beeson - 1987 - Journal of Symbolic Logic 52 (1):278-279.
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.
Did Bishop have a philosophy of mathematics?Helen Billinge - 2003 - Philosophia Mathematica 11 (2):176-194.
Review: Michael J. Beeson, Foundations of Constructive Mathematics. Metamathematical Studies. [REVIEW]William A. Howard - 1987 - Journal of Symbolic Logic 52 (1):278-279.
Five papers on logic and foundations.G. S. Ceitin (ed.) - 1971 - Providence, R.I.,: American Mathematical Society.
Varieties of constructive mathematics.D. S. Bridges - 1987 - New York: Cambridge University Press. Edited by Fred Richman.
Fitch Frederic B.. Quasi-constructive foundations for mathematics. Constructivity in mathematics, Proceedings of the colloquium held at Amsterdam, 1957, edited by Heyting A., Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1959, pp. 26–36. [REVIEW]Bruce Lercher - 1972 - Journal of Symbolic Logic 37 (2):402-402.
Review: R. L. Goodstein, Constructive Formalism. Essays on the Foundations of Mathematics; R. L. Goodstein, The Foundations of Mathematics. [REVIEW]John Myhill - 1953 - Journal of Symbolic Logic 18 (3):258-260.
Constructive Mathematics in Theory and Programming Practice.Douglas Bridges & Steeve Reeves - 1998 - Philosophia Mathematica 6 (3):65-104.
A minimalist two-level foundation for constructive mathematics.Maria Emilia Maietti - 2009 - Annals of Pure and Applied Logic 160 (3):319-354.
Constructive mathematics in theory and programming practice.Douglas Bridges & Steeve Reeves - 1999 - Philosophia Mathematica 7 (1):65-104.
Analytics
Added to PP
2017-02-21
Downloads
0
6 months
0
2017-02-21
Downloads
0
6 months
0
Historical graph of downloads
Sorry, there are not enough data points to plot this chart.
Citations of this work
Scientific Pluralism.Stephen H. Kellert, Helen E. Longino & C. Kenneth Waters (eds.) - 1956 - Univ of Minnesota Press.
Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
Peter Schroeder-Heister on Proof-Theoretic Semantics.Thomas Piecha & Kai F. Wehmeier (eds.) - 2024 - Springer.
Does category theory provide a framework for mathematical structuralism?Geoffrey Hellman - 2003 - Philosophia Mathematica 11 (2):129-157.
The strength of some Martin-Löf type theories.Edward Griffor & Michael Rathjen - 1994 - Archive for Mathematical Logic 33 (5):347-385.
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