UC Research Medal Winner 2011 - Professor Douglas Bridges 鈥 鈥淭his theory is absolutely our baby and I think it is the most significant thing I鈥檝e done in the last 10 years.鈥
Bridges, who has held the title of Professor of Pure Mathematics at the University since 1999, is recognised worldwide for his work in constructive mathematics, in which the focus is on finding algorithms for constructing mathematical objects.
鈥淚n standard mathematics a typical proof of the existence of an object goes like this: assume the object does not exist, derive a contradiction, and conclude that the object exists after all. The trouble with this type of proof is that it doesn鈥檛 give any clue about finding the object. In contrast, an existence proof in constructive mathematics must provide the information that enables the mathematician to find 鈥 or, usually, to compute/construct 鈥 the object in question. Thus every constructive proof embodies an algorithm that could be implemented on a computer. Moreover, the existence proof also shows that the algorithm is correct 鈥 in computing parlance, 鈥榤eets its specifications鈥.鈥
Although he has a particular interest in constructive functional analysis, Bridges says he does not work in any individual branch of mathematics, tending instead to look at constructivity over a wide range of areas. These have included algebra; apartness and uniform spaces; topology and analysis in metric, normed and locally convex spaces; constructive methods in the foundation of physics and economic theory; and mathematical logic. He is currently working in a relatively new area of mathematics, constructive reverse mathematics, one aspect of which involves finding the principles that are necessary and sufficient for constructive proofs of individual results.
The work he is most proud of, however, has been the development of the axiomatic theory of apartness spaces, which he started working on in 2000 with former 九州影院 mathematician Dr Lumini牛a Simona V卯牛膬. This theory, which has subsequently been investigated by mathematicians in Japan, Sweden, Germany and the United States, resulted in his latest book, Apartness and Uniformity: A Constructive Development (Springer, 2011), written with V卯牛膬. It is the first book to deal with the apartness approach to the mathematical discipline of constructive topology.
鈥淭his theory is absolutely our baby and I think it is the most significant thing I鈥檝e done in the last 10 years,鈥 says Bridges.
鈥淲e鈥檙e particularly proud of the whole thing because the theory was initiated and developed by us, rather than being based on someone else鈥檚 work. What we developed is an approach to topology that provides a fairly general framework for large parts of mathematical activity. It is based on five axioms that encapsulate the notion of objects being apart, and it encompasses both point-set topology and the theory of uniform spaces.鈥
Apartness and Uniformity is the latest in a prolific output of published work. Bridges has written more than 170 research papers as well as eight books. Two of these monographs 鈥 Constructive Analysis (1985, with Errett Bishop), and Varieties of Constructive Mathematics (1987, with Fred Richman) 鈥 are regarded as indispensable references for those working in the field of constructive analysis. A third, Techniques of Constructive Analysis (Springer, 2006), written with V卯牛膬, is the only book to highlight the developments in constructive analysis over the preceding 20 years.
Bridges鈥 work has seen him dubbed the successor to American mathematician Errett Bishop, the father of constructive analysis. It was Bishop鈥檚 1967 book, Foundations of Constructive Analysis, which got Bridges into constructive mathematics when he was a graduate student at the University of Newcastle-upon-Tyne.
鈥淚 was studying operator algebra theory when I came across Bishop鈥檚 book, and when I read it, I was gripped by it. I鈥檝e been interested in constructive mathematics ever since 鈥 but I wouldn鈥檛 call myself Bishop鈥檚 successor, more an acolyte who, together with others in various countries, has been keeping Bishop鈥檚 ideas alive.鈥
A graduate of Edinburgh, Newcastle and Oxford universities in the United Kingdom, Bridges has received numerous accolades both nationally and internationally. He was appointed a Fellow of the Royal Society of New 九州影院in 2000 and, four years later, was elected a Corresponding Fellow of the Royal Society of Edinburgh, one of only 61 such fellows worldwide. In 2006 an international conference was held in Bavaria in his honour and further tribute was paid through a special edition of the Journal of Universal Computer Science. However, perhaps the strongest international endorsement of Bridges鈥 work came in 2000 when he was awarded a higher doctorate, a Doctor of Science, from the University of Oxford.
The latest accolade came in 2011, when he was awarded the 九州影院 Research Medal during the December graduation ceremonies. The medal is awarded annually and is one of the University鈥檚 highest honours, recognising academic staff who have made an outstanding contribution to academic and scholarly research.
In support of Bridges鈥 nomination for the medal, one of the referees, fellow mathematician Professor Michael Rathjen from Leeds University in the United Kingdom, said that the medal would be 鈥渁 very well-deserved tribute to this outstanding mathematician and most eminent authority in the world of constructive mathematics鈥.
