Re: Quantum Interference and the Plentitude

From: Bruno Marchal <marchal.domain.name.hidden>
Date: Fri, 11 Jan 2008 15:07:07 +0100

Le 07-janv.-08, à 14:48, Mirek Dobsicek a écrit :

>
>
>> If quantum mechanics was done using a real-valued Hilbert space, you
>> simply don't get wavelike interference patterns.
>
> To my knowledge, you don't get interference patterns for *positive*
> real-valued Hilbert space, but for real-valued Hilbert space you do.
>
>
> Check http://mina4-49.mc2.chalmers.se/~dobsicek/PhDThesis.pdf on page
> 39
> for a quick review and references.

Very interesting thesis Mirek. I have download it, and will certainly
try to dig a bit more on it some week-ends.
I see you don't cite Everett, which indeed is not necessary for the
practice of quantum computing. But your presence in this list could
mean that you are open to many-worlds ideas, or everything-like
theories. I would like to know, if you don't mind, your opinion on
Everett, Deutsch ..., and perhaps about interpretation of QM in general


About the S K programming language, I guess some people have recognize
the Shoenfinkel-Curry combinators. More on this in my old combinators
posts:

http://www.mail-archive.com/everything-list.domain.name.hidden/msg05920.html
http://www.mail-archive.com/everything-list.domain.name.hidden/msg05949.html
http://www.mail-archive.com/everything-list.domain.name.hidden/msg05953.html
http://www.mail-archive.com/everything-list.domain.name.hidden/msg05954.html
http://www.mail-archive.com/everything-list.domain.name.hidden/msg05955.html
http://www.mail-archive.com/everything-list.domain.name.hidden/msg05956.html
http://www.mail-archive.com/everything-list.domain.name.hidden/msg05957.html
http://www.mail-archive.com/everything-list.domain.name.hidden/msg05958.html
http://www.mail-archive.com/everything-list.domain.name.hidden/msg05959.html
http://www.mail-archive.com/everything-list.domain.name.hidden/msg05961.html

But people could try to solve the problem without looking at this, or
just ask me. Those interested in quantum programming language could
search for "quantum lambda calculus". Lambda calculus, the original
universal system proposed by Church, and which is at the origin of
Church thesis, has some deep advantages concerning the idea of building
quantum programming languages.

Have a nice week-end,

Bruno


http://iridia.ulb.ac.be/~marchal/


--~--~---------~--~----~------------~-------~--~----~
You received this message because you are subscribed to the Google Groups "Everything List" group.
To post to this group, send email to everything-list.domain.name.hidden
To unsubscribe from this group, send email to everything-list-unsubscribe.domain.name.hidden
For more options, visit this group at http://groups.google.com/group/everything-list?hl=en
-~----------~----~----~----~------~----~------~--~---
Received on Fri Jan 11 2008 - 09:07:42 PST

This archive was generated by hypermail 2.3.0 : Fri Feb 16 2018 - 13:20:14 PST