Hal - that is not a uniform measure!
hal.domain.name.hidden 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.
>
> Hal Finney
>
----------------------------------------------------------------------------
Dr. Russell Standish Director
High Performance Computing Support Unit, Phone 9385 6967, 8308 3119 (mobile)
UNSW SYDNEY 2052 Fax 9385 6965, 0425 253119 (")
Australia R.Standish.domain.name.hidden
Room 2075, Red Centre
http://parallel.hpc.unsw.edu.au/rks
International prefix +612, Interstate prefix 02
----------------------------------------------------------------------------
Received on Mon Oct 15 2001 - 16:38:21 PDT