Kolmogorov complexity is somewhat familiar to me too.
Optimizing for the sum of the lengths of the theory and the compressed data seems to be the right thing to do because one can always store part of the theory in the compressed data. This doesn’t change the sum (theory + compressed data). Optimizing for the product might reward this behavior too much.
Kolmogorov complexity is somewhat familiar to me too.
Optimizing for the sum of the lengths of the theory and the compressed data seems to be the right thing to do because one can always store part of the theory in the compressed data. This doesn’t change the sum (theory + compressed data). Optimizing for the product might reward this behavior too much.