Re: Program for UD

2001-05-04 Thread Marchal
Hal Finney wrote also: >This leads to three questions: > > - Would all UD programs correspond to the universal measure, >asymptotically? Universal measure defined on what ? (Well this is an ongoing important discussion ...) I do think that, for constructive universal measure whatsoever, you

Re: Program for UD

2001-05-03 Thread Marchal
Hal Finney wrote: >Has anyone proposed a specific implementation for the Universal Dovetailer >(UD)? Here is the UD from my technical reports. It is the complete definition, and it is written in a standard LISP, so you can run it and indeed compute Chaitin's Omega. Some people asked me from t

Program for UD

2001-05-02 Thread hal
Has anyone proposed a specific implementation for the Universal Dovetailer (UD)? This is a program which runs all possible programs, a little bit at a time, making progress in all of them. For something close, here is Greg Chaitin's program to calculate Omega, the probability that a random progr