Definitions of Mathematics
Definitions of Mathematics
e defined mathematics as "the science of quantity", and this definition prevailed until the 18th
century.[28] Starting in the 19th century, when the study of mathematics increased in rigor and began
to and measurement, mathematicians and philosophers began to propose a variety of new
definitions.[29] Some of these definitions emphasize the deductive character of much of mathematics,
some emphasize its abstractness, some emphasize certain topics within mathematics. Today, no
consensus on the definition of mathematics prevails, even among professionals.[7] There is not even
consensus on whether mathematics is an art or a science.[8] A great many professional
mathematicians take no interest in a definition of mathematics, or consider it undefinable.[7] Some
just say, "
called logicist, intuitionist, and formalist, each reflecting a different philosophical school of
thought.[30] All have severe problems, none has widespread acceptance, and no reconciliation seems
possible.[30]
An early definition of mathematics in terms of logic was Benjamin Peirce's "the science that draws
necessary conclusions" (1870).[31] In the Principia Mathematica, Bertrand Russell and Alfred North
Whitehead advanced the can be defined and proved entirely in terms of symbolic logic. A logicist
definition of mathematics is Russell's "All Mathematics is Symbolic Logic" (1903).[32]
Intuitionist definitions, developing from the philosophy of mathematician L.E.J. Brouwer, identify
mathematics with certain mental phenomena. An example of an intuitionist definition is "Mathematics
is the mental activity which consists in carrying out constructs one after the other."[30] A peculiarity of
intuitionism is that it rejects some mathematical ideas considered valid according to other definitions.
In particular, while other philosophies of mathematics allow objects that can be proved to exist even
though they cannot be constructed, intuitionism allows only mathematical objects that one can
actually construct.
Formalist definitions identify mathematics with its symbols and the rules for operating on
them. Haskell Curry defined mathematics simply as "the science of formal systems".[33] A formal
system is a set of symbols, or tokens, and some rules telling how the tokens may be combined
into formulas. In formal systems, the word axiom has a special meaning, different from the ordinary
meaning of "a self-evident truth". In formal systems, an axiom is a combination of tokens that is
included in a given formal system without needing to be derived using the rules of the system.