17 January 2023

On Precision I: Precision in Mathematics

"The calculation of probabilities is of the utmost value, […] but in statistical inquiries there is need not so much of mathematical subtlety as of a precise statement of all the circumstances. The possible contingencies are too numerous to be covered by a finite number of experiments, and exact calculation is, therefore, out of the question. Although nature has her habits, due to the recurrence of causes, they are general, not invariable. Yet empirical calculation, although it is inexact, may be adequate in affairs of practice." (Gottfried W Leibniz [letter to Bernoulli], 1703)

"The domain of physics is no proper field for mathematical pastimes. The best security would be in giving a geometrical training to physicists, who need not then have recourse to mathematicians, whose tendency is to despise experimental science. By this method will that union between the abstract and the concrete be effected which will perfect the uses of mathematical, while extending the positive value of physical science. Meantime, the uses of analysis in physics is clear enough. Without it we should have no precision, and no co-ordination; and what account could we give of our study of heat, weight, light, etc.? We should have merely series of unconnected facts, in which we could foresee nothing but by constant recourse to experiment; whereas, they now have a character of rationality which fits them for purposes of prevision." (Auguste Comte, "The Positive Philosophy", 1830)

"Besides accustoming the student to demand complete proof, and to know when he has not obtained it, mathematical studies are of immense benefit to his education by habituating him to precision. It is one of the peculiar excellencies of mathematical discipline, that the mathematician is never satisfied with à peu près. He requires the exact truth." (John S Mill, "An Examination of Sir William Hamilton's Philosophy", 1865)

"Nor do I know any study which can compete with mathematics in general in furnishing matter for severe and continued thought. Metaphysical problems may be even more difficult; but then they are far less definite, and, as they rarely lead to any precise conclusion, we miss the power of checking our own operations, and of discovering whether we are thinking and reasoning or merely fancying and dreaming." (Isaac Todhunter, "Conflict of Studies and Other Essays", 1873)

"Thought is symbolical of Sensation as Algebra is of Arithmetic, and because it is symbolical, is very unlike what it symbolises. For one thing, sensations are always positive; in this resembling arithmetical quantities. A negative sensation is no more possible than a negative number. But ideas, like algebraic quantities, may be either positive or negative. However paradoxical the square of a negative quantity, the square root of an unknown quantity, nay, even in imaginary quantity, the student of Algebra finds these paradoxes to be valid operations. And the student of Philosophy finds analogous paradoxes in operations impossible in the sphere of Sense. Thus although it is impossible to feel non-existence, it is possible to think it; although it is impossible to frame an image of Infinity, we can, and do, form the idea, and reason on it with precision." (George H Lewes "Problems of Life and Mind", 1873)

"The culture of the geometric imagination, tending to produce precision in remembrance and invention of visible forms will, therefore, tend directly to increase the appreciation of works of belles-letters." (Thomas Hill, "Uses of Mathesis", Bibliotheca Sacra Vol. 32, 1875)

"In mathematics we see the conscious logical activity of our mind in its purest and most perfect form; here is made manifest to us all the labor and the great care with which it progresses, the precision which is necessary to determine exactly the source of the established general theorems, and the difficulty with which we form and comprehend abstract conceptions; but we also learn here to have confidence in the certainty, breadth, and fruitfulness of such intellectual labor." (Hermann von Helmholtz, "Vorträge und Reden", 1896)

"The mathematical formula is the point through which all the light gained by science passes in order to be of use to practice; it is also the point in which all knowledge gained by practice, experiment, and observation must be concentrated before it can be scientifically grasped. The more distant and marked the point, the more concentrated will be the light coming from it, the more unmistakable the insight conveyed. All scientific thought, from the simple gravitation formula of Newton, through the more complicated formulae of physics and chemistry, the vaguer so called laws of organic and animated nature, down to the uncertain statements of psychology and the data of our social and historical knowledge, alike partakes of this characteristic, that it is an attempt to gather up the scattered rays of light, the different parts of knowledge, in a focus, from whence it can be again spread out and analyzed, according to the abstract processes of the thinking mind. But only when this can be done with a mathematical precision and accuracy is the image sharp and well-defined, and the deductions clear and unmistakable. As we descend from the mechanical, through the physical, chemical, and biological, to the mental, moral, and social sciences, the process of focalization becomes less and less perfect, - the sharp point, the focus, is replaced by a larger or smaller circle, the contours of the image become less and less distinct, and with the possible light which we gain there is mingled much darkness, the sources of many mistakes and errors. But the tendency of all scientific thought is toward clearer and clearer definition; it lies in the direction of a more and more extended use of mathematical measurements, of mathematical formulae." (John T Merz, "History of European Thought in the 19th Century" Vol. 1, 1904)

"The apodictic quality of mathematical thought, the certainty and correctness of its conclusions, are due, not to a special mode of ratiocination, but to the character of the concepts with which it deals. What is that distinctive characteristic? I answer: precision, sharpness, completeness of definition. But how comes your mathematician by such completeness? There is no mysterious trick involved; some ideas admit of such precision, others do not; and the mathematician is one who deals with those that do." (Cassius J Keyser, "The Universe and Beyond", Hibbert Journal Vol. 3, 1904–1905)

"The development of mathematics toward greater precision has led, as is well known, to the formalization of large tracts of it, so that one can prove any theorem using nothing but a few mechanical rules. [...] One might therefore conjecture that these axioms and rules of inference are sufficient to decide any mathematical question that can at all be formally expressed in these systems. It will be shown below that this is not the case, that on the contrary there are in the two systems mentioned relatively simple problems in the theory of integers that cannot be decided on the basis of the axioms." (Kurt Gödel, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems", 1931)

"We love to discover in the cosmos the geometrical forms that exist in the depths of our consciousness. The exactitude of the proportions of our monuments and the precision of our machines express a fundamental character of our mind. Geometry does not exist in the earthly world. It has originated in ourselves. The methods of nature are never so precise as those of man. We do not find in the universe the clearness and accuracy of our thought. We attempt, therefore, to abstract from the complexity of phenomena some simple systems whose components bear to one another certain relations susceptible of being described mathematically." (Alexis Carrel, "Man the Unknown", 1935)

"Mathematicians create by acts of insight and intuition. Logic then sanctions the conquests of intuition. It is the hygiene that mathematics practices to keep its ideas healthy and strong. Moreover, the whole structure rests fundamentally on uncertain ground, the intuition of humans. Here and there an intuition is scooped out and replaced by a firmly built pillar of thought; however, this pillar is based on some deeper, perhaps less clearly defined, intuition. Though the process of replacing intuitions with precise thoughts does not change the nature of the ground on which mathematics ultimately rests, it does add strength and height to the structure." (Morris Kline, "Mathematics in Western Culture", 1964)

"Statistics are the art of stating in precise terms that which one does not know." (William Kruskal, "Statistics, Moliere, and Henry Adams", American Scientist Magazine, 1967)

"The popular image of mathematics as a collection of precise facts, linked together by well-defined logical paths, is revealed to be false. There is randomness and hence uncertainty in mathematics, just as there is in physics." (Paul Davis, "The Mind of God", 1992)

"The voyage of discovery into our own solar system has taken us from clockwork precision into chaos and complexity. This still unfinished journey has not been easy, characterized as it is by twists, turns, and surprises that mirror the intricacies of the human mind at work on a profound puzzle. Much remains a mystery. We have found chaos, but what it means and what its relevance is to our place in the universe remains shrouded in a seemingly impenetrable cloak of mathematical uncertainty." (Ivars Peterson, "Newton’s Clock", 1993)

"[…] equations are like poetry: They speak truths with a unique precision, convey volumes of information in rather brief terms, and often are difficult for the uninitiated to comprehend." (Michael Guillen, "Five Equations That Changed the World", 1995)

"Group theory is a powerful tool for studying the symmetry of a physical system, especially the symmetry of a quantum system. Since the exact solution of the dynamic equation in the quantum theory is generally difficult to obtain, one has to find other methods to analyze the property of the system. Group theory provides an effective method by analyzing symmetry of the system to obtain some precise information of the system verifiable with observations." (Zhong-Qi Ma & Xiao-Yan Gu, "Problems and Solutions in Group Theory for Physicists", 2004)

"At every major step physics has required, and frequently stimulated, the introduction of new mathematical tools and concepts. Our present understanding of the laws of physics, with their extreme precision and universality, is only possible in mathematical terms." (Michael F Atiyah, 2005)

"It makes no sense to seek a single best way to represent knowledge - because each particular form of expression also brings its particular limitations. For example, logic-based systems are very precise, but they make it hard to do reasoning with analogies. Similarly, statistical systems are useful for making predictions, but do not serve well to represent the reasons why those predictions are sometimes correct." (Marvin Minsky, "The Emotion Machine: Commonsense Thinking, Artificial Intelligence, and the Future of the Human Mind", 2006)

"Popular accounts of mathematics often stress the discipline’s obsession with certainty, with proof. And mathematicians often tell jokes poking fun at their own insistence on precision. However, the quest for precision is far more than an end in itself. Precision allows one to reason sensibly about objects outside of ordinary experience. It is a tool for exploring possibility: about what might be, as well as what is." (Donal O’Shea, "The Poincaré Conjecture", 2007)

"Mathematics is a model of exact reasoning, the most precise branch of human knowledge." (Paul Hartal, Mathematics and Reality, 2010)

"Mathematics is both abstract and concrete, revealing much of the mental experiment, working with unobserved abstractions and objects, and the current scientific progress depended on the ability to operate precisely with abstractions and force of reasoning; […]" (Octavian Stanasila, Metabolism of Mathematics and Computer Science No. 8, 2015)

"Mathematics is pure language - the language of science. It is unique among languages in its ability to provide precise expression for every thought or concept that can be formulated in its terms. (In a spoken language, there exist words, like "happiness", that defy definition.) It is also an art - the most intellectual and classical of the arts." (Alfred Adler)

"Mathematics is the science that yields the best opportunity to observe the working of the mind. Its study is the best training of our abilities as it develops both the power and the precision of our thinking. Mathematics is valuable on account of the number and variety of its applications. And it is equally valuable in another respect: By cultivating it, we acquire the habit of a method of reasoning which can be applied afterwards to the study of any subject and can guide us in life's great and little problems." (Nicolas de Condorcet)

"While the individual man is an insoluble puzzle, in the aggregate he becomes a mathematical certainty. You can, for example, never foretell what anyone man will be up to, but you can say with precision what an average number will be up to. Individuals vary, but percentages remain constant. So says the statistician." (Sir Arthur C Doyle)

No comments:

Post a Comment

Related Posts Plugin for WordPress, Blogger...

On Hypothesis Testing III

  "A little thought reveals a fact widely understood among statisticians: The null hypothesis, taken literally (and that’s the only way...