On 10 Jun 2015, at 05:16, Bruce Kellett wrote:

Bruno Marchal wrote:
On 09 Jun 2015, at 15:11, Bruce Kellett wrote:
You appear to want to draw this conclusion from FPI. But in a discussion with Liz a while back, I challenged this interpretation of your teleportation thought experiments leading to FPI. It was readily shown that such thought experiments were completely orthogonal to quantum mechanics and the MWI.
No, You stopped at step 4 (which is already better than John Clark). You need AUDA to get the math of the FPI, and to compare it to physics. We have answered this, but you come back again on what has already been explained in detail: please reread the posts.

As I recall the discussion, you agreed that FPI in the teleportation experiments had nothing to do with MWI of quantum mechanics.

It has obviously something to do. Everett use it in the context of self-superposition. What I said is that they are different notions, not that they are not related. Normally, the FPI shopuld lead to the quantum MWI, when taken from the material points of view.



You said that you had only ever raised MWI as an illustration to help those who were familiar with Everettian quantum mechanics to understand the concept of FPI.

That can help, to avoid a frontal shock with the self-multiplication idea. This list is absed in part to an acceptation of Everett formulation of QM.


FPI in the teleportation scenarios, and later in the UDA, have nothing to do with the MWI of quantum mechanics, and one cannot be used to support or justify the other.

The one in the QM MW use the general idea defining the classical FPI. And UDA shows that the one of the QM MW, if the quantum is physical (s it seems to be), must be retrieved from the FPI, in the material hypostases.





Similarly for your attempt to bring quantum logic to your cause. Quantum logic was devised by von Neumann in the context of the collapse interpretation of QM, together with the use of projection operators. In Everettian many-worlds interpretations, there are no projection operators, and quantum logic does not have a footing. In fact, it has been pointed out that there is no such thing as a specifically "quantum" logic -- there is just ordinary predicate logic and a theory in which some operators do not commute. When you can derive the non-commutation of the position and momentum operators from comp, I might be a little more impressed.
UDA formulates the problem, and by the way, the non-commutation of some observable is already proved.

OK. For what set of quantum operators have you demonstrated non- commutation?

For the "yes-no" operator in general. They are given and construct from the quantization ([]<>A) in the logic Z1*. It is rather long to describe, and you have shown no interest for the small amount of technic needed to make sense of the material hypostases. We can come back on this later, if you are more interested.




Of course position and momentum are not yet derived, and it is not clear if they will be derived.

If they are not, comp fails a crucial test....

That is not entirely obvious. It might be possible that time and space are more geographical than physical notion, in which case, time and space would not be derivable. Hamiltonian with gravity and space-time structure might be contingent. Open problem. To be sure, I have some conjecture which would entail that space and time existence belong to the physical. I have explained this, but this needs Temperley Lieb algebra, the braid group, and some relation with the comp Quantum Logic.

But, anyway, UDA shows first the *necessity* of all this. I am still waiting your non-comp explanation of consciousness. Comp explains already why there is consciousness, and why there might be matter (in a testable way) capable of stabilizing the consciousness flux.

Bruno




Bruce

--
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 everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
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 everything-list+unsubscr...@googlegroups.com.
To post to this group, send email to everything-list@googlegroups.com.
Visit this group at http://groups.google.com/group/everything-list.
For more options, visit https://groups.google.com/d/optout.

Reply via email to