A variant of Löb’s theorem, isn’t it?
Edit: Downvoted because the parallels are too obvious, or because the comparison seems too contrived? “E”nquiring minds want to know …
A variant of Löb’s theorem, isn’t it?
Edit: Downvoted because the parallels are too obvious, or because the comparison seems too contrived? “E”nquiring minds want to know …