On 23 Sep 2014, at 04:29, LizR wrote:
That link doesn't work on Firefox, at least not for me. But it seems
OK on chrome...
I eventually can see it, but that was hard.
It is not so bad, but frankly it helps to study it without those not
se easy to read drawing.
I appreciate he says "proved by PA" instead of the usual logician's
"proved in PA". The first is more correct, and that plays some role in
AUDA.
I will certainly come back on Löbs theorem.
BTW I recommend the following exercise for those who doubt that the
MWI reinstates locality: translate the Bennett (and Al.) quantum
teleportation experience in the MWI. It helped students to understand
this locality issue. In one world such teleportation + reality
criterion by Einstein entails real physical action at a distance (or
improbable luck!), but it is easy to see the "trick" when seen in the
many-world, where the classical bit needed by Bob to get the state of
the photon sent by Alice, only inform bet on their common part of the
multiverse they both belong. In particular, to send one qubit, Alice
need to send 2 classical bit, and this helps Bob to figure out which
branch of the universe he belongs among four branches in the
multiverse. It is easier than Löb! Everything follows from the
linearity of the tensor product. I use teleportation instead of Bell's
inequality violation to explain that MWI makes the physical reality
local, despite the appearances of non-locality in unique branche(s).
This does not prove that MWI reinstates locality, but it seems to me
it is enough to ask to those who claims that MWI does not reinstates
locality to explain why, and to give an experiment justifying this.
Where I still have some problem in the MWI is with the tunneling
effect. We might need to discuss this one day.
Bruno
I'm sure anyone who can follow a "Doctro Who" episode written by
Steven Moffat will have no trouble with that proof.
--
You received this message because you are subscribed to the Google
Groups "Everything List" group.
To unsubscribe from this group and stop receiving emails from it,
send an email to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
http://iridia.ulb.ac.be/~marchal/
--
You received this message because you are subscribed to the Google Groups
"Everything List" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To post to this group, send email to [email protected].
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.
