Therefore, there is a real sense in which its hypothesis class includes things as difficult to compute as it is. That being said, my guess is that halting oracles would indeed let you compute more than just the lower semi-computable functions, and it’s also true that being able to run Solomonoff induction would also let you build a halting oracle.
I guess the way to reconcile this is to think that there’s a difference between what you can lower semi-compute, and what you could compute if you could compute lower semi-computable things? But it’s been a while since I had a good understanding of this type of thing.
I guess the way to reconcile this is to think that there’s a difference between what you can lower semi-compute, and what you could compute if you could compute lower semi-computable things? But it’s been a while since I had a good understanding of this type of thing.