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:
“Because it is not always easy for an adult to predict what inaccurate ideas a child may have, it can help to answer questions first with one of your own: “What do you think?” Once you find out what a child is really asking, you’ll be in a better position to give a helpful answer based on the facts.”
—Joanna Cole (20th century)