cousin_it comments on What a reduction of “could” could look like

[cousin_it]

Woah, I just noticed the weird alternative proof of Löb’s theorem contained in that PDF. Can’t even tell if it’s correct. Thanks!