I know very little about this area, but I suspect that a writeup like this classic explanation of Godel Incompleteness might be a step in the right direction: Godel incompleteness.
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.
I know very little about this area, but I suspect that a writeup like this classic explanation of Godel Incompleteness might be a step in the right direction: Godel incompleteness.
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.