hendrikboom ([personal profile] hendrikboom) wrote2010-08-01 05:35 pm

quantum mechanics and topos theory

I can't say I understand very much of it, but The Physical Interpretation of Daseinisation seems to present a formulation of quantum mechanics in which there's a true state space for quantum systems, which provides actual states for the system to actually be in, independent of any measurements we might want to perform on them. It then identifies classical perspectives on this state space, which represent various ways they might be measured. It turns out that this new formulation gives us an ordinary constructive logic instead of the rather intractible quantum logics theoreticians have been struggling with so far. The nice thing about constructive logics is that it's actually possible to do deductions in them, which seems not to be possible in the so-called quantum logics.

For those up to some heavy mathematics, it's neat stuff.

-- hendrik

Post a comment in response:

Anonymous( )Anonymous This account has disabled anonymous posting.
OpenID( )OpenID You can comment on this post while signed in with an account from many other sites, once you have confirmed your email address. Sign in using OpenID.
Account name:
If you don't have an account you can create one now.
HTML doesn't work in the subject.


If you are unable to use this captcha for any reason, please contact us by email at support@dreamwidth.org

Notice: This account is set to log the IP addresses of everyone who comments.
Links will be displayed as unclickable URLs to help prevent spam.