ds.bridges

Biographical Information

Douglas Sutherland Bridges, Professor of Mathematics, University of Canterbury, is one of the foremost authorities on constructive mathematics. His book, Constructive Analysis (Springer-Verlag, 1985), written with the late Erret Bishop “is THE book on the subject and is cited time after time in the literature”. Constructive mathematicians formulate and prove theorems in the spirit and context of pure mathematics, but must think algorithmically so that their proofs will not require the law of excluded middle. By its very nature, constructive mathematics constitutes a bridge between abstract mathematics and computer science. “Douglas Bridges has been the dominant figure in constructive mathematics for the past fifteen years, inspiring mathematicians in the United States, Japan and Europe. It is hard to imagine what it would have been like without him.”