Which hypothesis, between "2*3" and "6", is simpler and less complex, based on what we observe from these two different machines? Which one is right? AFAIK, this is still completely unresolved.
If we're considering hypotheses across all mathematically possible universes then why not consider hypotheses across all mathematically possible languages/machines as well?
What weight will we assing to the individual languages/machines? Their complexity... according to what? Perhaps we could make a matrix saying how complex a machine A is when simulated by a machine B, and then find the eigenvalues of the matrix?
This is also my intuition as well, though it has to be restricted to turing-complete systems I think. I was under the impression that there was already some active research in this direction, but I've never taken the time to look into that too deeply
If it's worth saying, but not worth its own post (even in Discussion), then it goes here.