Douglas Bridges
Douglas Sutherland Bridges (* 1945 ) is a British-New Zealand mathematician who is particularly concerned with constructive mathematics .
Bridges studied from 1963 at the University of Edinburgh with a bachelor's degree in 1967 and at the University of Newcastle with a master's degree in 1968 with John Ringrose . After another educational degree in Edinburgh, he was from 1969 teacher of mathematics at Clifton College in Bristol. From 1972 he continued his studies at Oxford University and received his PhD in 1975 under Robin Gandy (and Michael Dummett ) (Constructive mathematics - its set theory and practice). He was then a lecturer from 1975 , senior lecturer from 1979 and professor from 1982 at the University of Buckingham , an English private university, and from 1989 professor and head of the mathematics faculty at the University of Waikato in Hamilton in New Zealand. He has been a professor at the University of Canterbury in New Zealand since 1999 .
It deals with the basics of mathematics and especially the constructive foundations of real and functional analysis, topology and ring theory, with constructive reverse mathematics (classification of constructive and non-constructive proofs according to the conditions used) and complexity theory . In addition, he deals with mathematical economics (equilibrium, demand functions, preferential relations) and quantum logic and the related fundamentals of physics. After the death of Errett Bishop, he completed his monograph on constructive mathematics in the basic teaching series, which is considered a standard work.
He is a Fellow of the Royal Society of New Zealand and a corresponding member of the Royal Society of Edinburgh . He received a D.Sc. Oxford University.
Fonts
- Constructive Functional Analysis, Pitman 1979
- with Errett Bishop: Constructive Analysis, Grundlehren der Mathematischen Wissenschaften 279, Springer-Verlag 1985.
- with Fred Richman: Varieties of Constructive Mathematics, London Math. Society Lecture Notes 97, Cambridge Univ. Press, 1987.
- Computability: a mathematical sketchbook, Graduate Texts in Mathematics, Springer 1994
- with Ghanshyam B. Mehta: Representations of preference orderings, Springer 1995
- Foundations of Real and Abstract Analysis, Graduate Texts in Mathematics , Springer 1998
- with Luminiţa Simona Vîţă: Techniques of Constructive Analysis, Universitext, Springer 2006.
- with Vita: Apartness and Uniformity: A Constructive Development, Springer 2011
Web links
- Homepage
- Douglas Bridges: Constructive Mathematics. In: Edward N. Zalta (Ed.): Stanford Encyclopedia of Philosophy .
Individual evidence
- ↑ Douglas Bridges in the Mathematics Genealogy Project (English)
| personal data | |
|---|---|
| SURNAME | Bridges, Douglas |
| ALTERNATIVE NAMES | Bridges, Douglas Sutherland (full name) |
| BRIEF DESCRIPTION | British-New Zealand mathematician |
| DATE OF BIRTH | 1945 |