Re: Predictions & duplications

From: Marchal <>
Date: Mon Oct 15 08:26:10 2001

Hal Finney wrote:

>Isn't this fixed by saying that the uniform measure is not over all
>universe histories, as you have it above, but over all programs that
>generate universes? Now we have the advantage that short programs
>generate more regular universes than long ones, and the WAP grows teeth.

I agree with Juergen on this: there is no uniform measure over all
programs (nor on all integers).

But in anycase you know I argue, unlike Juergen, that the measure should
be put on all (relative) consistent computational extensions
appearing in UD*. This gives indeed a sort of Weak Turing-tropic

In which relative *speed* is a by product, not a prior.

Received on Mon Oct 15 2001 - 08:26:10 PDT

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:07 PST