Gödel’s incompleteness theorems
Gödel proved his 3 famous incompleteness theorems at the opening of the 1900’s, and I would argue that they are still probably the most profound discoveries in mathematics of the whole century.
Veritasium gives one of the best descriptions of these proofs, and the mathematical developments that led to them.
2 thoughts on “Gödel’s incompleteness theorems”