Techniques of constructive analysis
type: Item
instance of: scholarly article
title: Techniques of constructive analysis
zbMATH Open document ID: 1107.03065
DOI: 10.1007/978-0-387-38147-3
author: Douglas Bridges
author: Luminiţa Viţă
published in: Universitext
publication date: 2006-11-08T00:00:00Z
review text: It has been 120 years since Leopold Kronecker proclaimed his finitist views, 100 years since L. E. J. Brouwer exposed the limitations of classical mathematics and the fantastical power of the excluded middle, and 40 years since Errett Bishop demonstrated the feasibility of strictly constructive methods. Yet today misunderstandings persist -- constructive mathematics is often mistakenly thought to be a branch of formal logic, or to involve recursive function theory. The recent Bridges-Vîţă textbook is an exemplar of perseverance in efforts to correct this situation. For students at the graduate level it is an excellent introduction to constructive mathematics; for the more experienced reader it is a portal to some of the latest research using constructive methods. Chapter 1 sets out the motivation, goals, and methods of constructive mathematics; persuasive examples related to number theory and to computer science are included. Section 1.4 includes some of the more esoteric logical and set-theoretic problems recently studied by some constructivists; this section is a valuable survey of that avenue. Some readers may not wish to become entangled in the deeper complexities of intuitionistic logic and may, after sections 1.1--1.3, proceed more directly to the heart of the subject in Chapter 2 -- real numbers, metric spaces, and normed linear spaces. For a start, to savour the delights of constructive results with enhanced meaning, one need only remember that to claim ``\( P \text{ or } Q \)'', one must either prove \( P \) or prove \(Q\) -- it is not sufficient to prove merely that \( \neg ( \neg P \text{ and } \neg Q ) \). The succeeding chapters treat constructive Hilbert space, convexity, separation, the Hahn-Banach theorem, and operator theory. A constructive version of Baire's theorem is included, with applications to the open mapping, inverse mapping, and closed graph theorems. Many of the results are of relatively recent origin. This textbook presents a significant…
reviewed by: Mark Mandelkern
Mathematics Subject Classification ID: 03F60
Mathematics Subject Classification ID: 03-01
Mathematics Subject Classification ID: 03-02
Mathematics Subject Classification ID: 26E40
Mathematics Subject Classification ID: 46S30
Mathematics Subject Classification ID: 47S30
zbMATH DE Number: 5071163
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.1007/978-0-387-38147-3
OpenAlex ID: W4298199426
description: scientific article; zbMATH DE number 5071163