What is Mathematics?
  • In our effort to understand what mathematics is, we have seen that it is not just numbers, equations or formulas. We'll continue our exploration of this topic by reading some thoughts by other people on the subject:
    Pathways Often, people equate mathematics with arithmetic. Arithmetic is concerned with numbers. When considering the mathematics curriculum, many people focus on computational skills and believe that they constitute the full set of competencies that students must have in mathematics. Traditionally, the major emphasis of the K-8 mathematics curriculum has been to teach children arithmetic - how to add, subtract, multiply, and divide whole numbers, fractions, decimals, and percentages. Mathematics involves more than computation. Mathematics is a study of patterns and relationships; a science and a way of thinking; an art, characterized by order and internal consistency; a language, using carefully defined terms and symbols; and a tool.

    N. I. Lobachevsky There is no branch of mathematics, however abstract, that will not eventually be applied to the phenomena of the real world.
    Angelo Mingarelli I love the world of mathematics...I love the act of discovery; you push these symbols around according to some laws that everyone accepts in the field and then...voila'...out comes this result where the symbols now interact with one another and there is new meaning to what you initially put in. You've discovered, some would say uncovered, something new and pretty and interesting about the mathematical world you interact with, something which may or may not have any relevance whatsoever with the real world but, we believe, that someday all this new abstract mathematical stuff will, indeed, be useful to someone, somewhere, sometime in our future. How could Giovanni Ricci-Curbastro and Tullio Levi-Civita have known, in 1900, that their basic theory of tensors, a very abstract theory for their time, would become the cornerstone of 20th. century physics... that someone called Albert Einstein would come along and in 1916 would use their theory to produce a new theory of gravitation, or general relativity, as it is called these days, a theory that would change philosophy and launch our new era? They couldn't have known...and, in fact, they may not have even cared about so called applications at the time of publication. It's part of the duties of a mathematician to discover new things, to present new approaches to old problems and to create new mathematics regardless of its readership.
    Maharishi Mahesh Yogi This universality of application [of mathematics] can be traced back to the fact that all aspects of Nature and areas of life are governed by the same principles of order and intelligence that have been discovered subjectively by mathematicians by referring back to the principles of intelligence in their own consciousness.
    Taken from the preface of What is Mathematics? An Elementary Approach to Ideas and Methods by Richard Courant and Herbert Robbins For more than two thousand years a familiarity with mathematics has been regarded as an indispensable part of the intellectual equipment of every cultured person. Today, unfortunately, the traditional place of mathematics in education is in grave danger. The teaching and learning of mathematics has degenerated into the realm of rote memorization, the outcome of which leads to satisfactory formal ability but not to real understanding or greater intellectual independence.
    Taken from Math in Danger in the USA by David R. Garcia:

    What is Mathematics?

    Article by Sanderson M. Smith, Mathematics Instructor, Cate School, Carpinteria, California

    The title presents a fascinating question. I am a mathematics teacher. I should be able to readily respond to the question. After all, I do teach the subject. OK, my somewhat overly-simplified answer is that mathematics is the language of our universe. Be you evolutionist, creationist, or holder of some other belief, empirical evidence overwhelmingly suggests that our universe is mathematically designed. Still, if you are an intelligent reader (and I assume you are), my response to the question is clearly unsatisfactory. Among other things, it does not address questions such as "why does mathematics work?" and "where does it come from?"

    Despite my love and appreciation for the magnificent academic discipline of mathematics, I do not have a good answer to the question "what is mathematics?" Since the time of Plato, mathematicians and philosophers have addressed this question. Answers, many of them contradictory, have been produced for over two thousand years, but none have survived the test of time and critical analysis.

    I believe it is possible that students can gain a tremendous appreciation for mathematics if they understand that the question "what is mathematics?" has been analyzed and debated since the time of the Pythagoreans, a mystical cult that surfaced around 550 B.C. I also believe that humans love and appreciate a good mystery: The very nature of mathematics is a mystery!

    The purpose of this writing is to present a brief summary of types of mathematical thought that have surfaced since the ancient Greeks realized that humans have the mental capacity to reason. Prior to doing this, it is important to note three discoveries that shocked the mathematical world. These, and a few other discoveries, shattered the historical beliefs of many intellectuals who thought that their version of mathematics had a firm foundation. While a perfect analogy is not possible, imagine yourself having purchased, and living in, a luxurious tenth floor condominium in a very desirable location... and then finding out the foundation of the building was unstable. The shockers:

    Shocker #1:
    The discovery (invention?) of non-Euclidean geometries in the 19th century. Prior to this time, many schools of mathematical thought had accepted the laws of Euclidean geometry (studied in modern schools) as indubitable truths about the universe. Meaningful geometries that did not conform to the laws of Euclid's famous historical work, the Elements, were discovered by Hungarian Janos Bolyai (1802-1860) and Russian Nikolai Lobachevsky (1792-1856). For example, in some geometries, Euclid's famous parallel postulate ("Through a point external to a line, there exists, in a plane, exactly one line parallel to the given line") is false.

    Shocker #2.
    Godel's Incompleteness Theorem: In the 20th century, German Kurt Godel (1907-1978) proved that consistency can never be established by methods of mathematical proof. Every logical system must contain statements that can't be proved. In other words, a formal mathematical system could never prove its own consistency. Something must be accepted on pure faith. (In modern day geometry, the terms point, line, and plane are never formally defined. And, a postulate such as "In a plane, two non-parallel lines intersect at unique point" is accepted as true without proof. However, there are simple non-Euclidean geometry models where this postulate is not true.)

    These discoveries, and some others that have not been mentioned, are important in understanding why many theories about the nature of mathematics have failed to pass the test of time. What follows is a very brief summary of some historical schools of thought which made attempts to answer the question "what is mathematics?"

    ==============================

    Platonism:

    Greatly influenced by the earlier Pythagoreans, Plato (c.427-c.347) asserted that mathematics represents a separate universe of abstract objects existing outside of what we know as time and space. Mathematical objects (such as numbers) aren't created by humans. They always existed. (An analogy might be represented by a great piece of sculpture. The end result was already there. The sculptor simply removed the excess marble.) Platonism asserts that a mathematician is an empirical scientist who can only discover what is already there. He or she can't invent new mathematics. Mathematical truth possesses absolute certainty.

    [PROBLEMS WITH THIS VIEW: Platonists never really explain how flesh-and-blood mathematicians come to interact with the external universe of mathematics. The discovery of non-Euclidean geometries contradicted the "absolute truth" view of the Platonists. Other historical interpretations reject the mysticism surrounding an external world of mathematics.]

    ===================================

    Formalism:

    German mathematician David Hilbert (1862-1943) headed this group. Formalists assert that mathematics must be developed through axiomatic systems. Formalist and Platonists agree on the principles of mathematical proof, but Hilbert's followers don't recognize an external world of mathematics. Formalists argue that are no mathematical objects until we create them. Humans create the real number system by establishing axioms to describe it. All mathematics needs is inference rules to progress from one step to the next. The Formalists tried to prove that within the framework of established axioms, theorems, and definitions, a mathematical system is consistent. In the mid-twentieth century, formalism became the predominant philosophical attitude in math textbooks.

    [PROBLEMS WITH THIS VIEW: Godel's Incompleteness Theorem contradicts the consistency philosophy of formalism. It has been pointed out that accepted results from theorems were used before axioms were created to establish the theorems. The modern emphasis on the concrete and the applicable is not consistent with the formalist philosophy that you don't really do mathematics until you state a hypothesis and begin a proof.]

    ==============================

    Logicism:

    English mathematicians and philosophers Bertrand Russell (1872-1970) and Alfred North Whitehead (1861-1947) cofounded this school of thought. This school claims that mathematics is a vast tautology. All of mathematics is derivable from principles of logic. Many of the logistic ideas are similar to those of the formalists, but the latter group does not believe that mathematics can be deduced from logic alone. Among other things, the Logicists attempted a logical construction of the real number system, whereas the Formalists constructed it axiomatically. Logicism also uses mathematical sets in its logical development.

    [PROBLEMS WITH THIS VIEW: Logicism, despite many attempts, could not successfully resolve paradoxes that arose in set theory. Godel's Incompleteness Theorem was a death blow to the "math is a tautology" philosophy expounded in Principia Mathematica, a monumental work constructed by Russell and Whitehead.]

    =========================

    Intuitionism (sometimes called Constructivism):

    Building on the philosophies of Immanuel Kant (1724-1804), Dutch mathematician Luitzen Brouwer (1881-1966) emerged as the leader of this school of thought, which differs considerably from those previously discussed. Intuitionists claim that mathematics originates and thrives within the mind. Human minds intuitively possess the forms of space and time. The natural numbers are given intuitively, and they represent the fundamental datum of mathematics from which springs all meaningful mathematics. Mathematical laws are not discovered by studying nature; rather, they are found in the recesses of the human mind.

    [PROBLEMS WITH THIS VIEW: The intuitionist view doesn't give any insight as to why mathematics works. We don't know how intuitive knowledge is held in the brain. Mental representations of concepts such as love, hate, etc. differ considerably from human to human. Is it realistic to assume humans share the same intuitive view of mathematics? Why do we teach mathematics if it is all intuitive?]

    =========================

    In conclusion, despite the fact that I have taught mathematics for many years, I really cannot explain what it is, where it comes from, why it works, or how we can make such amazing use of things that could be classified as fictional Mathematics is, to a great extent, a mystery. As a thinker, I can only say that my personal philosophy of mathematics takes bits and pieces from each of the historical schools of mathematical thought. As previously mentioned, I see mathematics as a language. As we become more and more proficient with this language, we will better understand the universe that we inhabit. I believe the Creator (and you may define Creator however you wish) put mathematics out there for us to discover, but I don't believe humans will ever discover all of the mathematics that exists. The mystery of our existence in a mathematically designed universe is what makes living interesting and exciting.