Personal tools
You are here: Home Events Abstract Archives 2006-2007 Bishop's Constructive Mathematics today

Bishop's Constructive Mathematics today

Douglas Bridges University of Canterbury, Christchurch, New Zealand 4pm Wednesday 23rd May 2007 Room 2509, JCMB, King's Buildings Note nonstandard day and room

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.

Document Actions