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
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,634
Through your library

References found in this work BETA

Foundations of Constructive Analysis.John Myhill - 1972 - Journal of Symbolic Logic 37 (4):744-747.
Constructive Analysis.Errett Bishop & Douglas Bridges - 1987 - Journal of Symbolic Logic 52 (4):1047-1048.

View all 9 references / Add more references

Citations of this work BETA

Reflections on Function Spaces.Douglas S. Bridges - 2012 - Annals of Pure and Applied Logic 163 (2):101-110.

Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
59 ( #161,495 of 2,348,974 )

Recent downloads (6 months)
3 ( #238,452 of 2,348,974 )

How can I increase my downloads?

Downloads

My notes