On Definitions V

"The use of a mathematical definition is, to deduce from it the properties of the thing defined […]" (Robert Woodhouse," On the necessary Truth of certain Conclusions obtained by Means of imaginary Quantities", 1801)

"The language of mathematics, permitting great sharpness and accuracy of definition, conduces largely to their power of drawing necessary conclusions. Language is not only a means of recording the results of our thinking; it is an instrument of thought, and that of the highest value." (Thomas Hill, "The Imagination in Mathematics", The North American Review Vol. 85 (176), 1857)

"The most striking characteristic of the written language of algebra and of the higher forms of the calculus is the sharpness of definition, by which we are enabled to reason upon the symbols by the mere laws of verbal logic, discharging our minds entirely of the meaning of the symbols, until we have reached a stage of the process where we desire to interpret our results. The ability to attend to the symbols, and to perform the verbal, visible changes in the position of them permitted by the logical rules of the science, without allowing the mind to be perplexed with the meaning of the symbols until the result is reached which you wish to interpret, is a fundamental part of what is called analytical power. Many students find themselves perplexed by a perpetual attempt to interpret not only the result, but each step of the process. They thus lose much of the benefit of the labor-saving machinery of the calculus and are, indeed, frequently incapacitated for using it." (Thomas Hill, "Uses of Mathesis", Bibliotheca Sacra Vol. 32, 1875)

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

"[…] mathematics is a science whose concepts are too breakable, too dry, too precisely limited. The disciplines of life and society, of human thinking, are fluid disciplines, with some flexibility, with concepts that are not clearly defined, but which are able to include things less strictly delimited than a mathematical definition does it." (Grigore C Moisil, 1968)

"Because mathematical proofs are long, they are also difficult to invent. One has to construct, without making any mistakes, long chains of assertions, and see what one is doing, see where one is going. To see means to be able to guess what is true and what is false, what is useful and what is not. To see means to have a feeling for which definitions one should introduce, and what the key assertions are that will allow one to develop a theory in a natural manner." (David Ruelle, "Chance and Chaos", 1991)

"It is not surprising to find many mathematical ideas interconnected or linked. The expansion of mathematics depends on previously developed ideas. The formation of any mathematical system begins with some undefined terms and axioms (assumptions) and proceeds from there to definitions, theorems, more axioms and so on. But history points out this is not necessarily the route that creativity" (Theoni Pappas, "More Joy of Mathematics: Exploring mathematical insights & concepts", 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)

"The goal of a definition is to introduce a mathematical object. The goal of a theorem is to state some of its properties, or interrelations between various objects. The goal of a proof is to make such a statement convincing by presenting a reasoning subdivided into small steps each of which is justified as an "elementary" convincing argument." (Yuri I Manin, "Mathematics as Metaphor: Selected Essays of Yuri I. Manin", 2007)

"As students, we learned mathematics from textbooks. In textbooks, mathematics is presented in a rigorous and logical way: definition, theorem, proof, example. But it is not discovered that way. It took many years for a mathematical subject to be understood well enough that a cohesive textbook could be written. Mathematics is created through slow, incremental progress, large leaps, missteps, corrections, and connections." (Richard S Richeson, "Eulers Gem: The Polyhedron Formula and the birth of Topology", 2008)