Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Is quantum logic producing interesting/different mathematics?

Is it different from the intuitionist approach to mathematics? How?

share|improve this question
1  
I'm not sure I understand the question. Quantum logic is a branch of mathematics, and it is different from other branches (that's why it has its own name), so in that sense, it is certainly producing interesting and different mathematics. –  Qiaochu Yuan Feb 26 '11 at 22:05
    
Why would you expect quantum logic to be the same as intuitionism? –  Grumpy Parsnip Feb 26 '11 at 23:26
    
@Qiaochu I was under the impression that if you change the laws of logic, a lot of proofs become invalid, and that makes different mathematics. @Jim From the little I know, quantum logic talks about prepositions that neither have true nor false value, which reminds me of the intuitionist approach. –  Uri Feb 27 '11 at 9:49
    
I don't think people use quantum logic that way, but I could be wrong. –  Qiaochu Yuan Feb 27 '11 at 12:22

1 Answer 1

There is an approach to quantum logic where you get topoi with quantum logic. An elementary topos is sometimes regarded as a "place" where you can do mathematics, but where classical logic doesn't necessarily apply. Thus you get a different sort of mathematics.

I know very little about these quantum topoi, so I cannot detail in what way their mathematics differ from the classical one. But I think the two articles referenced in the below PlanetMath articles may (or may not - I haven't read them) answer your question.

http://planetmath.org/encyclopedia/QuantumLogicsTopoi2.html

http://planetmath.org/encyclopedia/QuantumStateSpace.html

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.