Constructive mathematics - mathematics in which 'there exists' always
means 'we can construct' - is enjoying a renaissance. fifty years on
from Bishop's groundbreaking account of constructive analysis,
constructive mathematics has spread out to touch almost all areas of
mathematics and to have profound influence in theoretical computer
science. This handbook gives the most complete overview of modern
constructive mathematics, with contributions from leading specialists
surveying the subject's myriad aspects. Major themes include:
constructive algebra and geometry, constructive analysis, constructive
topology, constructive logic and foundations of mathematics, and
computational aspects of constructive mathematics. A series of
introductory chapters provides graduate students and other newcomers to
the subject with foundations for the surveys that follow. Edited by four
of the most eminent experts in the field, this is an indispensable
reference for constructive mathematicians and a fascinating vista of
modern constructivism for the increasing number of researchers
interested in constructive approaches.