Stuart_Armstrong comments on Probabilistic Löb theorem

[Stuart_Armstrong]

We don’t have that system yet! Just that that is what we generally do with the systems we have.