Bruno probably does, but I'll put my spin on it. Each distinguishable
"world" is a description*, which is a conjunction of propositions "I
have green eyes _and_ I live in Sydney _and_ the twin towers were
destroyed by airliners on 11/9/2002 _and_ ...", and as such is a
proposition. I'm not completely convinced that one can simply apply
modal logic to the set of all descriptions in this way, but it does
have some plausibility.
Cheers
* This is the case in the Schmidhuber and Tegmark ensembles, but not
so obviously true of Deutsch's Multiverse.
Wei Dai wrote:
>
>
> Now I'm lost again. Again A is a world not a proposition so what would "A
> or not-A" mean even if A and B are comparable?
>
> If anyone else understand the point Tim is making please help me out...
>
----------------------------------------------------------------------------
A/Prof Russell Standish Director
High Performance Computing Support Unit, Phone 9385 6967, 8308 3119 (mobile)
UNSW SYDNEY 2052 Fax 9385 6965, 0425 253119 (")
Australia [EMAIL PROTECTED]
Room 2075, Red Centre http://parallel.hpc.unsw.edu.au/rks
International prefix +612, Interstate prefix 02
----------------------------------------------------------------------------
