Abstract
In this chapter we first sketch the history and philosophy that motivated the early workers in the field of constructive mathematics. We then describe informal intuitionistic logic and discuss a number of elementary classical theorems that do not carry over to the constructive setting. Finally, we introduce an informal constructive theory of sets and functions. All this will prepare us for the presentation of the constructive theory of the real line ℝ in Chapter 2, and for the more abstract analysis that will be described in later chapters.
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.
Rights and permissions
Copyright information
© 2006 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
(2006). Introduction to Constructive Mathematics. In: Techniques of Constructive Analysis. Universitext. Springer, New York, NY. https://doi.org/10.1007/978-0-387-38147-3_1
Download citation
DOI: https://doi.org/10.1007/978-0-387-38147-3_1
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-33646-6
Online ISBN: 978-0-387-38147-3
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)