Errett Bishop (1928-1983) was an American 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.
