On Truth (2010-2019)

“A proof in mathematics is a compelling argument that a proposition holds without exception; a disproof requires only the demonstration of an exception. A mathematical proof does not, in general, establish the empirical truth of whatever is proved. What it establishes is that whatever is proved - usually a theorem - follows logically from the givens, or axioms.” (Raymond S Nickerson, “Mathematical Reasoning”, 2010)

“What is the basis of this interest in beauty? Is it the same in both mathematics and science? Is it rational, in either case, to expect or demand that the products of the discipline satisfy such a criterion? Is there an underlying assumption that the proper business of mathematics and science is to discover what can be discovered about reality and that truth - mathematical and physical - when seen as clearly as possible, must be beautiful? If the demand for beauty stems from some such assumption, is the assumption itself an article of blind faith? If such an assumption is not its basis, what is?” (Raymond S Nickerson, “Mathematical Reasoning:  Patterns, Problems, Conjectures, and Proofs”, 2010)

“A proof in logic and mathematics is, traditionally, a deductive argument from some given assumptions to a conclusion. Proofs are meant to present conclusive evidence in the sense that the truth of the conclusion should follow necessarily from the truth of the assumptions. Proofs must be, in principle, communicable in every detail, so that their correctness can be checked.” (Sara Negri  & Jan von Plato, “Proof Analysis”, 2011)

“[…] statistics is a method of pursuing truth. At a minimum, statistics can tell you the likelihood that your hunch is true in this time and place and with these sorts of people. This type of pursuit of truth, especially in the form of an event’s future likelihood, is the essence of psychology, of science, and of human evolution.” (Arthur Aron et al, "Statistics for Psychology" 6th Ed., 2012)

“Math is a way to describe reality and figure out how the world works, a universal language that has become the gold standard of truth. In our world, increasingly driven by science and technology, mathematics is becoming, ever more, the source of power, wealth, and progress. Hence those who are fluent in this new language will be on the cutting edge of progress.” (Edward Frenkel, “Love and Math”, 2014)

"In mathematics, we often depend on the proof of a statement to offer not only a justification of its truth, but also a way of understanding its implications, its connections to other established truths - a way, in short of explaining the statement. But sometimes even though a proof does its job of showing the truth of a result it still leaves us with the nagging question of why.’ It may be elusive - given a specific proof - to describe in useful terms the type of explanation the proof actually offers. It would be good to have an adequate vocabulary to help us think about the explanatory features of mathematics (and, more generally, of science)." (Barry Mazur, "On the word ‘because’ in mathematics, and elsewhere", 2017)

“Scientists generally agree that no theory is 100 percent correct. Thus, the real test of knowledge is not truth, but utility.” (Yuval N Harari, “Sapiens: A brief history of humankind”, 2017)