|
|
|
|
|
|
by denotational
940 days 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. |
|
|