On the Logical Formalization of Single Photon Self-Interference

Abstract: We consider the particle interference problem in quantum physics, and discuss a Curry-Howard isomorphism based logical analysis of this problem. This approach is applied to a photon traversing a Mach-Zehnder interferometer.

Speaker's Bio: Nailt-Abdallah holds a "Doctorat es Sciences" in mathematics from the University of Paris. He taught computer science and applied mathematics at several universities in France, USA and Canada. His research interests are in the area of theoretical computer science, computational linguistics, and applied logic.