Pretty sure Gödel’s theorems imply the halting problem if you squint hard enough.