"I am incapable of conceiving infinity, and yet I do not accept finity." (Simone de Beauvoir, "La Vieillesse", 1970)
"We say the map is different from the territory. But what is the territory? Operationally, somebody went out with a retina or a measuring stick and made representations which were then put on paper. What is on the paper map is a representation of what was in the retinal representation of the man who made the map; and as you push the question back, what you find is an infinite regress, an infinite series of maps. The territory never gets in at all. […] Always, the process of representation will filter it out so that the mental world is only maps of maps, ad infinitum." (Gregory Bateson, "Steps to an Ecology of Mind", 1972)
"The conception of the mental construction which is the fully analysed proof as being an infinite structure must, of course, be interpreted in the light of the intuitionist view that all infinity is potential infinity: the mental construction consists of a grasp of general principles according to which any finite segment of the proof could be explicitly constructed." (Michael Dummett, "The philosophical basis of intuitionistic logic", 1975)
"There is an infinite regress in proofs; therefore proofs do not prove. You should realize that proving is a game, to be played while you enjoy it and stopped when you get tired of it." (Imre Lakatos, "Proofs and Refutations", 1976)
"Mathematical induction […] is an entirely different procedure. Although it, too, leaps from the knowledge of particular cases to knowledge about an infinite sequence of cases, the leap is purely deductive. It is as certain as any proof in mathematics, and an indispensable tool in almost every branch of mathematics." (Martin Gardner, "Aha! Insight", 1978)
No comments:
Post a Comment