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:
“One of the most singular facts about the unwritten history of this country is the consummate ability with which Southern influence, Southern ideas and Southern ideals, have from the very beginning even up to the present day, dictated to and domineered over the brain and sinew of this nation.”
—Anna Julia Cooper (1859–1964)