If you already understand Gödel’s first and second incompleteness theorems, then you can find a much simpler proof of Löb’s theorem in this pdf, pages 6-7.
If you already understand Gödel’s first and second incompleteness theorems, then you can find a much simpler proof of Löb’s theorem in this pdf, pages 6-7.