cousin_it comments on The Cartoon Guide to Löb’s Theorem

[cousin_it]

If you really want to see the truth of the theorem at a glance, I found a much simpler proof on page 7 of this writeup by Aaronson.