Wei Dai writes:
>What is the set of all possible universes? Max Tegmark says its the set of
>all mathematical structures, and Juergen Schmidhuber says its the set of
>all Turing machines, but neither gives much justification. I tend to agree
>with Schmidhuber, if only because Tegmark's definition does not seem to
>lead to an effective theory. For example, what does a uniform distribution
>on all mathematical structures mean? However it would be nice to have some
>stronger justifications for assuming that only computable universes exist.

##
Advertising

I need to get back to even more basic basics.
1) There's a certain elegant simplicity to the claim "all possible universes
exist", at least if "possible" is interpreted as broadly as possible, i.e.,
"not logically inconsistent". But if you start substituting other meanings
for "possible", I think the elegance quickly disappears. You'd then still
have to explain why other non-logically-inconsistent universes don't exist,
and you'd have a bunch more weird universes to explain why we don't easily
observe them.
I find the many worlds theory of quantum mechanics elegant, but not because
it can be thought of as equally the above claim with a certain odd quantum
definition of "possible". I find it elegant because it seems simpler than
the known alternatives which account for the empirical data.
2) I can see why you might want some sort of prior over universes, so you
can make inferences about what universe you are in. But why should your
difficulty in choosing such a prior be an argument against universes
existing? Just because you have trouble thinking about a universe doesn't
mean it doesn't exist.
3) My basic problem with the "all possible universes exist" claim is that
I find it hard to figure out whether my actions have any consequences.
If all possible universes exist, then for any me in one universe choosing
one action, there is another me in another universe choosing another action.
In a global sense I can't choose actions anymore. All possible actions get
chosen.
Robin Hanson
[EMAIL PROTECTED] http://hanson.berkeley.edu/
RWJF Health Policy Scholar, Sch. of Public Health 510-643-1884
140 Warren Hall, UC Berkeley, CA 94720-7360 FAX: 510-643-8614