Techniques of Constructive Analysis

• Main Authors: Bridges, Douglas S. (Author), Vîţă, Luminiţa Simona (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: New York, NY : Springer New York, 2006.
• Series: Universitext
• Subjects: Mathematics.; Mathematical analysis.; Analysis (Mathematics).; Functional analysis.; Operator theory.; Functions of real variables.; Mathematical logic.; Mathematical Logic and Foundations.; Analysis.; Real Functions.; Functional Analysis.; Operator Theory.

This text provides a rigorous, wide-ranging introduction to modern constructive analysis for anyone with a strong mathematical background who is interested in the challenge of developing mathematics algorithmically. The authors begin by outlining the history of constructive mathematics, and the logi...

Table of Contents:

• to Constructive Mathematics
• Techniques of Elementary Analysis
• The ?-Technique
• Finite-Dimensional and Hilbert Spaces
• Linearity and Convexity
• Operators and Locatedness.