cousin_it comments on Bounded versions of Gödel’s and Löb’s theorems

[cousin_it]

By the way, how’s your work on Löb’s theorem going? I’d really like to see something.

[[deleted]]

-