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.