在1936年与加雷特·伯克霍夫的一个著名的论文中, 第一次介绍量子逻辑, 冯·诺伊曼和伯克霍夫第一次证明量子力学需要一个与所有经典逻辑大大不同的命题微积分, 并严格... 为量子逻辑创建一个命题演算的概念第一次概述在冯·诺伊曼的1932年工作的一个简短部分, 但在1936年, 新命题微积分的需要通过几个证明证明. 例如, 光子不能通过两个连续的滤波器(e. g., 一个横向和另一个垂直), 因此, 更多的是, 如果第三个滤波器两极分化添加到另两个, 它不能通过. 在他们的继承之前或之后, 但如果第三个滤镜在其他两个之间添加, 光子确实会通过. 这一实验事实是可翻译成逻辑的, 作为非commutativity的结合. 这也证明了经典 逻辑 分配 的 法律, 并且 对 量子 理论 来 说 是 不 有效 的.
Von neuman在1936年的一篇论文中做了什么介绍量子逻辑?
加 勒 特 · 伯 克 霍 夫