You are right, in principle we can consider generalized SI for various hypercomputation models. In practice, SI is supposed to be a probability distribution over “testable hypotheses”. Since testing a hypothesis involves some sort of computation, it doesn’t seem to make sense to include uncomputable oracles. It would make sense for agents that are able to hypercompute themselves.
You are right, in principle we can consider generalized SI for various hypercomputation models. In practice, SI is supposed to be a probability distribution over “testable hypotheses”. Since testing a hypothesis involves some sort of computation, it doesn’t seem to make sense to include uncomputable oracles. It would make sense for agents that are able to hypercompute themselves.