Khái niệm nào được tạo ra cho logic quatum?
Trong một bài báo nổi tiếng năm 1936 với Garrett Birkhoff, công trình đầu tiên giới thiệu logic lượng tử, von Neumann và Birkhoff lần đầu tiên chứng minh rằng cơ học lượng tử đòi hỏi một phép tính mệnh đề khác biệt đáng kể so với tất cả các logic cổ điển và cô lập một cách nghiêm ngặt một cấu trúc đại số mới cho logic lượng tử. Khái niệm tạo ra một phép tính mệnh đề cho logic lượng tử lần đầu tiên được nêu trong một phần ngắn trong công trình năm 1932 của von Neumann, nhưng vào năm 1936, nhu cầu về phép tính mệnh đề mới đã được chứng minh thông qua một số bằng chứng. Ví dụ, các photon không thể đi qua hai bộ lọc liên tiếp được phân cực vuông góc (ví dụ, một bộ lọc theo chiều ngang và một bộ lọc theo chiều dọc), và do đó, trước hết, nó không thể đi qua nếu một bộ lọc thứ ba phân cực theo đường chéo được thêm vào hai bộ lọc kia, trước hoặc sau chúng liên tiếp, nhưng nếu bộ lọc thứ ba được thêm vào giữa hai bộ lọc kia, các photon sẽ thực sự đi qua. Thực tế thực nghiệm này có thể dịch thành logic như tính không giao hoán của sự kết hợp. Nó cũng đã được chứng minh rằng các định luật phân phối của logic cổ điển, và, không hợp lệ cho lý thuyết lượng tử.
Phép tính mệnh đề