Abstract
The reader of this chapter is presumed to have some familiarity with the practice of constructive mathematics, acquired for example by studying the first half of either Bishop [1967] or Bridges [1979], together with the preceding chapter of this book. He or she will then be in a position to reflect fruitfully on the foundations of the subject. Every approach to the foundations of mathematics begins by analyzing the fundamental notions that occur again and again in the actual mathematics, and in terms of which the mathematics can be understood.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Beeson, M.J. (1985). Informal Foundations of Constructive Mathematics. In: Foundations of Constructive Mathematics. Ergebnisse der Mathematik und ihrer Grenzgebiete, vol 6. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68952-9_2
Download citation
DOI: https://doi.org/10.1007/978-3-642-68952-9_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-68954-3
Online ISBN: 978-3-642-68952-9
eBook Packages: Springer Book Archive