Definitions of mathematics

Mathematics has no generally accepted definition. Different schools of thought, particularly in philosophy, have put forth radically different definitions. All are controversial.^[1]^[2]

Early definitions

Aristotle defined mathematics as:^[3]

The science of quantity.

In Aristotle's classification of the sciences, discrete quantities were studied by arithmetic, continuous quantities by geometry.^[4] Aristotle also thought that quantity alone does not distinguish mathematics from sciences like physics; in his view, abstraction and studying quantity as a property "separable in thought" from real instances set mathematics apart.^[5]

Auguste Comte's definition tried to explain the role of mathematics in coordinating phenomena in all other fields:^[6]

The science of indirect measurement.^[3] Auguste Comte 1851

The "indirectness" in Comte's definition refers to determining quantities that cannot be measured directly, such as the distance to planets or the size of atoms, by means of their relations to quantities that can be measured directly.^[7]

Greater abstraction and competing philosophical schools

The preceding kinds of definitions, which had prevailed since Aristotle's time,^[4] were abandoned in the 19th century as new branches of mathematics were developed, which bore no obvious relation to measurement or the physical world, such as group theory, projective geometry,^[3] and non-Euclidean geometry.^[8]

Three leading types of definition of mathematics today are called logicist, intuitionist, and formalist, each reflecting a different philosophy of mathematics. Each has its own flaws, none has achieved mainstream consensus, and all three appear irreconcilable.^[9]

Logicism

With mathematicians pursuing greater rigor and more abstract foundations, some proposed defining mathematics purely in terms of deduction and logic:

Mathematics is the science that draws necessary conclusions.^[10] Benjamin Peirce 1870

All Mathematics is Symbolic Logic.^[8] Bertrand Russell 1903

Peirce did not think that mathematics is the same as logic, since he thought mathematics makes only hypothetical assertions, not categorical ones.^[11] Russell's definition, on the other hand, expresses the logicist view without reservation.^[9]

Intuitionism

Rather than characterize mathematics by deductive logic, intuitionism views mathematics as primarily about the construction of ideas in the mind:^[9]

The only possible foundation of mathematics must be sought in this construction under the obligation carefully to watch which constructions intuition allows and which not.^[12] L. E. J. Brouwer 1907

... intuitionist mathematics is nothing more nor less than an investigation of the utmost limits which the intellect can attain in its self-unfolding.^[12] Arend Heyting 1968

Intuitionism sprang from the philosophy of mathematician L. E. J. Brouwer and also led to the development of a modified intuitionistic logic. As a result, intuitionism has generated some genuinely different results that, while coherent and valid, differ from some theorems grounded in classical logic.^[9]

Formalism

Formalism denies logical or intuitive meanings altogether, making the symbols and rules themselves the objects of study.^[9] A formalist definition:

Mathematics is the science of formal systems.^[13] Haskell Curry 1951

Other views

Still other definitions emphasize pattern, order, or structure. For example:

Mathematics is the classification and study of all possible patterns.^[14] Walter Warwick Sawyer, 1955

Yet another approach makes abstraction the defining criterion:

Mathematics is a broad-ranging field of study in which the properties and interactions of idealized objects are examined.^[15]

Contemporary general reference works

Most contemporary reference works define mathematics by summarizing its main topics and methods:

The abstract science which investigates deductively the conclusions implicit in the elementary conceptions of spatial and numerical relations, and which includes as its main divisions geometry, arithmetic, and algebra.^[16] Oxford English Dictionary, 1933

The study of the measurement, properties, and relationships of quantities and sets, using numbers and symbols.^[17] American Heritage Dictionary, 2000

The science of structure, order, and relation that has evolved from elemental practices of counting, measuring, and describing the shapes of objects.^[18] Encyclopædia Britannica, 2006

Playful, metaphorical, and poetic definitions

Bertrand Russell wrote this famous tongue-in-cheek definition, describing the way all terms in mathematics are ultimately defined by reference to undefined terms:

The subject in which we never know what we are talking about, nor whether what we are saying is true.^[19] Bertrand Russell 1901

Many other attempts to characterize mathematics have led to humor or poetic prose:

A mathematician is a blind man in a dark room looking for a black cat which isn't there.^[20] Charles Darwin^[21]

A mathematician, like a painter or poet, is a maker of patterns. If his patterns are more permanent than theirs, it is because they are made with ideas.^[22] G. H. Hardy, 1940

Mathematics is the art of giving the same name to different things.^[10] Henri Poincaré

Mathematics is the science of skillful operations with concepts and rules invented just for this purpose. [this purpose being the skillful operation ....]^[23] Eugene Wigner

Mathematics is not a book confined within a cover and bound between brazen clasps, whose contents it needs only patience to ransack; it is not a mine, whose treasures may take long to reduce into possession, but which fill only a limited number of veins and lodes; it is not a soil, whose fertility can be exhausted by the yield of successive harvests; it is not a continent or an ocean, whose area can be mapped out and its contour defined: it is limitless as that space which it finds too narrow for its aspirations; its possibilities are as infinite as the worlds which are forever crowding in and multiplying upon the astronomer's gaze; it is as incapable of being restricted within assigned boundaries or being reduced to definitions of permanent validity, as the consciousness of life, which seems to slumber in each monad, in every atom of matter, in each leaf and bud cell, and is forever ready to burst forth into new forms of vegetable and animal existence.^[24] James Joseph Sylvester

What is mathematics? What is it for? What are mathematicians doing nowadays? Wasn't it all finished long ago? How many new numbers can you invent anyway? Is today's mathematics just a matter of huge calculations, with the mathematician as a kind of zookeeper, making sure the precious computers are fed and watered? If it's not, what is it other than the incomprehensible outpourings of superpowered brainboxes with their heads in the clouds and their feet dangling from the lofty balconies of their ivory towers? Mathematics is all of these, and none. Mostly, it's just different. It's not what you expect it to be, you turn your back for a moment and it's changed. It's certainly not just a fixed body of knowledge, its growth is not confined to inventing new numbers, and its hidden tendrils pervade every aspect of modern life.^[24] Ian Stewart

References

^ Mura, Robert (December 1993), "Images of Mathematics Held by University Teachers of Mathematical Sciences", Educational Studies in Mathematics, 25 (4): 375–385, doi:10.1007/BF01273907, JSTOR 3482762, S2CID 122351146
^ Tobies, Renate; Neunzert, Helmut (2012), Iris Runge: A Life at the Crossroads of Mathematics, Science, and Industry, Springer, p. 9, ISBN 978-3-0348-0229-1, It is first necessary to ask what is meant by mathematics in general. Illustrious scholars have debated this matter until they were blue in the face, and yet no consensus has been reached about whether mathematics is a natural science, a branch of the humanities, or an art form.
^ ^a ^b ^c Cajori, Florian (1893). A History of Mathematics. American Mathematical Society (1991 reprint). pp. 285–86. ISBN 978-0-8218-2102-2.
^ ^a ^b James Franklin, "Aristotelian Realism" in Philosophy of Mathematics", ed. A.D. Irvine, p. 104. Elsevier (2009).
^ Franklin, James (2009). "Aristotelian Realism". In Irvine, Andrew D. (ed.). Philosophy of Mathematics. Elsevier B.V. pp. 104–106. ISBN 978-0-08-093058-9. Archived from the original on September 6, 2015. Retrieved July 1, 2020.
^ Arline Reilein Standley, Auguste Comte, p. 61. Twayne Publishers (1981).
^ Auguste Comte, The Philosophy of Mathematics, tr. W.M. Gillespie, pp. 17–25. Harper & Brothers, New York (1851).
^ ^a ^b Bertrand Russell, The Principles of Mathematics, p. 5. University Press, Cambridge (1903)
^ ^a ^b ^c ^d ^e Snapper, Ernst (September 1979). "The Three Crises in Mathematics: Logicism, Intuitionism, and Formalism". Mathematics Magazine. 52 (4): 207–16. doi:10.2307/2689412. JSTOR 2689412.
^ ^a ^b Foundations and fundamental concepts of mathematics By Howard Eves page 150
^ Carl Boyer, Uta Merzbach, A History of Mathematics, p. 426. John Wiley & Sons (2011).
^ ^a ^b van Atten, Mark (November 8, 2017). "The Development of Intuitionistic Logic". In Zalta, Edward N. (ed.). The Stanford Encyclopedia of Philosophy (Winter 2017 ed.). Metaphysics Research Lab, Stanford University. Retrieved January 29, 2022.
^ Haskell Brooks Curry (1951). Outlines of a Formalist Philosophy of Mathematics. Elsevier. p. 56. ISBN 978-0-444-53368-5.
^ Sawyer, W.W. (1955). Prelude to Mathematics. Penguin Books. p. 12. ISBN 978-0486244013.
^ Weisstein, Eric W. "Mathematics". mathworld.wolfram.com. Retrieved 2019-10-18.
^ "mathematics". Oxford English Dictionary (Online ed.). Oxford University Press. (Subscription or participating institution membership required.) mathematics
^ "mathematics". The American Heritage Dictionary of the English Language (5th ed.). HarperCollins.
^ Mathematics at the Encyclopædia Britannica
^ Russell, Bertrand (1901), "Recent Work on the Principles of Mathematics", International Monthly, 4
^ "Pi in the Sky", John Barrow
^ Schwartz, Gary E. (2007). The G.O.D. Experiments: How Science Is Discovering God In Everything, Including Us (illustrated ed.). Simon and Schuster. p. 209. ISBN 978-0-7434-7741-3. Extract of page 209
^ "Quotations by Hardy". www-history.mcs.st-andrews.ac.uk. Retrieved 2019-10-18.
^ Wigner, Eugene P. (1960). "The Unreasonable Effectiveness of Mathematics in the Natural Sciences," Communications in Pure and Applied Sciences, 13(1960):1–14. Reprinted in Mathematics: People, Problems, Results, vol. 3, ed. Douglas M. Campbell and John C. Higgins, p. 116
^ ^a ^b "From Here to Infinity", Ian Stewart