3 ms·Pretty sure Gödel’s theorems imply the halting problem if you squint hard enough.by moomin 16d agoPretty sure Gödel’s theorems imply the halting problem if you squint hard enough.