Mathematical Truth III

"As a practical matter, mathematics is a science of pattern and order. Its domain is not molecules or cells, but numbers, chance, form, algorithms, and change. As a science of abstract objects, mathematics relies on logic rather than observation as its standard of truth, yet employs observation, simulation, and even experimentation as a means of discovering truth. "(National Research Council, "Everybody Counts",  1989)

“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”, 1997)

“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)

"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)

"Mathematical truth is not totally objective. If a mathematical statement is false, there will be no proofs, but if it istrue, thre will be an endless variety of proofs, not just one! Proofs are not impersonal, they express the personality of theircreator/discoverer just as much as literary efforts do. If something important is true, there will be many reasons that it istrue, many proofs of that fact. [...] each proof will emphasize different aspects of the problem, each proof will lead in a different direction. Each one will have different corollaries, different generalizations. [...] Mathematical facts are not isolated, they are woven into a vast spider's web of interconnections." (Gregory Chaitin "Meta Math: The Quest for Omega", 2005)

"It is proof that is our device for establishing the absolute and irrevocable truth of statements in our subject.” (Steven G Krantz, "The History and Concept of Mathematical", 2007)

"There is an absolute nature to truth in mathematics, which is unmatched in any other branch of knowledge. A theorem, once proven, requires independent checking but not repetition or independent derivation to be accepted as correct."  (James Glimm, "Reflections and Prospectives", 2009)

"Truth in mathematics is totally dependent on pure thought, with no component of data to be added. This is unique. Associated with truth in mathematics is an absolute certainty in its validity. Why does this matter, and why does it go beyond a cultural oddity of our profession? The answer is that mathematics is deeply embedded in the reasoning used within many branches of knowledge. That reasoning often involves conjectures, assumptions, intuition. But whatever aspect has been reduced to mathematics has an absolute validity. As in other subjects search for truth, the mathematical components embedded in their search are like the boulders in the stream, providing a solid footing on which to cross from one side to the other.” (James Glimm, "Reflections and Prospectives", 2009)