**1. Ancient arithmetic ↑**

There's evidence that prehistoric people understood simple mathematics, as well as astronomy. The oldest evidence comes from the Lebombo bone, which is about 37,000 years old and was found in Swaziland^{[1]}. It has 29 notches carved into it, which could have been used to record numbers, making it a tally stick. Stronger evidence comes from the Ishango bone, which was found on what is now the border between Uganda and the Democratic Republic of the Congo^{[2]}.

The Ishango bone is about 20,000 years old and has a series of notches carved into it in three columns. Patterns in these numbers may show that they were made by someone who understood addition, subtraction, multiplication, division, and prime numbers.

Prime numbers are numbers greater than one that are only divisible by themselves and one. They are the 'building blocks' of mathematics in a similar way to how atoms are the building blocks of chemistry. The first ten prime numbers are 2, 3, 5, 7, 11, 13, 17, 19, 23, and 29.

Row (a) of the Ishango bone begins with 3, which is doubled to make 6, 4 is then doubled to make 8. 5 is doubled to make 10. The last two numbers in the row, 5 and 7, are the third and fourth prime numbers.

Row (b) continues with the next four prime numbers, showing all of the prime numbers between 10 and 20.

Row (c) consists of the numbers 10+1, 20+1, 20-1, and 10-1.

The Ishango bone. Image credit: Ben2/CC-SA, Albert1ls/CC-SA, Albert1ls/CC-SA, and Albert1ls/CC-SA.

The Sumerians in southern Mesopotamia, which is part of modern-day Iraq, developed a written language in about 3000 BCE^{[3]}. This was around the same time that they developed the first school mathematics. People understood geometry and algebra by about 2000 BCE, by which time Sumer had become part of Babylon^{[4]}.

Around this time, both the Babylonians and Ancient Egyptians were aware of the number π (pi) the ratio of a circle's circumference to its diameter^{[5]}.

Image credit: modified by Helen Klus, original image by Kjoonlee/Papeschr/Public domain.

Image credit: Papeschr/Public domain.

By about 1500 BCE, the Babylonians were also aware of Pythagoras' theorem, which shows how the lengths of the sides of right-angled triangles are related^{[6]}.

**2. The only true knowledge ↑**

Ancient Greek mathematics began with Thales, who was born in about 624 BCE and contributed to geometry^{[7]}, and Pythagoras, who was born in about 570 BCE^{[8]}. Both were inspired by the Babylonians and Ancient Egyptians.

Pythagoras was fascinated both by the connections between mathematics and nature, and by the certainty that mathematical knowledge provides, especially when compared to sensory knowledge, which is sometimes unreliable.

Pythagoras is thought to have been the first to discover that music can be expressed mathematically. He believed that objects in space obey the same physical laws as the Earth, and so suggested that planets create music as they follow trajectories determined by similar mathematical equations^{[9]}.

Pythagoras coined the term 'mathematics', which meant 'learning', and founded a religious movement called Pythagoreanism. Pythagoreans believed that the whole universe is composed of mathematics, and that numbers are real entities that do not exist in space and time^{[10]}.

The Pythagoreans were reportedly shocked to discover irrational numbers. These are numbers that cannot be expressed as a fraction or written down in full because they contain an infinite amount of numbers with no known repeating pattern. They are said to have considered irrational numbers to be a flaw in nature, and had their discoverer killed^{[11]}.

A century after the founding of Pythagoreanism, ancient Greek philosopher Socrates repeated Pythagoras' argument, that numbers are abstract entities that represent real things. Socrates' student, Plato, claimed that we can only be certain of knowledge that originates from the mind, not the senses, which can be tricked^{[12]}.

Plato believed that there are two realms, the 'realm of the 'forms', which contains perfect concepts, and the physical realm we perceive with our senses. The physical world contains imperfect copies of the true forms. Since mathematics could be understood without sensory experience - i.e. we do not need to see 100 objects in order to know what 50+50 is - it represents certain knowledge, and so Plato believed numbers exist as real entities in the realm of the forms^{[13]}.

In about 387 BCE, Plato set up an academy in Athens, which became the mathematical centre of the world. Its students included The ancient Greek philosopher Aristotle^{[14]}, ancient Greek astronomer Eudoxus of Cnidus, and possibly Ancient Greek mathematician Euclid^{[15]}.

Euclid made a number of discoveries in geometry shortly after 300 BCE and was the first to suggest that there are an infinite amount of prime numbers. Euclid's proof is contained in *Elements*, which became one of the most popular geometry textbooks for the next 2000 years^{[16]}.

The concept of infinity had previously been discussed by ancient Greek philosopher Zeno of Elea. Zeno was about twenty years older than Socrates, and is said to have visited him in about 450 BCE when Socrates was about twenty years old. Zeno considered how one infinity could be larger than another - there are twice as many numbers than there are even numbers, for example, but both are infinite. He stated that if you walked across a room, halving the distance you travel with each step, then you would never reach the other side^{[17]}.

Ancient Greek astronomer Hipparchus may have discovered trigonometry in about 150 BCE^{[18]}. Indian mathematician Brahmagupta was the first to use zero as a number in 628 CE^{[19]}. This was a controversial idea since it suggested that 'nothing' represented something that is real. An even stranger new number, i, was devised almost one thousand years later. i equals the square root of -1.

The laws relating to i were first introduced by The Italian mathematician Rafael Bombelli in 1572 ^{[20]} and the symbol was introduced in the 18th century
^{[21]}. i was first referred to as an imaginary number by Rene Descartes in 1637^{[22a]}.

Descartes^{[22b]} and Pierre de Fermat^{[23]} devised the Cartesian coordinate system independently that year. This was used to plot graphs, which helped Isaac Newton and German mathematician Gottfried Leibniz develop calculus in the latter half of the century^{[24]}.

Cartesian coordinates. Image credit: K. Bolino/Public domain.

The sine wave in Cartesian coordinates. Image credit: Helen Klus/Public domain.

Descartes did not accept Pythagoras' argument, that mathematical knowledge is certain. He devised the 'dream argument', which states that we can never be certain of anything because there's no way to prove that what we perceive with our senses is real. It could be the case that only our mind exists, and the external world is like a dream or hallucination^{[25a]}.

Descartes stated, "whether I am awake or dreaming, it remains true that two and three make five, and that a square has but four sides", but we can never be certain this is true as a God, or a "some malignant demon" could trick us into believing that incorrect mathematics is correct^{[25b]}.

**3. The language of the universe ↑**

During the 17th century, astronomers such as Newton, German astronomer Johannes Kepler, and Italian natural philosopher Galileo Galilei, used mathematics to accurately describe the motion of the planets. Like Pythagoras, Galileo believed that the universe is composed in the language of mathematics.

In 1623, Galileo stated,

...philosophy is written in this grand book, the universe, which stands continually open to our gaze. But the book cannot be understood unless one first learns to comprehend the language and read the letters in which it is composed. It is written in the language of mathematics, and its characters are triangles, circles, and other geometric figures without which it is humanly impossible to understand a single word of it; without these, one wanders about in a dark labyrinth

^{[26]}.

Kepler was also inspired by Pythagoras, and believed that the motion of the planets produces music. He used mathematics to show that the planets orbit the Sun in ellipses and, by 1619, he was able to determine the time it takes each planet to orbit and their relative distances from the Sun^{[27]}.

In 1687, Newton published his law of universal gravitation^{[28]}. This was groundbreaking because it showed, not just that abstract mathematical principles, such as the newly invented calculus, could be applied to what we observe in nature, but that the laws responsible for the movement of the planets are also responsible for the movement of objects on Earth. Newton also believed that the universe could be understood as a mathematical object, and described God as "skilled in mechanics and geometry"^{[29]}.

Newton's contemporary, Leibniz, discovered another link between mathematics and nature when he first considered the idea of fractals^{[30]}. These are shapes that exhibit the same type of structures on all scales, such as frost, some plants, and coastlines. Twentieth century mathematicians, such as French mathematician Gaston Julia^{[31]} and Polish-French-American mathematician Benoit Mandelbrot^{[32]}, were inspired by Leibniz to create complicated fractals of their own.

By this time, quantum mechanics, and German-Swiss-American physicist Albert Einstein's theories of special and general relativity, had shown that nature obeys the laws of mathematics, even when this contradicts our common sense understanding of the world.

By this time, quantum mechanics, and German-Swiss-American physicist Albert Einstein's theories of special and general relativity, had shown that nature obeys the laws of mathematics, even when this contradicts our common sense understanding of the world.

Part of the Mandelbrot set. Image credit: Wolfgang Beyer/CC-SA.

As well as independently developing calculus and inspiring the discovery of fractals, Leibniz also considered that a number starting 2.718 was special^{[33]}^{[34]}^{[35]}.

This was first referred to as the number e by Swiss mathematician Leonhard Euler in 1731^{[36]}. In 1748, Euler proved that e is an irrational number^{[37]} and that the number e is connected to other important numbers:

**e ^{iπ} + 1 = 0**.

**e ^{iθ} = cosθ + i sinθ**.

Within twenty years, Swiss mathematician Johann Heinrich Lambert had proven that π, like e, is an irrational number^{[38]}. Irrational numbers cannot be written as fractions, yet π is the definition of the circumference of a circle, *C*, divided by its diameter, *d* (**π = C/d**). The irrationality of π means that either the circumference or the diameter of a circle, or both, must also be irrational. This shows that perfect circles can only exist if space is infinitely divisible.

**4. A million dollar mystery ↑**

Since Euclid proved there are an infinite amount of prime numbers in around 300 BCE, the idea that we could list them all in a 'periodic table' of mathematics has been abandoned. Mathematicians instead searched for an equation that could be used to determine if a number is prime or not, without going through the long process of seeing if it's divisible by any number but itself and 1. This seemed impossible; primes appear to be completely random.

The German mathematician Carl Friedrich Gauss was still a teenager in 1796 when he discovered that the distribution of prime numbers is related to logarithms^{[39]}. Gauss found that prime numbers are more sparsely distributed the higher you count. Between 1 and 100, there are only about four numbers between any two primes, if you count up to 10,000, however, then this average doubles to 8. This becomes 12 if you count to almost a million, 16 at over ten million, and 20 if you count to over a billion.

Average number between two primes. Image credit: Helen Klus/Public domain.

A plot of real and imaginary numbers. Image credit: Allisonandvalerie/CC-SA.

Gauss saw that the average amount of numbers between any two primes increases by about 2.3 every time *N* increases by a factor of 10. This means that they increase on a logarithmic scale to the base of e.

If ** x = b^{y}** then

**log**, and so,

_{b}(*x*) =*y*if **10 = e ^{~2.3}** then

**log**.

_{e}(10) = ~2.3Although Gauss' method is incorrect at first, he argued that it would become more and more accurate the higher you count. Belgian mathematician Charles de la Vallée-Poussin^{[40]} and French mathematician Jacques Hadamard^{[41]} proved Gauss correct in 1896. A logarithm to the base of e became known as a 'natural' logarithm.

Gauss was also responsible for creating a new coordinate system in order to map imaginary numbers.

Gauss' student, German mathematician Bernhard Riemann, liked to plot functions on this plot of imaginary numbers. He found that one function, known as the zeta function, creates a three-dimensional 'imaginary landscape' that's related to prime numbers^{[42]}.

*ζ*(*s*) =

^{s}**+**

^{s}**+**

^{s}**+**

^{s}**...+**

*n*

^{s}*n*is the next number in the sequence.

*ζ*(*s*) =

^{-s}**+**

^{-s}**+**

^{-s}**+**

^{-s}**+...**

*-p*

^{-s}*p*is the next prime number in the sequence.

Riemann found that a plot of this function, with *s* as any complex number (a number with a real and imaginary component) other than 1, produces zeroes for many numbers. The zeroes associated with all of the negative even numbers are called trivial zeroes.

All of the other zeroes are called non-trivial zeroes. The real part of every non-trivial zero of the Riemann zeta function is 1/2, and the position of these zeroes is thought to be related to the 'error' between Gauss's formula for calculating the distribution of prime numbers and the real distribution. This is known as the Riemann Hypothesis, and no one has been able to prove it yet. Riemann may have had a proof, but he died shortly after proposing the Riemann Hypothesis and much of his unpublished work was destroyed.

The Clay Mathematics Institute is offering a prize of US$1,000,000 to anyone who can prove the Riemann Hypothesis.

**5. The interconnectedness of all things ↑**

In the 19th century, people began to challenge Plato's argument, that mathematics contains true knowledge. In particular, it was not understood how Plato's abstract forms could interact with physical objects, since both obey different laws. Philosophers of science wanted to find another way to justify the certainty we have in mathematics, and many other schools of thought emerged, including intuitionism, formalism, and logicism^{[43a]}.

Intuitionism argues that mathematical statements are mental constructions. Formalism states that numbers do not exist, except as symbols that are not about anything, and that mathematics is built from the manipulation of these symbols by following rules. Logicism states that the whole of mathematics can be derived from the philosophical laws of logic.

The most famous set of logical mathematical axioms are the Peano axioms, named after the 19th century Italian mathematician Giuseppe Peano^{[44]}.

The Peano axioms state,

1. Zero is a number.

2. If *N* is a number, the successor of *N* is a number.

3. Zero is not the successor of a number.

4. Two numbers, of which the successors are equal, are themselves equal.

5. If a set of numbers, *S*, contains zero, and also the successor of every number in *S*, then every number is in *S*.

Austrian mathematician Kurt Gödel proved that the whole of mathematics could not be derived from the Peano axioms in 1931. This is known as Gödel's first incompleteness theorem. Gödel's second incompleteness theorem states that the Peano axioms cannot be used to prove their own consistency^{[45]}.

Philosophers of mathematics have since developed mixtures of structuralism - which states that numbers are defined by their place within a mathematical structure - and formalism - which states that numbers, and other abstract entities, do not exist - in order to justify our belief in mathematics^{[43b]}.

In the 1980s, French neuroscientist Jean-Pierre Changeux argued that mathematics is a product of the human mind; it tells us more about how our brains function than the external world^{[46]}. If mathematics is merely a human invention, then it would not provide a 'universal language' as many people hope.

While there is still no consensus on what numbers represent, most philosophers of mathematics agree that mathematics can be described as beautiful^{[47]}. In the 5th century CE, ancient Greek philosopher Proclus Lycaeus stated,

...wherever there is number, there is beauty

^{[48]}.

Paul Dirac said that mathematical beauty was "like a religion" to him^{[49]}, and in 1939, Dirac suggested

...the research worker, in [their] efforts to express the fundamental laws of Nature in mathematical form, should strive mainly for mathematical beauty…It often happens that the requirements of simplicity and beauty are the same, but where they clash, the latter must take precedence

^{[50]}.

The following year British mathematician Godfrey Harold Hardy stated that he was,

...interested in mathematics only as a creative art…The mathematician's patterns, like the painter's or the poet's must be

beautiful…Beauty is the first test: there is no permanent place in the world for ugly mathematics^{[51]}.

Mathematicians describe some methods of proof as 'elegant', and describe results as 'deep' if they connect two otherwise unrelated concepts^{[52]}.

Euler's formulas, **e ^{iπ} + 1 = 0** and

**e**, are considered beautiful as they show how the most important numbers are related, and their proof could be described as deep

^{iθ}= cos*θ*+ i sin*θ*^{[53]}. Proof of the Riemann Hypothesis could also be considered deep, as it will relate prime numbers to the numbers e and i.

Pollen under an electron microscope.

Image credit: Dartmouth Electron Microscope Facility/Public domain.

100,000 or so stars within the globular cluster Omega Centauri. Image credit: NASA, ESA, and the Hubble SM4 ERO Team/CC-A.

The pleasure that we find in mathematical structures is evident when we consider why we find beauty in things that are either too small, or too far away, to see without the aid of technology. We may find the shapes of pollen and stars to be beautiful, for example, because we recognise the mathematical structures they are composed of.

**UPDATE: As of 2017, the Riemann Hypothesis has still not been proven. Some references have been updated.**