nLab Douglas Bridges

Douglas Bridges is a New Zealand based mathematician, working in the University of Canterbury. He has worked in constructive mathematics as well as various aspects of computability.

• Home page

• FAQs in constructive mathematics

Selected writings

On constructive analysis:

• Errett Bishop, Douglas Bridges Constructive analysis, Grundlehren der mathematischen Wissenschaften 279, Springer (1985) [doi:10.1007/978-3-642-61667-9]

• Douglas Bridges, Constructive mathematics: a foundation for computable analysis, Theoretical Computer Science 219 1–2 (1999) 95-109 [doi:10.1016/S0304-3975(98)00285-0]

On constructive mathematics applied to physics:

• Douglas S. Bridges: Can Constructive Mathematics Be Applied in Physics?, Journal of Philosophical Logic 28 5 (1999) 439-453 [jstor:30226680, doi:10.1023/A:1004420413391]

On weak countable choice:

• Fred Richman, Douglas Bridges, Peter Schuster, A weak countable choice principle. Proceedings of the American Mathematical Society 128 9 (2000) 2749-2752 [doi:10.1090/S0002-9939-00-05327-2]

On constructive mathematics:

• Douglas Bridges: Introducing constructive mathematics, talk notes (~2015) [pdf]

category: people