"I am not content with algebra, in that it yields neither the shortest proofs nor the most beautiful constructions of geometry. Consequently, in view of this, I consider that we need yet another kind of analysis, geometric or linear, which deals directly with position, as algebra deals with magnitude." (Gottfried Leibniz, [letter to Christiaan Huygens] 1670)
"A theorem […] is an inference obtained by constructing a diagram according to a general precept, and after modifying it as ingenuity may dictate, observing in it certain relations, and showing that they must subsist in every case, retranslating the proposition into general terms." (Charles S Peirce, "New Elements" ["Kaina stoiceia"], 1904)
"The question of the origin of the hypothesis belongs to a domain in which no very general rules can be given; experiment, analogy and constructive intuition play their part here. But once the correct hypothesis is formulated, the principle of mathematical induction is often sufficient to provide the proof." (Richard Courant & Herbert Robbins, "What Is Mathematics?: An Elementary Approach to Ideas and Methods", 1941)
"The diagrams incorporate a large amount of information. Their use provides extensive savings in space and in mental effort. In the case of many theorems, the setting up of the correct diagram is the major part of the proof. We therefore urge that the reader stop at the end of each theorem and attempt to construct for himself the relevant diagram before examining the one which is given in the text. Once this is done, the subsequent demonstration can be followed more readily; in fact, the reader can usually supply it himself." (Samuel Eilenberg & Norman E. Steenrod, "Foundations of Algebraic Topology", 1952)
"The construction of hypotheses is a creative act of inspiration, intuition, invention; its essence is the vision of something new in familiar material. The process must be discussed in psychological, not logical, categories; studied in autobiographies and biographies, not treatises on scientific method; and promoted by maxim and example, not syllogism or theorem." (Milton Friedman, "Essays in Positive Economics", 1953)
"For the great majority of mathematicians, mathematics is […] a whole world of invention and discovery - an art. The construction of a new theorem, the intuition of some new principle, or the creation of a new branch of mathematics is the triumph of the creative imagination of the mathematician, which can be compared to that of a poet, the painter and the sculptor." (George F J Temple, "100 Years of Mathematics: a Personal Viewpoint", 1981)
"Virtually all mathematical theorems are assertions about the existence or nonexistence of certain entities. For example, theorems assert the existence of a solution to a differential equation, a root of a polynomial, or the nonexistence of an algorithm for the Halting Problem. A platonist is one who believes that these objects enjoy a real existence in some mystical realm beyond space and time. To such a person, a mathematician is like an explorer who discovers already existing things. On the other hand, a formalist is one who feels we construct these objects by our rules of logical inference, and that until we actually produce a chain of reasoning leading to one of these objects they have no meaningful existence, at all."
"A world view is a system of co-ordinates or a frame of reference in which everything presented to us by our diverse experiences can be placed. It is a symbolic system of representation that allows us to integrate everything we know about the world and ourselves into a global picture, one that illuminates reality as it is presented to us within a certain culture. […] A world view is a coherent collection of concepts and theorems that must allow us to construct a global image of the world, and in this way to understand as many elements of our experience as possible." (Diederick Aerts et al, "World views: From Fragmentation to Integration", 1994)
"What brings us mathematical knowledge? The carriers of mathematical knowledge are proofs, more generally arguments and constructions, as embedded in larger contexts. Mathematicians and teachers of higher mathematics know this, but it should be said. Issues about competence and intuition can be raised as well as factors of knowledge involving the general dissemination of analogical or inductive reasoning or the specific conveyance of methods, approaches or ways of thinking. But in the end, what can be directly conveyed as knowledge are proofs." (Akihiro Kanamori, "Mathematical Knowledge: Motley and Complexity of Proof", Annals of the Japan Association for Philosophy of Science Vol. 21, 2013)
No comments:
Post a Comment