X-Nico

3 unusual facts about Errett Bishop


Errett

Errett Bishop (1928–1983), American mathematician known for his work on analysis

Errett Bishop

He proved important results in this area such as the biholomorphic embedding theorem for a Stein manifold as a closed submanifold in \mathbb{C}^n, and a new proof of Remmert's proper mapping theorem.

Existence theorem

For example according to Errett Bishop's definitions, the continuity of a function (such as sin x) should be proved as a constructive bound on the modulus of continuity, meaning that the existential content of the assertion of continuity is a promise that can always be kept.



see also