Researched
Set Theory & Formal Logic
Cantor creates set theory (1874) and Frege formal logic (1879): the attempt to put all of mathematics on a secure foundation.
Open in the interactive tree →Cantor showed that there are different sizes of infinity. In 1879 Frege built the first fully formal language for proofs, and in 1900 Hilbert demanded a gap-free foundation for mathematics. This line of thought leads directly to computability theory and, much later, to every computer-checked proof.
Prerequisites
- Calculus (Analysis)1684
- Fourier Analysis1822Cantor was led to sets by questions on the convergence of Fourier series