Cambridge University Press Cambridge Handbook of Constructive Mathematics Textbook

Explore the renaissance of constructive mathematics with this comprehensive handbook from Cambridge University Press. As a part of the Encyclopedia of Mathematics and its Applications, this volume provides a complete overview of modern constructive mathematics. Following the foundation laid by Bishop's work in constructive analysis, this text covers how the field has expanded to influence almost all areas of mathematics and theoretical computer science. This handbook features contributions from leading specialists who survey the many aspects of the subject. Readers can find detailed information on major themes including constructive algebra, constructive geometry, and constructive analysis. It is an essential resource for understanding how the concept of existence in mathematics relates to the ability to construct mathematical objects.