"The belief that mathematics, because it is abstract, because it is static and cold and gray, is detached from life, is a mistaken belief. Mathematics, even in its purest and most abstract estate, is not detached from life. It is just the ideal handling of the problems of life, as sculpture may idealize a human figure or as poetry or painting may idealize a figure or a scene. Mathematics is precisely the ideal handling of the problems of life, and the central ideas of the science, the great concepts about which its stately doctrines have been built up, are precisely the chief ideas with which life must always deal and which, as it tumbles and rolls about them through time and space, give it its interests and problems, and its order and rationality." (Cassius J Keyser,"The Humanization of the Teaching of Mathematics", 1912)
"The critical mathematician has abandoned the search for truth. He no longer flatters himself that his propositions are or can be known to him or to any other human being to be true; and he contents himself with aiming at the correct, or the consistent. The distinction is not annulled nor even blurred by the reflection that consistency contains immanently a kind of truth. He is not absolutely certain, but he believes profoundly that it is possible to find various sets of a few propositions each such that the propositions of each set are compatible, that the propositions of each such set imply other propositions, and that the latter can be deduced from the former with certainty. That is to say, he believes that there are systems of coherent or consistent propositions, and he regards it his business to discover such systems. Any such system is a branch of mathematics." (Cassius J Keyser, Science, New Series, Vol. 35 (904), 1912)
"It is only when one looks not towards the outside, at their utility, but within mathematics itself at the relationship among the unused parts that one sees the other, real face of this science. It is not goal-oriented but uneconomical and passionate… (The mathematician) believes that what he is doing will probably eventually lead to some practical cash value, but this is not what spurs him on; he serves the truth, which is to say his destiny, not its purpose. The result may be economical a thousand times over; what is immanent is a total surrender and a passionate devotion." (Robert Musil, "The Mathematical Man", 1913)
"The mathematical facts worthy of being studied are those which, by their analogy with other facts, are capable of leading us to the knowledge of a physical law. They reveal the kinship between other facts, long known, but wrongly believed to be strangers to one another." (Henri Poincaré, 1913)
"But, despite their remoteness from sense experience, we do have something like a perception of the objects of set theory, as is seen from the fact that the axioms force themselves upon us as being true. I don't see any reason why we should have less confidence in this kind of perception, i.e., in mathematical intuition, than in sense perception, which induces us to build up physical theories and to expect that future sense perception will agree with them and, moreover, to believe that a question not decidable now has meaning and may be decided in future." (Kurt Gödel, "What is Cantor’s Continuum problem?", American Mathematical Monthly 54, 1947)
"[…] the chief reason in favor of any theory on the principles of mathematics must always be inductive, i.e., it must lie in the fact that the theory in question enables us to deduce ordinary mathematics. In mathematics, the greatest degree of self-evidence is usually not to be found quite at the beginning, but at some later point; hence the early deductions, until they reach this point, give reasons rather from them, than for believing the premises because true consequences follow from them, than for believing the consequences because they follow from the premises." (Alfred N Whitehead, "Principia Mathematica", 1950)
"The trouble seems to lie chiefly in the assumption that mathematics is by nature something absolute, unchanging with time and place, and therefore capable of being identified once the genius with the eye sharp enough to perceive and characterize it appears on the human scene. And, since mathematics is nothing of the sort (although the layman will probably go on for centuries hence believing that it is), only failure can ensue from the attempt so to characterize it." (Raymond L Wilder,"Introduction to the Foundations of Mathematics", 1952)
"The most natural way to give an independence proof is to establish a model with the required properties. This is not the only way to proceed since one can attempt to deal directly and analyze the structure of proofs. However, such an approach to set theoretic questions is unnatural since all our intuition come from our belief in the natural, almost physical model of the mathematical universe." (Paul J Cohen, "Set Theory and the Continuum Hypothesis", 1966)
"Up until now most economists have concerned themselves with linear systems, not because of any belief that the facts were so simple, but rather because of the mathematical difficulties involved in nonlinear systems [... Linear systems are] mathematically simple, and exact solutions are known. But a high price is paid for this simplicity in terms of special assumptions which must be made." (Paul A Samuelson, "Foundations of Economic Analysis", 1966)
"Some people believe that a theorem is proved when a logically correct proof is given; but some people believe a theorem is proved only when the student sees why it is inevitably true." (Wesley R Hamming, "Coding and Information Theory", 1980)
"Theorems often tell us complex truths about the simple things, but only rarely tell us simple truths about the complex ones. To believe otherwise is wishful thinking or ‘mathematics envy’." (Marvin Minsky, "Music, Mind, and Meaning", 1981)
"Mathematical truth ultimately depends on an irreducible set of assumptions, which are adopted without demonstration. But to qualify as true knowledge, the assumptions require a warrant for their assertion. There is no valid warrant for mathematical knowledge other than demonstration or proof. Therefore the assumptions are beliefs, not knowledge, and remain open to challenge, and thus to doubt." (Paul Ernest, "The Philosophy of Mathematics Education", 1991)
"The worst, i.e., most dangerous, feature of 'accepting the null hypothesis' is the giving up of explicit uncertainty. [...] Mathematics can sometimes be put in such black-and-white terms, but our knowledge or belief about the external world never can." (John Tukey, "The Philosophy of Multiple Comparisons", Statistical Science Vol. 6 (1), 1991)
"The belief that the underlying order of the world can be expressed in mathematical form lies at the very heart of science. So deep does this belief run that a branch of science is considered not to be properly understood until it can be cast in mathematics." (Paul C W Davies, "The Mind of God: The Scientific Basis for a Rational World", 1992)
"A fundamental difference between religious and scientific thought is that the received beliefs in religion are ultimately based on revelations or pronouncements, usually by some long dead prophet or priest.[...] Dogma is interpreted by a caste of priests and is accepted by the multitude on faith or under duress. In contrast, the statements of science are derived from the data of observations and experiment, and from the manipulation of these data according to logical and often mathematical procedures." (John A Moore, "Science as a Way of Knowing: The Foundations of Modern Biology", 1993)
"Nature is not ‘given’ to us - our minds are never virgin in front of reality. Whatever we say we see or observe is biased by what we already know, think, believe, or wish to see. Some of these thoughts, beliefs and knowledge can function as an obstacle to our understanding of the phenomena. […] mathematics is not a natural science. It is not about the phenomena of the real world, it is not about observation and induction. Mathematical induction is not a method for making generalizations." (Anna Sierpinska,"Understanding in Mathematics", 1994)
"What's so awful about using intuition or using inductive arguments? […] without them we would have virtually no mathematics at all; for, until the last few centuries, mathematics was advanced almost solely by intuition, inductive observation, and arguments designed to compel belief, not by laboured proofs, and certainly not through proofs of the ghastliness required by today's academic journals" (Jon MacKeman,"What's the point of proof?", Mathematics Teaching 155, 1996)
"To be an engineer, and build a marvelous machine, and to see the beauty of its operation is as valid an experience of beauty as a mathematician's absorption in a wondrous theorem. One is not ‘more’ beautiful than the other. To see a space shuttle standing on the launch pad, the vented gases escaping, and witness the thunderous blast-off as it climbs heavenward on a pillar of flame - this is beauty. Yet it is a prime example of applied mathematics." (Calvin C Clawson, "Mathematical Mysteries", 1996)
"The most common instance of beauty in mathematics is a brilliant step in an otherwise undistinguished proof. […] A beautiful theorem may not be blessed with an equally beautiful proof; beautiful theorems with ugly proofs frequently occur. When a beautiful theorem is missing a beautiful proof, attempts are made by mathematicians to provide new proofs that will match the beauty of the theorem, with varying success. It is, however, impossible to find beautiful proofs of theorems that are not beautiful." (Gian-Carlo Rota,"The Phenomenology of Mathematical Beauty", 1997)
"A theorem is never arrived at in the way that logical thought would lead you to believe or that posterity thinks. It is usually much more accidental, some chance discovery in answer to some kind of question. Eventually you can rationalize it and say that this is how it fits. Discoveries never happen as neatly as that. You can rewrite history and make it look much more logical, but actually it happens quite differently." (Michael F Atiyah, 2004)
"Contrary to popular belief, mathematics is not a universal language. Rather, mathematics is based on a strict set of definitions and rules that have been instated and to which meaning has been given." (Christopher Tremblay, "Mathematics for Game Developers", 2004)
"[…] a proof is a device of communication. The creator or discoverer of this new mathematical result wants others to believe it and accept it." (Steven G Krantz, "The Proof is in the Pudding", 2007)
"Our inner weighing of evidence is not a careful mathematical calculation resulting in a probabilistic estimate of truth, but more like a whirlpool blending of the objective and the personal. The result is a set of beliefs - both conscious and unconscious - that guide us in interpreting all the events of our lives." (Leonard Mlodinow, "War of the Worldviews: Where Science and Spirituality Meet - and Do Not", 2011)
"There are thousands of apparent mathematical truths out there that we humans have discovered and believe to be true but have so far been unable to prove. They are called conjectures. A conjecture is simply a statement about mathematical reality that you believe to be true [..]" (Paul Lockhart, "Measurement", 2012)
"We tend to think of maths as being an 'exact' discipline, where answers are right or wrong. And it's true that there is a huge part of maths that is about exactness. But in everyday life, numerical answers are sometimes just the start of the debate. If we are trained to believe that every numerical question has a definite, 'right' answer then we miss the fact that numbers in the real world are a lot fuzzier than pure maths might suggest." (Rob Eastaway, "Maths on the Back of an Envelope", 2019)
"There exists, among mathematicians, a deep-seated and strong belief which sustains them in their abstract studies, namely that none of their problems can remain without any answer." (Gheorghe Ţiţeica)
No comments:
Post a Comment