Bio: Errett Albert Bishop was an American mathematician known for his work on analysis. He expanded constructive analysis in his 1967 Foundations of Constructive Analysis, where he proved most of the important theorems in real analysis by constructive methods.