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
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.