The Errett Bishop reference article from the English Wikipedia on 24-Jul-2004
(provided by Fixed Reference: snapshots of Wikipedia from wikipedia.org)

Errett Bishop

For people who check facts
Errett Bishop (1928-1983) was a mathematician who managed to prove versions of the most important theorems in real analysis within the constructivist framework. See constructivist analysis.

He also worked in functional analysis.