cálculo proposicional
¿Qué concepto fue creado para la lógica del quatum?
En un famoso artículo de 1936 con Garrett Birkhoff, el primer trabajo en introducir lógicas cuánticas, von Neumann y Birkhoff demostraron por primera vez que la mecánica cuántica requiere un cálculo proposicional sustancialmente diferente de todas las lógicas clásicas. El concepto de crear un cálculo proposicional para la lógica cuántica se esbozó 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 proposicional se demostró a través de varias pruebas. Por ejemplo, los fotones no pueden pasar a través de dos filtros sucesivos que están polarizados perpendicularmente (por ejemplo, uno horizontalmente y el otro verticalmente), y por lo tanto, un fortiori no puede pasar si un tercer filtro Este hecho experimental es translatable en la lógica como la no conmutatividad de la 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.
question: ¿Qué concepto fue creado para la lógica del quatum?, answer: cálculo proposicional