3 ms·
> Gödel's incompleteness theorems, Cantor's diagonalization proof, Turing's halting problem If you’re looking for a generalisation, these are all instances of
by denotational 3y ago
> Gödel's incompleteness theorems, Cantor's diagonalization proof, Turing's halting problem
If you’re looking for a generalisation, these are all instances of Lawvere’s Fixed Point Theorem, although my grasp of category theory is nowhere near enough for me to claim to have any insight into this abstraction.