But, we’re trying to infer the actual generator, right? If, big-worldily, the actual generator is in some set of incomputible generators, it doesn’t help us at all to come up with an n-parameter generating program for the first n bits—although no computable predictor can do better. If the set of possible generators is, itself, incomputable, how do we set a probability distribution over it?
But, we’re trying to infer the actual generator, right? If, big-worldily, the actual generator is in some set of incomputible generators, it doesn’t help us at all to come up with an n-parameter generating program for the first n bits—although no computable predictor can do better. If the set of possible generators is, itself, incomputable, how do we set a probability distribution over it?