Von Neuman đã làm việc với ai trên một bài báo giới thiệu logic lượng tử vào năm 1936?
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ử yêu cầu một phép tính mệnh đề khác biệt đáng kể với tất 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ử.