Hal Finney wrote: > 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.
This doesn't seem to be very uniform to me. Maybe you mean that with the above prior the probability for a bit, drawn randomly from the set of all programs, to be 1 is 1/2 ? Saibal Saibal