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.
Similar content being viewed by others
References
E. Bishop (1967) Foundations of Constructive Analysis McGraw-Hill New York
E. Bishop D.S. Bridges (1985) Constructive Analysis Springer Berlin
Bishop, E.: 1985,Schizophrenia in Contemporary Mathematics, Erret Bishop: Reflections on Him and His Research In: (ed.), Rosenblatt, AMS, Providence, Rhode Island, pp. 1–32.
D.S. Bridges (1979) Constructive Functional Analysis Pitman London
Bridges, D.S. and F.Richman: 1987, Varieties of constructive mathematics, London Mathematics Socities. Lecture Notes no. 93, Cambridge University Press.
Brouwer, L.E.J.: 1907, Over de Grondslagen der Wiskunde, PhD thesis, Universiteit van Amsterdam.
L.E.J. Brouwer (1922) ArticleTitleBesitzt jede reelle Zahl eine Dezimalbruch-Entwickelung? Mathematics Annalen 83 201–210 Occurrence Handle10.1007/BF01458382
L.E.J. Brouwer (1975) Collected works North-Holland Amsterdam
D. Dalen Particlevan (1999) Mystic, Geometer and Intuitionist — The Life of L.E.J. Brouwer Clarendon Press Oxford
B. Finetti ParticleDe (1972) Probability, Induction and Statistics Wiley New York
B. Finetti ParticleDe (1974) Theory of Probability — A critical introductory treatment Wiley New York
J. Dugundji (1951) ArticleTitleAn extension of Tietze’s theorem Pacific Journal of Mathematics 1 353–367
J. Earman (1986) A Primer on Determinism D. Reidel Publ. Dordrecht
Simpson, S. (ed.): 2001, Foundations of Mathematics forum, http://www.cs.nyu.edu/pipermail/fom/1998-November and /2001-January, 1998-2001.
W. Gielen H. Swart Particlede W.H.M. Veldman (1981) ArticleTitleThe Continuum Hypothesis in Intuitionism Journal of Symbolic Logic 46 IssueID1 121–136
A. Heyting (1971) Intuitionism — an Introduction, 1956 3rd revised edition North-Holland Amsterdam
T. Hill (1996) ArticleTitleA statistical derivation of the significant-digit law Statistical Science 10 354–363
H. Ishihara (1993) ArticleTitleMarkov’s Principle, Church’s thesis and Lindelöf’s theorem Indag. Mathematics N.S. 4 IssueID3 321–325
H. Ishihara (1994) ArticleTitleA constructive version of Banach’s inverse mapping theorem New Zealand Journal of Mathematics 23 71–75
Johnson, D.M.: 1987, L.E.J. Brouwer’s coming of age as a topologist, MAA Studies in Mathematics, Studies in the History of Mathematics (ed.), In: E.R. Phillips, vol. 26, 61–97.
S.C. Kleene (1952) Introduction to metamathematics North-Holland Amsterdam
S.C. Kleene R.E. Vesley (1965) The Foundations of Intuitionistic Mathematics — especially in relation to the theory of recursive functions North-Holland Amsterdam
B.A. Kushner (1985) Lectures on Constructive Mathematical Analysis American Mathematical Society Providence, R.I.
E. Michael (1956) ArticleTitleContinuous selections (I) Annals of Mathematics 63 361–382
A.S. Troelstra D. Dalen Particlevan (1988) Constructivism in Mathematics North-Holland Amsterdam
Veldman, W.H.M.: 1981, Investigations in intuitionistic hierarchy theory, PhD Thesis, University of Nijmegen.
Veldman, W.H.M.: 1985,Intuitionistische wiskunde (lecture notes in Dutch) University of Nijmegen.
Waaldijk, F.A.: 1996, Modern intuitionistic topology, PhD thesis, University of Nijmegen.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Waaldijk, F. On the Foundations of Constructive Mathematics – Especially in Relation to the Theory of Continuous Functions. Found Sci 10, 249–324 (2005). https://doi.org/10.1007/s10699-004-3065-z
Issue Date:
DOI: https://doi.org/10.1007/s10699-004-3065-z