That seems to be assuming the speed prior (or perhaps memory-use prior, or some combination of the two). The Kolmogorov prior (i.e. the program length prior) do

That seems to be assuming the speed prior (or perhaps memory-use prior, or some combination of the two). The Kolmogorov prior (i.e. the program length prior) doesn’t have that property.