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:
“They [creative children] ask more questions than most children. They’re usually spontaneous and enthusiastic. Their ideas are unique and occasionally strike other kids as weird. They’re independent. Not that they don’t care at all what other kids think, but they’re able to do their thing despite the fact that their peers may think it’s strange. And they have lots and lots of ideas.”
—Silvia Rimm (20th century)