# Is quantum logic producing interesting/different mathematics?

Is quantum logic producing interesting/different mathematics?

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

-
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

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

-