Hal - that is not a uniform measure!

[EMAIL PROTECTED] 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                                [EMAIL PROTECTED]             
Room 2075, Red Centre                    http://parallel.hpc.unsw.edu.au/rks
            International prefix  +612, Interstate prefix 02
----------------------------------------------------------------------------

Reply via email to