In einem berühmten Papier von 1936 mit Garrett Birkhoff, die erste Arbeit, die je zu der Einführung von Quanten-Logiken, von Neumann und Birkhoff wurde zuerst bewiesen, dass Quantenmechanik ein Logik-Kalkül, das wesentlich von allen klassischen Logiken unterscheidet und rigoros eine neue algebraischen Struktur für Quantum isoliert. Das Konzept der Erstellung eines Logik-Kalkül für die Quantum wurde erstmals in einem kurzen Abschnitt von von Neumann ' s 1932-Arbeit skizziert, aber im Jahr 1936 wurde die Notwendigkeit des neuen Logik-Kalkül durch mehrere Beweise demonstriert. Zum Beispiel können Photonen zwei aufeinander folgende Filter nicht durchgehen, die polarisiert sind (z. B. eine horizontal und die andere vertikal), und daher kann es nicht passieren, wenn ein dritter Filter, der diagonal polarisiert, den anderen beiden hinzugefügt wird., entweder vor oder nach ihnen in der Nachfolge, aber wenn der dritte Filter zwischen den anderen beiden hinzugefügt wird, werden die Photonen in der Tat durchgehen. Diese experimentelle Tatsache wird in der Logik als nicht-Nichtkommutativität der Verbindung. Es wurde auch gezeigt, dass die Gesetze der Verteilung der klassischen Logik, und, nicht für die Quantenmechanik gültig sind.
Welches Konzept wurde für die quatum-Logik erstellt?
Logik-Kalkül