Rebuilding Mathematics on a Quantum Logical Foundation

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

Event Type: 
Scientific Area(s): 
Event Date: 
Tuesday, December 10, 2013 - 15:30 to 17:00
Time Room
Room #: