Chapter 11: Douglas Bridges: Constructive Mathematics
Professor Douglas Bridges has authored more than 190 research papers, and 8 books, on constructive mathematics and mathematical economics. The books include ‘Constructive Analysis’ (with Errett Bishop) and ‘Varieties of Constructive Mathematics’ (with Fred Richman), which together were the definitive reference works on (Bishop-style) constructive mathematics for over 20 years. In 2006, he and Luminiţă Vîtă published ‘Techniques of Constructive Analysis’, the only exposition of the major developments in constructive analysis in the preceding 25 years. In 2011, he and Vîtă published ‘Apartness and Topology: A Constructive Development’, which is a full exposition of their constructive approach to general topology…