Proof Theory

Cantor’s Diagonal Argument

“Diagonalization seems to show that there is an inexhaustibility phenomenon for definability similar to that for provability” — Franzén (2004)

In addition to his inventions of set theory and transfinite numbers, Georg Cantor (1845–1918) is remembered as the brilliant inventor…