Formal Mathematics
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’.
Preparing for Further Study in Mathematics
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.
