Le 26-mai-05, à 18:03, Hal Finney a écrit :
> One problem with the UD is that the probability that an integer is even
> is not 1/2, and that it is prime is not zero. Probabilities in general
> will not equal those defined based on limits as in the earlier
> paragraph.
> It's not clear which is the correct one to use.
It seems to me that the UDA showed that the (relative) measure on a
computational state is determined by the (absolute?) measure on the
infinite computational histories going through that states. There is a
continuum of such histories, from the first person person point of view
which can not be aware of any delay in the computations emulated by the
DU (= all with Church's thesis), the first persons must bet on the
infinite union of infinite histories.
Bruno
http://iridia.ulb.ac.be/~marchal/
Received on Fri May 27 2005 - 11:08:00 PDT