Christopher King comments on Solomonoff induction still works if the universe is uncomputable, and its usefulness doesn’t require knowing Occam’s razor

[Christopher King]

An uncomputable universe doesnt have to be a computable universe with an oracle bolted on. For instance, a universe containing an SI has to be uncomputable.

Sure, that’s just an example. But SI can be computed by an oracle machine, so it’s a sufficiently general example.