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 R.Standish.domain.name.hidden
Room 2075, Red Centre
http://parallel.hpc.unsw.edu.au/rks
International prefix +612, Interstate prefix 02
----------------------------------------------------------------------------
Received on Mon Aug 12 2002 - 23:48:42 PDT