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:
“The new supplants the old. Yet men’s minds are stuffed with outworn bunk. Educating the young in the latest findings of authorities and scholars in the social sciences is important. It is equally important to devise ways and means for aiding the middle-aged and old to reexamine hang-over unscientific doctrines and ideas in the light of recent discovery and research.”
—Mary Barnett Gilson (1877–?)