That thing is hilarious and good! Thanks for sharing it. As for the relevance, it explains the statement of Gödel’s theorem, but not the proof it. So, it could be pretty straightforwardly reworked to explain the statement of Löb’s theorem, but not so easily the proof of Löb’s theorem. With this post, I’m in the business of trying to find a proof of Löb that’s really intuitive/simple, rather than just a statement of it that’s intuitive/simple.
That thing is hilarious and good! Thanks for sharing it. As for the relevance, it explains the statement of Gödel’s theorem, but not the proof it. So, it could be pretty straightforwardly reworked to explain the statement of Löb’s theorem, but not so easily the proof of Löb’s theorem. With this post, I’m in the business of trying to find a proof of Löb that’s really intuitive/simple, rather than just a statement of it that’s intuitive/simple.