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?
If we’re considering hypotheses across all mathematically possible universes then why not consider hypotheses across all mathematically possible languages/machines as well?
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 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?
Must stop… before head explodes...
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