Skip main navigation

Formal Mathematics

What do we know about Mathematics. How can we be sure that $$1+1=2$$? In this article we look at a famous attempt to formalise all of Maths.
A screen shot from Principia Mathematica

Between 1910 and 1913 British Mathematicians Alfred North Whitehead and Bertrand Russell published three versions of their book Principia Mathematica.

In these books they attempted to formalise all known mathematics and logic, in the most basic sense possible. They wanted to build up from the start and establish the foundations of the subject.

These works took them around 360 pages to be able to prove that (1+1=2).

Have a look at the video below, and your ideas will be useful in our discussion in the next step.

It contains certain things that we, would consider most obvious, such as ‘any list of numbers must have at least one number greater than or equal to all of the others’.

This article is from the free online

Preparing for Further Study in Mathematics

Created by
FutureLearn - Learning For Life

Reach your personal and professional goals

Unlock access to hundreds of expert online courses and degrees from top universities and educators to gain accredited qualifications and professional CV-building certificates.

Join over 18 million learners to launch, switch or build upon your career, all at your own pace, across a wide range of topic areas.

Start Learning now