John von Neumann's Quantum Logic on December 15, 2016 Birkhoff George Birkhoff Hilbert John von Neumann Neumann propositional logic quantum logic quantum mechanics +