Errett Bishop
From Exampleproblems
Errett Albert Bishop (1928-1983) was an American mathematician who proved versions of the most important theorems in real analysis within a constructivist framework. See constructivist analysis.
He also worked in functional analysis.
