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

Errett Bishop

Have you considered sponsoring a child
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.