Constructivist Ideas
From the other direction there has been considerable clarification of what constructive mathematics is; without the emergence of a 'master theory'. 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. One could get another explanation from type theory, in which a proof of an existential statement can come only from a term (which we can see as the computational content).
Read more about this topic: Existence Theorem
Famous quotes containing the word ideas:
“For later in the vast gloom of cities, only there you learn
How the ideas were good only because they had to die,
Leaving you alone and skinless, a drawing by Vesalius.”
—John Ashbery (b. 1927)