En un famoso papel de 1936 con garrett birkhoff, el primer trabajo que se ha presentado para introducir lógicas cuánticas, von Neumann y birkhoff primero demostraron que la mecánica cuántica requiere un cálculo proposicional sustancialmente diferente de todas las lógicas clásicas y rigurosamente aislado una nueva estructura algebraica para la lógica cuántica. El concepto de creación de un cálculo proposicional para la lógica cuántica fue descrito por primera vez en una sección corta en el trabajo de von Neumann de 1932, pero en 1936, la necesidad del nuevo cálculo de proposicional se demostró a través de varias pruebas. Por ejemplo, los fotones no pueden pasar a través de dos filtros sucesivos que son polarizado polarizados (e. G., uno horizontalmente y el otro verticalmente), y por lo tanto, a aún, no puede pasar si un tercer filtro polarizado en diagonal se añade a los otros dos, ya sea antes o después de ellos en la sucesión, pero si el tercer filtro se añade entre los otros dos, los fotones, de hecho, pasan. Este hecho experimental se traducible en la lógica como el no-Conmutatividad de conjunción. También se demostró que las leyes de distribución de la lógica clásica, y, no son válidas para la teoría cuántica.
Con quién trabajo von neuman en un papel en 1936 que introduce la lógica cuántica?
Garrett birkhoff