Nature Of Mathematics Quotes (80 quotes)
… just as the astronomer, the physicist, the geologist, or other student of objective science looks about in the world of sense, so, not metaphorically speaking but literally, the mind of the mathematician goes forth in the universe of logic in quest of the things that are there; exploring the heights and depths for facts—ideas, classes, relationships, implications, and the rest; observing the minute and elusive with the powerful microscope of his Infinitesimal Analysis; observing the elusive and vast with the limitless telescope of his Calculus of the Infinite; making guesses regarding the order and internal harmony of the data observed and collocated; testing the hypotheses, not merely by the complete induction peculiar to mathematics, but, like his colleagues of the outer world, resorting also to experimental tests and incomplete induction; frequently finding it necessary, in view of unforeseen disclosures, to abandon one hopeful hypothesis or to transform it by retrenchment or by enlargement:—thus, in his own domain, matching, point for point, the processes, methods and experience familiar to the devotee of natural science.
… the reasoning process [employed in mathematics] is not different from that of any other branch of knowledge, … but there is required, and in a great degree, that attention of mind which is in some part necessary for the acquisition of all knowledge, and in this branch is indispensably necessary. This must be given in its fullest intensity; … the other elements especially characteristic of a mathematical mind are quickness in perceiving logical sequence, love of order, methodical arrangement and harmony, distinctness of conception.
… the three positive characteristics that distinguish mathematical knowledge from other knowledge … may be briefly expressed as follows: first, mathematical knowledge bears more distinctly the imprint of truth on all its results than any other kind of knowledge; secondly, it is always a sure preliminary step to the attainment of other correct knowledge; thirdly, it has no need of other knowledge.
… what is physical is subject to the laws of mathematics, and what is spiritual to the laws of God, and the laws of mathematics are but the expression of the thoughts of God.
[In mathematics] we behold the conscious logical activity of the human mind in its purest and most perfect form. Here we learn to realize the laborious nature of the process, the great care with which it must proceed, the accuracy which is necessary to determine the exact extent of the general propositions arrived at, the difficulty of forming and comprehending abstract concepts; but here we learn also to place confidence in the certainty, scope and fruitfulness of such intellectual activity.
[Mathematics] is that [subject] which knows nothing of observation, nothing of experiment, nothing of induction, nothing of causation.
A marveilous newtrality have these things mathematicall, and also a strange participation between things supernaturall, immortall, intellectuall, simple and indivisible, and things naturall, mortall, sensible, componded and divisible.
— John Dee
Analysis and natural philosophy owe their most important discoveries to this fruitful means, which is called induction. Newton was indebted to it for his theorem of the binomial and the principle of universal gravity.
As the prerogative of Natural Science is to cultivate a taste for observation, so that of Mathematics is, almost from the starting point, to stimulate the faculty of invention.
But it is precisely mathematics, and the pure science generally, from which the general educated public and independent students have been debarred, and into which they have only rarely attained more than a very meagre insight. The reason of this is twofold. In the first place, the ascendant and consecutive character of mathematical knowledge renders its results absolutely insusceptible of presentation to persons who are unacquainted with what has gone before, and so necessitates on the part of its devotees a thorough and patient exploration of the field from the very beginning, as distinguished from those sciences which may, so to speak, be begun at the end, and which are consequently cultivated with the greatest zeal. The second reason is that, partly through the exigencies of academic instruction, but mainly through the martinet traditions of antiquity and the influence of mediaeval logic-mongers, the great bulk of the elementary text-books of mathematics have unconsciously assumed a very repellant form,—something similar to what is termed in the theory of protective mimicry in biology “the terrifying form.” And it is mainly to this formidableness and touch-me-not character of exterior, concealing withal a harmless body, that the undue neglect of typical mathematical studies is to be attributed.
Coterminous with space and coeval with time is the kingdom of Mathematics; within this range her dominion is supreme; otherwise than according to her order nothing can exist; in contradiction to her laws nothing takes place. On her mysterious scroll is to be found written for those who can read it that which has been, that which is, and that which is to come.
Everything material which is the subject of knowledge has number, order, or position; and these are her first outlines for a sketch of the universe. If our feeble hands cannot follow out the details, still her part has been drawn with an unerring pen, and her work cannot be gainsaid. So wide is the range of mathematical sciences, so indefinitely may it extend beyond our actual powers of manipulation that at some moments we are inclined to fall down with even more than reverence before her majestic presence. But so strictly limited are her promises and powers, about so much that we might wish to know does she offer no information whatever, that at other moments we are fain to call her results but a vain thing, and to reject them as a stone where we had asked for bread. If one aspect of the subject encourages our hopes, so does the other tend to chasten our desires, and he is perhaps the wisest, and in the long run the happiest, among his fellows, who has learned not only this science, but also the larger lesson which it directly teaches, namely, to temper our aspirations to that which is possible, to moderate our desires to that which is attainable, to restrict our hopes to that of which accomplishment, if not immediately practicable, is at least distinctly within the range of conception.
For the saving the long progression of the thoughts to remote and first principles in every case, the mind should provide itself several stages; that is to say, intermediate principles, which it might have recourse to in the examining those positions that come in its way. These, though they are not self-evident principles, yet, if they have been made out from them by a wary and unquestionable deduction, may be depended on as certain and infallible truths, and serve as unquestionable truths to prove other points depending upon them, by a nearer and shorter view than remote and general maxims. … And thus mathematicians do, who do not in every new problem run it back to the first axioms through all the whole train of intermediate propositions. Certain theorems that they have settled to themselves upon sure demonstration, serve to resolve to them multitudes of propositions which depend on them, and are as firmly made out from thence as if the mind went afresh over every link of the whole chain that tie them to first self-evident principles.
If it were always necessary to reduce everything to intuitive knowledge, demonstration would often be insufferably prolix. This is why mathematicians have had the cleverness to divide the difficulties and to demonstrate separately the intervening propositions. And there is art also in this; for as the mediate truths (which are called lemmas, since they appear to be a digression) may be assigned in many ways, it is well, in order to aid the understanding and memory, to choose of them those which greatly shorten the process, and appear memorable and worthy in themselves of being demonstrated. But there is another obstacle, viz.: that it is not easy to demonstrate all the axioms, and to reduce demonstrations wholly to intuitive knowledge. And if we had chosen to wait for that, perhaps we should not yet have the science of geometry.
In mathematics it [sophistry] had no place from the beginning: Mathematicians having had the wisdom to define accurately the terms they use, and to lay down, as axioms, the first principles on which their reasoning is grounded. Accordingly we find no parties among mathematicians, and hardly any disputes.
In most sciences one generation tears down what another has built, and what one has established, another undoes. In mathematics alone each generation adds a new storey to the old structure.
In Pure Mathematics, where all the various truths are necessarily connected with each other, (being all necessarily connected with those hypotheses which are the principles of the science), an arrangement is beautiful in proportion as the principles are few; and what we admire perhaps chiefly in the science, is the astonishing variety of consequences which may be demonstrably deduced from so small a number of premises.
It [mathematics] is in the inner world of pure thought, where all entia dwell, where is every type of order and manner of correlation and variety of relationship, it is in this infinite ensemble of eternal verities whence, if there be one cosmos or many of them, each derives its character and mode of being,—it is there that the spirit of mathesis has its home and its life.
Is it a restricted home, a narrow life, static and cold and grey with logic, without artistic interest, devoid of emotion and mood and sentiment? That world, it is true, is not a world of solar light, not clad in the colours that liven and glorify the things of sense, but it is an illuminated world, and over it all and everywhere throughout are hues and tints transcending sense, painted there by radiant pencils of psychic light, the light in which it lies. It is a silent world, and, nevertheless, in respect to the highest principle of art—the interpenetration of content and form, the perfect fusion of mode and meaning—it even surpasses music. In a sense, it is a static world, but so, too, are the worlds of the sculptor and the architect. The figures, however, which reason constructs and the mathematic vision beholds, transcend the temple and the statue, alike in simplicity and in intricacy, in delicacy and in grace, in symmetry and in poise. Not only are this home and this life thus rich in aesthetic interests, really controlled and sustained by motives of a sublimed and supersensuous art, but the religious aspiration, too, finds there, especially in the beautiful doctrine of invariants, the most perfect symbols of what it seeks—the changeless in the midst of change, abiding things hi a world of flux, configurations that remain the same despite the swirl and stress of countless hosts of curious transformations.
Is it a restricted home, a narrow life, static and cold and grey with logic, without artistic interest, devoid of emotion and mood and sentiment? That world, it is true, is not a world of solar light, not clad in the colours that liven and glorify the things of sense, but it is an illuminated world, and over it all and everywhere throughout are hues and tints transcending sense, painted there by radiant pencils of psychic light, the light in which it lies. It is a silent world, and, nevertheless, in respect to the highest principle of art—the interpenetration of content and form, the perfect fusion of mode and meaning—it even surpasses music. In a sense, it is a static world, but so, too, are the worlds of the sculptor and the architect. The figures, however, which reason constructs and the mathematic vision beholds, transcend the temple and the statue, alike in simplicity and in intricacy, in delicacy and in grace, in symmetry and in poise. Not only are this home and this life thus rich in aesthetic interests, really controlled and sustained by motives of a sublimed and supersensuous art, but the religious aspiration, too, finds there, especially in the beautiful doctrine of invariants, the most perfect symbols of what it seeks—the changeless in the midst of change, abiding things hi a world of flux, configurations that remain the same despite the swirl and stress of countless hosts of curious transformations.
It has been asserted … that the power of observation is not developed by mathematical studies; while the truth is, that; from the most elementary mathematical notion that arises in the mind of a child to the farthest verge to which mathematical investigation has been pushed and applied, this power is in constant exercise. By observation, as here used, can only be meant the fixing of the attention upon objects (physical or mental) so as to note distinctive peculiarities—to recognize resemblances, differences, and other relations. Now the first mental act of the child recognizing the distinction between one and more than one, between one and two, two and three, etc., is exactly this. So, again, the first geometrical notions are as pure an exercise of this power as can be given. To know a straight line, to distinguish it from a curve; to recognize a triangle and distinguish the several forms—what are these, and all perception of form, but a series of observations? Nor is it alone in securing these fundamental conceptions of number and form that observation plays so important a part. The very genius of the common geometry as a method of reasoning—a system of investigation—is, that it is but a series of observations. The figure being before the eye in actual representation, or before the mind in conception, is so closely scrutinized, that all its distinctive features are perceived; auxiliary lines are drawn (the imagination leading in this), and a new series of inspections is made; and thus, by means of direct, simple observations, the investigation proceeds. So characteristic of common geometry is this method of investigation, that Comte, perhaps the ablest of all writers upon the philosophy of mathematics, is disposed to class geometry, as to its method, with the natural sciences, being based upon observation. Moreover, when we consider applied mathematics, we need only to notice that the exercise of this faculty is so essential, that the basis of all such reasoning, the very material with which we build, have received the name observations. Thus we might proceed to consider the whole range of the human faculties, and find for the most of them ample scope for exercise in mathematical studies. Certainly, the memory will not be found to be neglected. The very first steps in number—counting, the multiplication table, etc., make heavy demands on this power; while the higher branches require the memorizing of formulas which are simply appalling to the uninitiated. So the imagination, the creative faculty of the mind, has constant exercise in all original mathematical investigations, from the solution of the simplest problems to the discovery of the most recondite principle; for it is not by sure, consecutive steps, as many suppose, that we advance from the known to the unknown. The imagination, not the logical faculty, leads in this advance. In fact, practical observation is often in advance of logical exposition. Thus, in the discovery of truth, the imagination habitually presents hypotheses, and observation supplies facts, which it may require ages for the tardy reason to connect logically with the known. Of this truth, mathematics, as well as all other sciences, affords abundant illustrations. So remarkably true is this, that today it is seriously questioned by the majority of thinkers, whether the sublimest branch of mathematics,—the infinitesimal calculus—has anything more than an empirical foundation, mathematicians themselves not being agreed as to its logical basis. That the imagination, and not the logical faculty, leads in all original investigation, no one who has ever succeeded in producing an original demonstration of one of the simpler propositions of geometry, can have any doubt. Nor are induction, analogy, the scrutinization of premises or the search for them, or the balancing of probabilities, spheres of mental operations foreign to mathematics. No one, indeed, can claim preeminence for mathematical studies in all these departments of intellectual culture, but it may, perhaps, be claimed that scarcely any department of science affords discipline to so great a number of faculties, and that none presents so complete a gradation in the exercise of these faculties, from the first principles of the science to the farthest extent of its applications, as mathematics.
It is now necessary to indicate more definitely the reason why mathematics not only carries conviction in itself, but also transmits conviction to the objects to which it is applied. The reason is found, first of all, in the perfect precision with which the elementary mathematical concepts are determined; in this respect each science must look to its own salvation .... But this is not all. As soon as human thought attempts long chains of conclusions, or difficult matters generally, there arises not only the danger of error but also the suspicion of error, because since all details cannot be surveyed with clearness at the same instant one must in the end be satisfied with a belief that nothing has been overlooked from the beginning. Every one knows how much this is the case even in arithmetic, the most elementary use of mathematics. No one would imagine that the higher parts of mathematics fare better in this respect; on the contrary, in more complicated conclusions the uncertainty and suspicion of hidden errors increases in rapid progression. How does mathematics manage to rid itself of this inconvenience which attaches to it in the highest degree? By making proofs more rigorous? By giving new rules according to which the old rules shall be applied? Not in the least. A very great uncertainty continues to attach to the result of each single computation. But there are checks. In the realm of mathematics each point may be reached by a hundred different ways; and if each of a hundred ways leads to the same point, one may be sure that the right point has been reached. A calculation without a check is as good as none. Just so it is with every isolated proof in any speculative science whatever; the proof may be ever so ingenious, and ever so perfectly true and correct, it will still fail to convince permanently. He will therefore be much deceived, who, in metaphysics, or in psychology which depends on metaphysics, hopes to see his greatest care in the precise determination of the concepts and in the logical conclusions rewarded by conviction, much less by success in transmitting conviction to others. Not only must the conclusions support each other, without coercion or suspicion of subreption, but in all matters originating in experience, or judging concerning experience, the results of speculation must be verified by experience, not only superficially, but in countless special cases.
It is true that mathematics, owing to the fact that its whole content is built up by means of purely logical deduction from a small number of universally comprehended principles, has not unfittingly been designated as the science of the self-evident [Selbstverständlichen]. Experience however, shows that for the majority of the cultured, even of scientists, mathematics remains the science of the incomprehensible [Unverständlichen].
It may be observed of mathematicians that they only meddle with such things as are certain, passing by those that are doubtful and unknown. They profess not to know all things, neither do they affect to speak of all things. What they know to be true, and can make good by invincible arguments, that they publish and insert among their theorems. Of other things they are silent and pass no judgment at all, chusing [choosing] rather to acknowledge their ignorance, than affirm anything rashly. They affirm nothing among their arguments or assertions which is not most manifestly known and examined with utmost rigour, rejecting all probable conjectures and little witticisms. They submit nothing to authority, indulge no affection, detest subterfuges of words, and declare their sentiments, as in a Court of Judicature [Justice], without passion, without apology; knowing that their reasons, as Seneca testifies of them, are not brought to persuade, but to compel.
It would appear that Deductive and Demonstrative Sciences are all, without exception, Inductive Sciences: that their evidence is that of experience, but that they are also, in virtue of the peculiar character of one indispensable portion of the general formulae according to which their inductions are made, Hypothetical Sciences. Their conclusions are true only upon certain suppositions, which are, or ought to be, approximations to the truth, but are seldom, if ever, exactly true; and to this hypothetical character is to be ascribed the peculiar certainty, which is supposed to be inherent in demonstration.
Its [mathematical analysis] chief attribute is clearness; it has no means for expressing confused ideas. It compares the most diverse phenomena and discovers the secret analogies which unite them. If matter escapes us, as that of air and light because of its extreme tenuity, if bodies are placed far from us in the immensity of space, if man wishes to know the aspect of the heavens at successive periods separated by many centuries, if gravity and heat act in the interior of the solid earth at depths which will forever be inaccessible, mathematical analysis is still able to trace the laws of these phenomena. It renders them present and measurable, and appears to be the faculty of the human mind destined to supplement the brevity of life and the imperfection of the senses, and what is even more remarkable, it follows the same course in the study of all phenomena; it explains them in the same language, as if in witness to the unity and simplicity of the plan of the universe, and to make more manifest the unchangeable order which presides over all natural causes.
Let us now declare the means whereby our understanding can rise to knowledge without fear of error. There are two such means: intuition and deduction. By intuition I mean not the varying testimony of the senses, nor the deductive judgment of imagination naturally extravagant, but the conception of an attentive mind so distinct and so clear that no doubt remains to it with regard to that which it comprehends; or, what amounts to the same thing, the self-evidencing conception of a sound and attentive mind, a conception which springs from the light of reason alone, and is more certain, because more simple, than deduction itself. …
It may perhaps be asked why to intuition we add this other mode of knowing, by deduction, that is to say, the process which, from something of which we have certain knowledge, draws consequences which necessarily follow therefrom. But we are obliged to admit this second step; for there are a great many things which, without being evident of themselves, nevertheless bear the marks of certainty if only they are deduced from true and incontestable principles by a continuous and uninterrupted movement of thought, with distinct intuition of each thing; just as we know that the last link of a long chain holds to the first, although we can not take in with one glance of the eye the intermediate links, provided that, after having run over them in succession, we can recall them all, each as being joined to its fellows, from the first up to the last. Thus we distinguish intuition from deduction, inasmuch as in the latter case there is conceived a certain progress or succession, while it is not so in the former; … whence it follows that primary propositions, derived immediately from principles, may be said to be known, according to the way we view them, now by intuition, now by deduction; although the principles themselves can be known only by intuition, the remote consequences only by deduction.
It may perhaps be asked why to intuition we add this other mode of knowing, by deduction, that is to say, the process which, from something of which we have certain knowledge, draws consequences which necessarily follow therefrom. But we are obliged to admit this second step; for there are a great many things which, without being evident of themselves, nevertheless bear the marks of certainty if only they are deduced from true and incontestable principles by a continuous and uninterrupted movement of thought, with distinct intuition of each thing; just as we know that the last link of a long chain holds to the first, although we can not take in with one glance of the eye the intermediate links, provided that, after having run over them in succession, we can recall them all, each as being joined to its fellows, from the first up to the last. Thus we distinguish intuition from deduction, inasmuch as in the latter case there is conceived a certain progress or succession, while it is not so in the former; … whence it follows that primary propositions, derived immediately from principles, may be said to be known, according to the way we view them, now by intuition, now by deduction; although the principles themselves can be known only by intuition, the remote consequences only by deduction.
Mathematic stands forth as that which unites, mediates between Man and Nature, Inner and Outer world, Thought and Perception, [as no other subject does].
Mathematical analysis is as extensive as nature itself; it defines all perceptible relations, measures times, spaces, forces, temperatures; this difficult science is formed slowly, but it preserves every principle which it has once acquired; it grows and strengthens itself incessantly in the midst of the many variations and errors of the human mind.
Mathematical reasoning is deductive in the sense that it is based upon definitions which, as far as the validity of the reasoning is concerned (apart from any existential import), needs only the test of self-consistency. Thus no external verification of definitions is required in mathematics, as long as it is considered merely as mathematics.
Mathematical science is in my opinion an indivisible whole, an organism whose vitality is conditioned upon the connection of its parts. For with all the variety of mathematical knowledge, we are still clearly conscious of the similarity of the logical devices, the relationship of the ideas in mathematics as a whole and the numerous analogies in its different departments.
Mathematicians assume the right to choose, within the limits of logical contradiction, what path they please in reaching their results.
Mathematics accomplishes really nothing outside of the realm of magnitude; marvellous, however, is the skill with which it masters magnitude wherever it finds it. We recall at once the network of lines which it has spun about heavens and earth; the system of lines to which azimuth and altitude, declination and right ascension, longitude and latitude are referred; those abscissas and ordinates, tangents and normals, circles of curvature and evolutes; those trigonometric and logarithmic functions which have been prepared in advance and await application. A look at this apparatus is sufficient to show that mathematicians are not magicians, but that everything is accomplished by natural means; one is rather impressed by the multitude of skilful machines, numerous witnesses of a manifold and intensely active industry, admirably fitted for the acquisition of true and lasting treasures.
Mathematics in gross, it is plain, are a grievance in natural philosophy, and with reason…Mathematical proofs are out of the reach of topical arguments, and are not to be attacked by the equivocal use of words or declamation, that make so great a part of other discourses; nay, even of controversies.
Mathematics is a science continually expanding; and its growth, unlike some political and industrial events, is attended by universal acclamation.
Mathematics is not the discoverer of laws, for it is not induction; neither is it the framer of theories, for it is not hypothesis; but it is the judge over both, and it is the arbiter to which each must refer its claims; and neither law can rule nor theory explain without the sanction of mathematics.
Mathematics is perfectly free in its development and is subject only to the obvious consideration, that its concepts must be free from contradictions in themselves, as well as definitely and orderly related by means of definitions to the previously existing and established concepts.
Mathematics is the predominant science of our time; its conquests grow daily, though without noise; he who does not employ it for himself, will some day find it employed against himself.
Mathematics pursues its own course unrestrained, not indeed with an unbridled licence which submits to no laws, but rather with the freedom which is determined by its own nature and in conformity with its own being.
Mathematics, from the earliest times to which the history of human reason can reach, has followed, among that wonderful people of the Greeks, the safe way of science. But it must not be supposed that it was as easy for mathematics as for logic, in which reason is concerned with itself alone, to find, or rather to make for itself that royal road. I believe, on the contrary, that there was a long period of tentative work (chiefly still among the Egyptians), and that the change is to be ascribed to a revolution, produced by the happy thought of a single man, whose experiments pointed unmistakably to the path that had to be followed, and opened and traced out for the most distant times the safe way of a science. The history of that intellectual revolution, which was far more important than the passage round the celebrated Cape of Good Hope, and the name of its fortunate author, have not been preserved to us. … A new light flashed on the first man who demonstrated the properties of the isosceles triangle (whether his name was Thales or any other name), for he found that he had not to investigate what he saw in the figure, or the mere concepts of that figure, and thus to learn its properties; but that he had to produce (by construction) what he had himself, according to concepts a priori, placed into that figure and represented in it, so that, in order to know anything with certainty a priori, he must not attribute to that figure anything beyond what necessarily follows from what he has himself placed into it, in accordance with the concept.
Mathematics, like dialectics, is an organ of the inner higher sense; in its execution it is an art like eloquence. Both alike care nothing for the content, to both nothing is of value but the form. It is immaterial to mathematics whether it computes pennies or guineas, to rhetoric whether it defends truth or error.
Mathematics, the priestess of definiteness and clearness.
Most, if not all, of the great ideas of modern mathematics have had their origin in observation. Take, for instance, the arithmetical theory of forms, of which the foundation was laid in the diophantine theorems of Fermat, left without proof by their author, which resisted all efforts of the myriad-minded Euler to reduce to demonstration, and only yielded up their cause of being when turned over in the blow-pipe flame of Gauss’s transcendent genius; or the doctrine of double periodicity, which resulted from the observation of Jacobi of a purely analytical fact of transformation; or Legendre’s law of reciprocity; or Sturm’s theorem about the roots of equations, which, as he informed me with his own lips, stared him in the face in the midst of some mechanical investigations connected (if my memory serves me right) with the motion of compound pendulums; or Huyghen’s method of continued fractions, characterized by Lagrange as one of the principal discoveries of that great mathematician, and to which he appears to have been led by the construction of his Planetary Automaton; or the new algebra, speaking of which one of my predecessors (Mr. Spottiswoode) has said, not without just reason and authority, from this chair, “that it reaches out and indissolubly connects itself each year with fresh branches of mathematics, that the theory of equations has become almost new through it, algebraic geometry transfigured in its light, that the calculus of variations, molecular physics, and mechanics” (he might, if speaking at the present moment, go on to add the theory of elasticity and the development of the integral calculus) “have all felt its influence”.
No process of sound reasoning can establish a result not contained in the premises.
One of the big misapprehensions about mathematics that we perpetrate in our classrooms is that the teacher always seems to know the answer to any problem that is discussed. This gives students the idea that there is a book somewhere with all the right answers to all of the interesting questions, and that teachers know those answers. And if one could get hold of the book, one would have everything settled. That’s so unlike the true nature of mathematics.
Our science, in contrast with others, is not founded on a single period of human history, but has accompanied the development of culture through all its stages. Mathematics is as much interwoven with Greek culture as with the most modern problems in Engineering. She not only lends a hand to the progressive natural sciences but participates at the same time in the abstract investigations of logicians and philosophers.
Pure mathematics proves itself a royal science both through its content and form, which contains within itself the cause of its being and its methods of proof. For in complete independence mathematics creates for itself the object of which it treats, its magnitudes and laws, its formulas and symbols.
That mathematics “do not cultivate the power of generalization,”; … will be admitted by no person of competent knowledge, except in a very qualified sense. The generalizations of mathematics, are, no doubt, a different thing from the generalizations of physical science; but in the difficulty of seizing them, and the mental tension they require, they are no contemptible preparation for the most arduous efforts of the scientific mind. Even the fundamental notions of the higher mathematics, from those of the differential calculus upwards are products of a very high abstraction. … To perceive the mathematical laws common to the results of many mathematical operations, even in so simple a case as that of the binomial theorem, involves a vigorous exercise of the same faculty which gave us Kepler’s laws, and rose through those laws to the theory of universal gravitation. Every process of what has been called Universal Geometry—the great creation of Descartes and his successors, in which a single train of reasoning solves whole classes of problems at once, and others common to large groups of them—is a practical lesson in the management of wide generalizations, and abstraction of the points of agreement from those of difference among objects of great and confusing diversity, to which the purely inductive sciences cannot furnish many superior. Even so elementary an operation as that of abstracting from the particular configuration of the triangles or other figures, and the relative situation of the particular lines or points, in the diagram which aids the apprehension of a common geometrical demonstration, is a very useful, and far from being always an easy, exercise of the faculty of generalization so strangely imagined to have no place or part in the processes of mathematics.
The ability to imagine relations is one of the most indispensable conditions of all precise thinking. No subject can be named, in the investigation of which it is not imperatively needed; but it can be nowhere else so thoroughly acquired as in the study of mathematics.
The actual evolution of mathematical theories proceeds by a process of induction strictly analogous to the method of induction employed in building up the physical sciences; observation, comparison, classification, trial, and generalisation are essential in both cases. Not only are special results, obtained independently of one another, frequently seen to be really included in some generalisation, but branches of the subject which have been developed quite independently of one another are sometimes found to have connections which enable them to be synthesised in one single body of doctrine. The essential nature of mathematical thought manifests itself in the discernment of fundamental identity in the mathematical aspects of what are superficially very different domains. A striking example of this species of immanent identity of mathematical form was exhibited by the discovery of that distinguished mathematician … Major MacMahon, that all possible Latin squares are capable of enumeration by the consideration of certain differential operators. Here we have a case in which an enumeration, which appears to be not amenable to direct treatment, can actually be carried out in a simple manner when the underlying identity of the operation is recognised with that involved in certain operations due to differential operators, the calculus of which belongs superficially to a wholly different region of thought from that relating to Latin squares.
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.
The belief that mathematics, because it is abstract, because it is static and cold and gray, is detached from life, is a mistaken belief. Mathematics, even in its purest and most abstract estate, is not detached from life. It is just the ideal handling of the problems of life, as sculpture may idealize a human figure or as poetry or painting may idealize a figure or a scene. Mathematics is precisely the ideal handling of the problems of life, and the central ideas of the science, the great concepts about which its stately doctrines have been built up, are precisely the chief ideas with which life must always deal and which, as it tumbles and rolls about them through time and space, give it its interests and problems, and its order and rationality. That such is the case a few indications will suffice to show. The mathematical concepts of constant and variable are represented familiarly in life by the notions of fixedness and change. The concept of equation or that of an equational system, imposing restriction upon variability, is matched in life by the concept of natural and spiritual law, giving order to what were else chaotic change and providing partial freedom in lieu of none at all. What is known in mathematics under the name of limit is everywhere present in life in the guise of some ideal, some excellence high-dwelling among the rocks, an “ever flying perfect” as Emerson calls it, unto which we may approximate nearer and nearer, but which we can never quite attain, save in aspiration. The supreme concept of functionality finds its correlate in life in the all-pervasive sense of interdependence and mutual determination among the elements of the world. What is known in mathematics as transformation—that is, lawful transfer of attention, serving to match in orderly fashion the things of one system with those of another—is conceived in life as a process of transmutation by which, in the flux of the world, the content of the present has come out of the past and in its turn, in ceasing to be, gives birth to its successor, as the boy is father to the man and as things, in general, become what they are not. The mathematical concept of invariance and that of infinitude, especially the imposing doctrines that explain their meanings and bear their names—What are they but mathematicizations of that which has ever been the chief of life’s hopes and dreams, of that which has ever been the object of its deepest passion and of its dominant enterprise, I mean the finding of the worth that abides, the finding of permanence in the midst of change, and the discovery of a presence, in what has seemed to be a finite world, of being that is infinite? It is needless further to multiply examples of a correlation that is so abounding and complete as indeed to suggest a doubt whether it be juster to view mathematics as the abstract idealization of life than to regard life as the concrete realization of mathematics.
The dexterous management of terms and being able to fend and prove with them, I know has and does pass in the world for a great part of learning; but it is learning distinct from knowledge, for knowledge consists only in perceiving the habitudes and relations of ideas one to another, which is done without words; the intervention of sounds helps nothing to it. And hence we see that there is least use of distinction where there is most knowledge: I mean in mathematics, where men have determined ideas with known names to them; and so, there being no room for equivocations, there is no need of distinctions.
The domain of mathematics is the sole domain of certainty. There and there alone prevail the standards by which every hypothesis respecting the external universe and all observation and all experiment must be finally judged. It is the realm to which all speculation and thought must repair for chastening and sanitation, the court of last resort, I say it reverently, for all intellection whatsoever, whether of demon, or man, or deity. It is there that mind as mind attains its highest estate.
The essence of mathematics lies in its freedom.
The fear of mathematics is a tradition handed down from days when the majority of teachers knew little about human nature and nothing at all about the nature of mathematics itself. What they did teach was an imitation.
The genuine spirit of Mathesis is devout. No intellectual pursuit more truly leads to profound impressions of the existence and attributes of a Creator, and to a deep sense of our filial relations to him, than the study of these abstract sciences. Who can understand so well how feeble are our conceptions of Almighty Power, as he who has calculated the attraction of the sun and the planets, and weighed in his balance the irresistible force of the lightning? Who can so well understand how confused is our estimate of the Eternal Wisdom, as he who has traced out the secret laws which guide the hosts of heaven, and combine the atoms on earth? Who can so well understand that man is made in the image of his Creator, as he who has sought to frame new laws and conditions to govern imaginary worlds, and found his own thoughts similar to those on which his Creator has acted?
The great science [mathematics] occupies itself at least just as much with the power of imagination as with the power of logical conclusion.
The intrinsic character of mathematical research and knowledge is based essentially on three properties: first, on its conservative attitude towards the old truths and discoveries of mathematics; secondly, on its progressive mode of development, due to the incessant acquisition of new knowledge on the basis of the old; and thirdly, on its self-sufficiency and its consequent absolute independence.
The iron labor of conscious logical reasoning demands great perseverance and great caution; it moves on but slowly, and is rarely illuminated by brilliant flashes of genius. It knows little of that facility with which the most varied instances come thronging into the memory of the philologist or historian. Rather is it an essential condition of the methodical progress of mathematical reasoning that the mind should remain concentrated on a single point, undisturbed alike by collateral ideas on the one hand, and by wishes and hopes on the other, and moving on steadily in the direction it has deliberately chosen.
The Mathematician deals with two properties of objects only, number and extension, and all the inductions he wants have been formed and finished ages ago. He is now occupied with nothing but deduction and verification.
The mathematician pays not the least regard either to testimony or conjecture, but deduces everything by demonstrative reasoning, from his definitions and axioms. Indeed, whatever is built upon conjecture, is improperly called science; for conjecture may beget opinion, but cannot produce knowledge.
The mathematics have always been the implacable enemies of scientific romances.
The opinion appears to be gaining ground that this very general conception of functionality, born on mathematical ground, is destined to supersede the narrower notion of causation, traditional in connection with the natural sciences. As an abstract formulation of the idea of determination in its most general sense, the notion of functionality includes and transcends the more special notion of causation as a one-sided determination of future phenomena by means of present conditions; it can be used to express the fact of the subsumption under a general law of past, present, and future alike, in a sequence of phenomena. From this point of view the remark of Huxley that Mathematics “knows nothing of causation” could only be taken to express the whole truth, if by the term “causation” is understood “efficient causation.” The latter notion has, however, in recent times been to an increasing extent regarded as just as irrelevant in the natural sciences as it is in Mathematics; the idea of thorough-going determinancy, in accordance with formal law, being thought to be alone significant in either domain.
The peculiar character of mathematical truth is, that it is necessarily and inevitably true; and one of the most important lessons which we learn from our mathematical studies is a knowledge that there are such truths, and a familiarity with their form and character.
This lesson is not only lost, but read backward, if the student is taught that there is no such difference, and that mathematical truths themselves are learned by experience.
This lesson is not only lost, but read backward, if the student is taught that there is no such difference, and that mathematical truths themselves are learned by experience.
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.
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. On the other hand, it appears from the daily testimony of our senses that the speculative truths of geometry may be applied to material objects with a degree of accuracy sufficient for the purposes of life; and from such applications of them, advantages of the most important kind have been gained to society.
There could not be a language more universal and more simple, more exempt from errors and obscurities, that is to say, more worthy of expressing the invariable relations of natural objects. Considered from this point of view, it is coextensive with nature itself; it defines all the sensible relations, measures the times, the spaces, the forces, the temperatures; this difficult science is formed slowly, but it retains all the principles it has once acquired. It grows and becomes more certain without limit in the midst of so many errors of the human mind.
There is an astonishing imagination, even in the science of mathematics. … We repeat, there was far more imagination in the head of Archimedes than in that of Homer.
There is in every step of an arithmetical or algebraical calculation a real induction, a real inference from facts to facts, and what disguises the induction is simply its comprehensive nature, and the consequent extreme generality of its language.
There is no study in the world which brings into more harmonious action all the faculties of the mind than [mathematics], … or, like this, seems to raise them, by successive steps of initiation, to higher and higher states of conscious intellectual being.
There is probably no other science which presents such different appearances to one who cultivates it and to one who does not, as mathematics. To this person it is ancient, venerable, and complete; a body of dry, irrefutable, unambiguous reasoning. To the mathematician, on the other hand, his science is yet in the purple bloom of vigorous youth, everywhere stretching out after the “attainable but unattained” and full of the excitement of nascent thoughts; its logic is beset with ambiguities, and its analytic processes, like Bunyan’s road, have a quagmire on one side and a deep ditch on the other and branch off into innumerable by-paths that end in a wilderness.
These sciences, Geometry, Theoretical Arithmetic and Algebra, have no principles besides definitions and axioms, and no process of proof but deduction; this process, however, assuming a most remarkable character; and exhibiting a combination of simplicity and complexity, of rigour and generality, quite unparalleled in other subjects.
They [mathematicians] only take those things into consideration, of which they have clear and distinct ideas, designating them by proper, adequate, and invariable names, and premising only a few axioms which are most noted and certain to investigate their affections and draw conclusions from them, and agreeably laying down a very few hypotheses, such as are in the highest degree consonant with reason and not to be denied by anyone in his right mind. In like manner they assign generations or causes easy to be understood and readily admitted by all, they preserve a most accurate order, every proposition immediately following from what is supposed and proved before, and reject all things howsoever specious and probable which can not be inferred and deduced after the same manner.
Those intervening ideas, which serve to show the agreement of any two others, are called proofs; and where the agreement or disagreement is by this means plainly and clearly perceived, it is called demonstration; it being shown to the understanding, and the mind made to see that it is so. A quickness in the mind to find out these intermediate ideas, (that shall discover the agreement or disagreement of any other) and to apply them right, is, I suppose, that which is called sagacity.
Those skilled in mathematical analysis know that its object is not simply to calculate numbers, but that it is also employed to find the relations between magnitudes which cannot be expressed in numbers and between functions whose law is not capable of algebraic expression.
Thought-economy is most highly developed in mathematics, that science which has reached the highest formal development, and on which natural science so frequently calls for assistance. Strange as it may seem, the strength of mathematics lies in the avoidance of all unnecessary thoughts, in the utmost economy of thought-operations. The symbols of order, which we call numbers, form already a system of wonderful simplicity and economy. When in the multiplication of a number with several digits we employ the multiplication table and thus make use of previously accomplished results rather than to repeat them each time, when by the use of tables of logarithms we avoid new numerical calculations by replacing them by others long since performed, when we employ determinants instead of carrying through from the beginning the solution of a system of equations, when we decompose new integral expressions into others that are familiar,—we see in all this but a faint reflection of the intellectual activity of a Lagrange or Cauchy, who with the keen discernment of a military commander marshalls a whole troop of completed operations in the execution of a new one.
We are told that “Mathematics is that study which knows nothing of observation, nothing of experiment, nothing of induction, nothing of causation.” I think no statement could have been made more opposite to the facts of the case; that mathematical analysis is constantly invoking the aid of new principles, new ideas, and new methods, not capable of being defined by any form of words, but springing direct from the inherent powers and activities of the human mind, and from continually renewed introspection of that inner world of thought of which the phenomena are as varied and require as close attention to discern as those of the outer physical world (to which the inner one in each individual man may, I think, be conceived to stand somewhat in the same relation of correspondence as a shadow to the object from which it is projected, or as the hollow palm of one hand to the closed fist which it grasps of the other), that it is unceasingly calling forth the faculties of observation and comparison, that one of its principal weapons is induction, that it has frequent recourse to experimental trial and verification, and that it affords a boundless scope for the exercise of the highest efforts of the imagination and invention.
We cannot get more out of the mathematical mill than we put into it, though we may get it in a form infinitely more useful for our purpose.
What is exact about mathematics but exactness? And is not this a consequence of the inner sense of truth?
When the greatest of American logicians, speaking of the powers that constitute the born geometrician, had named Conception, Imagination, and Generalization, he paused. Thereupon from one of the audience there came the challenge, “What of reason?” The instant response, not less just than brilliant, was: “Ratiocination—that is but the smooth pavement on which the chariot rolls.”
Whenever … a controversy arises in mathematics, the issue is not whether a thing is true or not, but whether the proof might not be conducted more simply in some other way, or whether the proposition demonstrated is sufficiently important for the advancement of the science as to deserve especial enunciation and emphasis, or finally, whether the proposition is not a special case of some other and more general truth which is as easily discovered.