量子理论中的逻辑有什么不同？
在1936年与Garrett Birkhoff合作的一篇著名论文中，von Neumann和Birkhoff首次证明了量子力学需要一个与所有经典逻辑有本质区别的命题演算，并严格地分离了量子逻辑的一个新的代数结构。在冯·诺依曼1932年的著作中，为量子逻辑创建命题演算的概念首先在一小段中被概述，但是在1936年，通过几项证明证明了对新命题演算的需要。例如，光子不能通过两个垂直偏振的连续滤光片（例如，一个水平，另一个垂直），因此，更确切地说，如果第三个偏振的滤光片在连续滤光片之前或之后添加到另外两个滤光片上，但如果第三个滤光片添加在两个滤光片之间，光子就不能通过另外两个，光子，确实，会通过。这个实验事实可以转化为逻辑，因为连接的不可交换性。同时也证明了经典逻辑的分布规律，以及，对量子理论是无效的。
经典逻辑的分布规律，以及，对量子理论是无效的