Yeah. An asymptotic thing like Solomonoff induction can still have all sorts of mathematical goodness, like multiple surprisingly equivalent definitions, uniqueness/​optimality properties, etc. It doesn’t have to be immediately practical to be worth studying. I hope LI can also end up like that.
Yeah. An asymptotic thing like Solomonoff induction can still have all sorts of mathematical goodness, like multiple surprisingly equivalent definitions, uniqueness/​optimality properties, etc. It doesn’t have to be immediately practical to be worth studying. I hope LI can also end up like that.
The pointwise non-uniform convergence problem does strongly suggest that it will not produce useful properties.