Rebuilding Mathematics on a Quantum Logical Foundation

Playing this video requires the latest flash player from Adobe.

Download link (right click and 'save-as') for playing in VLC or other compatible player.

Recording Details

Scientific Areas: 
PIRSA Number: 


It is not unnatural to expect that difficulties lying at the foundations of quantum mechanics can only be resolved by literally going back and rethinking the quantum theory from first principles (namely, the principles of logic). In this talk, I will present a first-order quantum logic which generalizes the propositional quatum logic originated by Birkhoff and von Neumann as well as the standard classical predicate logic used in the development of virtually all of modern mathematics. I will then use this quantum logic to begin to build the foundations of a new ``quantum mathematics'' --- in particular a quantum set theory and a quantum arithmetic --- which has the potential to provide a completely new mathematical framework in which to develop the theory of quantum