I was expecting an argument like “most of the probability measure for a given program, is found in certain embeddings of that program in larger programs”. Has anyone bothered to make a quantitative argument, a theorem, or a rigorous conjecture which encapsulates this claim?
See e.g. Xu (2020) and recent criticism.
I was expecting an argument like “most of the probability measure for a given program, is found in certain embeddings of that program in larger programs”. Has anyone bothered to make a quantitative argument, a theorem, or a rigorous conjecture which encapsulates this claim?
I don’t think that statement is true since measure drops off exponentially with program length.