"Mathematics has been trivialized, derived from indubitable, trivial axioms in which only absolutely clear trivial terms figure, and from which truth pours down in clear channels." (Imre Lakatos, "Mathematics, Science and Epistemology", 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)
"In the initial stages of research, mathematicians do not seem to function like theorem-proving machines. Instead, they use some sort of mathematical intuition to ‘see’ the universe of mathematics and determine by a sort of empirical process what is true. This alone is not enough, of course. Once one has discovered a mathematical truth, one tries to find a proof for it." (Rudy Rucker, "Infinity and the Mind: The science and philosophy of the infinite", 1982)
"In brief, the way we do mathematics is human, very much so. But mathematicians have no doubt that there is a mathematical reality beyond our puny existence. We discover mathematical truth, we do not create it. We ask ourselves what seems to be a natural question and start working on it, and not uncommonly we find the solution (or someone else does). And we know that the answer could not have been different." (David Ruelle, "Chance and Chaos", 1991)
"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 philosophy of mathematics is the branch of philosophy whose task is to reflect on, and account for the nature of mathematics. [...] The role of the philosophy of mathematics is to provide a systematic and absolutely secure foundation for mathematical knowledge, that is for mathematical truth." (Paul Ernest, "The Philosophy of Mathematics Education", 1991)
"The absolutist view of mathematical knowledge is that it consists of certain and unchallengeable truths. According to this view, mathematical knowledge is made up of absolute truths, and represents the unique realm of certain knowledge, apart from logic and statements true by virtue of the meanings of terms […]" (Paul Ernest, "The Philosophy of Mathematics Education", 1991)
"There is one qualitative aspect of reality that sticks out from all others in both profundity and mystery. It is the consistent success of mathematics as a description of the workings of reality and the ability of the human mind to discover and invent mathematical truths." (John D Barrow, "Theories of Everything: The quest for ultimate explanation. New", 1991)
"This absolutist view of mathematical knowledge is based on two types of assumptions: those of mathematics, concerning the assumption of axioms and definitions, and those of logic concerning the assumption of axioms, rules of inference and the formal language and its syntax. These are local or micro-assumptions. There is also the possibility of global or macro-assumptions, such as whether logical deduction suffices to establish all mathematical truths." (Paul Ernest, "The Philosophy of Mathematics Education", 1991)
"When all the mathematical smoke clears away, Godel's message is that mankind will never know the final secret of the universe by rational thought alone. It's impossible for human beings to ever formulate a complete description of the natural numbers. There will always be arithmetic truths that escape our ability to fence them in using the tools, tricks and subterfuges of rational analysis."
"Mathematics is one of the surest ways for a man to feel the power of thought and the magic of the spirit. Mathematics is one of the eternal truths and, as such, raises the spirit to the same level on which we feel the presence of God." (Malba Tahan & Patricia R Baquero,"The Man Who Counted", 1993)
"Mathematical beauty and mathematical truth share the fundamental property of objectivity, that of being inescapably context-dependent. Mathematical beauty and mathematical truth, like any other objective characteristics of mathematics, are subject to the laws of the real world, on a par with the laws of physics." (Gian-Carlo Rota, "The Phenomenology of Mathematical Beauty", Synthese, 111(2), 1997)
"Mathematical logic deals not with the truth but only with the game of truth." (Gian-Carlo Rota, "Indiscrete Thoughts", 1997)
"It is often the case in mathematics that the definition of truth is assumed to be clear-cut, unambiguous, and unproblematic. While this is often justifiable as a simplifying assumption, the fact is that it is incorrect and that the meaning of the concept of truth in mathematics has changed significantly over time." (Paul Ernest, "Social Constructivism as a Philosophy of Mathematics", 1998)
"Mathematical truth is found to exceed the proving of theorems and to elude total capture in the confining meshes of any logical net." (John Polkinghorne, "Belief in God in an Age of Science", 1998)
"The reason why a 'crude', experimental approach is not adequate for determining mathematical truth lies in the nature of what mathematics is and is intended to be. Though its roots lie in the physical world, mathematics is a precise and idealized discipline. The 'points', 'lines', 'planes', and other ideal constructs of mathematics have no exact counterpart in reality. What the mathematician does is to take a totally abstract, idealized view of the world, and reason with his abstractions in an entirely precise and rigorous fashion." (Keith Devlin, "Mathematics: The New Golden Age", 1998)
"Whatever the ins and outs of poetry, one thing is clear: the manner of expression - notation - is fundamental. It is the same with mathematics - not in the aesthetic sense that the beauty of mathematics is tied up with how it is expressed - but in the sense that mathematical truths are revealed, exploited and developed by various notational innovations." (James R Brown, "Philosophy of Mathematics", 1999)
No comments:
Post a Comment