"[…] the speculative propositions of mathematics do not relate to facts; […] all that we are convinced of by any demonstration in the science, is of a necessary connection subsisting between certain suppositions and certain conclusions. When we find these suppositions actually take place in a particular instance, the demonstration forces us to apply the conclusion. Thus, if I could form a triangle, the three sides of which were accurately mathematical lines, I might affirm of this individual figure, that its three angles are equal to two right angles; but as the imperfection of my senses puts it out of my power to be, in any case, certain of the exact correspondence of the diagram which I delineate, with the definitions given in the elements of geometry, I never can apply with confidence to a particular figure, a mathematical theorem." (Dugald Stewart, "Elements of the Philosophy of the Human Mind", 1792)
"The reasoning of mathematicians is founded on certain and infallible principles. Every word they use conveys a determinate idea, and by accurate definitions they excite the same ideas in the mind of the reader that were in the mind of the writer. When they have defined the terms they intend to make use of, they premise a few axioms, or self-evident principles, that every one must assent to as soon as proposed. They then take for granted certain postulates, that no one can deny them, such as, that a right line may be drawn from any given point to another, and from these plain, simple principles they have raised most astonishing speculations, and proved the extent of the human mind to be more spacious and capacious than any other science." (John Adams,"Diary", 1850)
"We say it is ‘explanation’ but it is only in ‘description’ that we are in advance of the older stages of knowledge and science. We describe better we explain just as little as our predecessors." (Friedrich W Nietzsche, "The Joyful Wisdom", 1887)
"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 steady progress of physics requires for its theoretical formulation a mathematics which get continually more advanced. […] it was expected that mathematics would get more and more complicated, but would rest on a permanent basis of axioms and definitions, while actually the modern physical developments have required a mathematics that continually shifts its foundation and gets more abstract. Non-Euclidean geometry and noncommutative algebra, which were at one time were considered to be purely fictions of the mind and pastimes of logical thinkers, have now been found to be very necessary for the description of general facts of the physical world. It seems likely that this process of increasing abstraction will continue in the future and the advance in physics is to be associated with continual modification and generalisation of the axioms at the base of mathematics rather than with a logical development of any one mathematical scheme on a fixed foundation." (Paul A M Dirac, "Quantities singularities in the electromagnetic field", Proceedings of the Royal Society of London, 1931)
"In the mathematical development of recent decades one sees clearly the rise of the conviction that the relevant properties of mathematical objects are those which can be stated in terms of their abstract structure rather than in terms of the elements which the objects were thought to be made of. The question thus naturally arises whether one can give a foundation for mathematics which expresses wholeheartedly this conviction concerning what mathematics is about, and in particular in which classes and membership in classes do not play any role. Here by 'foundation' we mean a single system of first-order axioms in which all usual mathematical objects can be defined and all their usual properties proved." (F William Lawvere, "The category of categories as a foundation for mathematics", 1965)
"Before going further into the relation between mathematical practice and foundations, it is worth noting the obvious distinction between (i) foundational analysis (which is specifically concerned with validity) and (ii) general conceptual analysis (which, in the traditional sense of the word, is certainly a philosophical activity). As mentioned above, the working mathematician is rarely concerned with (i), but he does engage in (ii), for instance when establishing definitions of such concepts as length or area or, for that matter, natural transformation. For this activity to be called an analysis the principal issue must be whether the definitions are correct, not merely, for instance, whether they are useful technically for deriving results not involving the concepts (when their correctness is irrelevant). In short, it’s not (only) what you do it’s the way that you do it." (Georg Kreisel, "Observations on popular discussions of foundations", 1971)
"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)
No comments:
Post a Comment