Juergen Schmidhuber writes: > But there is no uniform prior over all programs! > Just like there is no uniform prior over the integers. > To see this, just try to write one down.
I think there is. Given a program of length l, the prior probability is 2^(-l). (That is 2 to the power of negative l.) The length of a program is defined by interpreting it using self-delimiting rules as is customary in the AIT analysis of Greg Chaitin. Hal Finney
