Foundations of Science 10 (3):249-324 (2004)
Authors | |
Abstract |
We discuss the foundations of constructive mathematics, including recursive mathematics and intuitionism, in relation to classical mathematics. There are connections with the foundations of physics, due to the way in which the different branches of mathematics reflect reality. Many different axioms and their interrelationship are discussed. We show that there is a fundamental problem in BISH (Bishop’s school of constructive mathematics) with regard to its current definition of ‘continuous function’. This problem is closely related to the definition in BISH of ‘locally compact’. Possible approaches to this problem are discussed. Topology seems to be a key to understanding many issues. We offer several new simplifying axioms, which can form bridges between the various branches of constructive mathematics and classical mathematics (‘reuniting the antipodes’). We give a simplification of basic intuitionistic theory, especially with regard to so-called ‘bar induction’. We then plead for a limited number of axiomatic systems, which differentiate between the various branches of mathematics. Finally, in the appendix we offer BISH an elegant topological definition of ‘locally compact’, which unlike the current definition is equivalent to the usual classical and/or intuitionistic definition in classical and intuitionistic mathematics, respectively.
|
Keywords | Philosophy Philosophy of Science Mathematical Logic and Foundations Methodology of the Social Sciences |
Categories | (categorize this paper) |
Reprint years | 2005 |
DOI | 10.1007/s10699-004-3065-z |
Options |
![]() ![]() ![]() ![]() |
Download options
References found in this work BETA
Theory of Probability: A Critical Introductory Treatment.Bruno de Finetti - 1970 - New York: John Wiley.
View all 13 references / Add more references
Citations of this work BETA
Brouwer’s Fan Theorem as an Axiom and as a Contrast to Kleene’s Alternative.Wim Veldman - 2014 - Archive for Mathematical Logic 53 (5-6):621-693.
Reflections on Function Spaces.Douglas S. Bridges - 2012 - Annals of Pure and Applied Logic 163 (2):101-110.
Three Dogmas of First-Order Logic and Some Evidence-Based Consequences for Constructive Mathematics of Differentiating Between Hilbertian Theism, Brouwerian Atheism and Finitary Agnosticism.Bhupinder Singh Anand - manuscript
Similar books and articles
Continuity Properties in Constructive Mathematics.Hajime Ishihara - 1992 - Journal of Symbolic Logic 57 (2):557-565.
Intuitionistic Mathematics and Wittgenstein.Wenceslao J. Gonzalez - 1991 - History and Philosophy of Logic 12 (2):167-183.
From Sets and Types to Topology and Analysis: Towards Practicable Foundations for Constructive Mathematics.Laura Crosilla & Peter Schuster (eds.) - 2005 - Oxford, England: 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.
Did Bishop Have a Philosophy of Mathematics?Helen Billinge - 2003 - Philosophia Mathematica 11 (2):176-194.
Reflections on Mathematics.Edward N. Zalta - 2007 - In V. F. Hendricks & Hannes Leitgeb (eds.), Philosophy of Mathematics: Five Questions. Automatic Press/VIP.
Constructive Mathematics in Theory and Programming Practice.Douglas Bridges & Steeve Reeves - 1999 - Philosophia Mathematica 7 (1):65-104.
Analytics
Added to PP index
2009-01-28
Total views
66 ( #175,580 of 2,520,750 )
Recent downloads (6 months)
1 ( #405,718 of 2,520,750 )
2009-01-28
Total views
66 ( #175,580 of 2,520,750 )
Recent downloads (6 months)
1 ( #405,718 of 2,520,750 )
How can I increase my downloads?
Downloads