Solomonoff induction gives you a weighted sum over an infinite number of programs [1] . That’s not compact
The point is that the sum is inversely weighted by compactness, not that the sum is itself compact.
The point is that the sum is inversely weighted by compactness, not that the sum is itself compact.