I think short timescale behavior of logical induction is model-dependent. I’m not sure whether your first conjecture is true, and I’d guess that it’s false in some models.
I find myself a little confused. Isn’t it the case that the probability of statement converges to 1 if and only if it is provable?
I think short timescale behavior of logical induction is model-dependent. I’m not sure whether your first conjecture is true, and I’d guess that it’s false in some models.
I find myself a little confused. Isn’t it the case that the probability of statement converges to 1 if and only if it is provable?