|
Organizers |
The logic of partial information and Bohr's complementarity principle in Quantum Mechanics
by
Areski Nait Abdallah
Univ. of Western Ontario, Canada and INRIA Rocquencourt, France
Starting from Grangier and Aspect's 1986 landmark experiments on single-photon interferences, we review Bohr's complementarity principle in Quantum Mechanics and the related wave-particle duality paradox.
We show how the wave-particle duality paradox is resolved using lambda-calculus and the logic of partial information. The logic of partial information was originally designed specifically for the needs of practicing computer scientists reasoning with partial information, and aimed at providing a formalization of Popper and Lakatos' logic of scientific discovery.
Date received: November 17, 2015
Copyright © 2015 by the author(s). The author(s) of this work and the organizers of the conference have granted their consent to include this abstract in Topology Atlas. Document # cblw-31.