> 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.
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.