I recently wrote this [1] explanation of the halting problem. I should follow up with this approach to proving the incompleteness theorem! [1]: https://tigyog.

I recently wrote this [1] explanation of the halting problem. I should follow up with this approach to proving the incompleteness theorem! [1]: https://tigyog.app/lessons/fr9uub3hqgab/r/the-halting-problem https://tigyog.app/lessons/fr9uub3hqgab/r/the-halting-proble...