Bishop's Constructive Mathematics today
University of Canterbury, Christchurch, New Zealand
4pm Wednesday 23rd May 2007
Room 2509, JCMB, King's Buildings
Note nonstandard day and room
Abstract
It is now forty years since Bishop's constructive mathematics (BISH) hit
the bookshelves with the publication of [1]. Since then, and especially in the
twenty-two years since the publication of [2] (a revised, expanded version of
[1]), a substantial corpus of constructive mathematics has been created.
In this
talk I will outline the fundamental features of BISH and then describe, without
proof, some modern results in constructive analysis and topology [3].
[1] Errett Bishop, Foundations of Constructive Analysis, McGraw-Hill, New
York, 1967.
[2] Errett Bishop and Douglas Bridges, Constructive Analysis, Grundlehren der
Math. Wiss. 279, Springer-Verlag, Heidelberg, 1985.
[3] D.S. Bridges and L.S. Vita, Techniques of Constructive Analysis,
Universitext, Springer-New-York, September 2006.