Ah, I misunderstood the question. I thought he thought that the solomonoff prior wouldn’t be normalized—so for example, a program of length 30 and a program of length 33 would both be in infinite strings, so as you search infinity strings you find them equally common.
Still I don’t understand the “exponential” part. I thought that you may have deliberately given an obscure brief answer to the obscure brief question in the OP.
So what happens is that as you search more and more strings, they get weighted exponentially (i.e. like e^-length), so even though the program of length 30 and the program of length 33 show up in infinite strings, when you sum up the total weight, you get two different constants.
Because when you integrate an exponential, you get a constant.
Is this a joke?
Ah, I misunderstood the question. I thought he thought that the solomonoff prior wouldn’t be normalized—so for example, a program of length 30 and a program of length 33 would both be in infinite strings, so as you search infinity strings you find them equally common.
Still I don’t understand the “exponential” part. I thought that you may have deliberately given an obscure brief answer to the obscure brief question in the OP.
So what happens is that as you search more and more strings, they get weighted exponentially (i.e. like e^-length), so even though the program of length 30 and the program of length 33 show up in infinite strings, when you sum up the total weight, you get two different constants.