Seminar Series Quantumness: Quantum logic as a logic on May 21
Events |
The burgeoning research into quantum information and computation marks a significant milestone that can be dubbed “the second quantum revolution”. The first quantum revolution of the 20th century deeply changed the fundamental concepts of physics and our understanding of the physical world. The second quantum revolution of the 21st century is leading to dramatic technological changes in our society and shaping new conceptual and logical paradigms. Munich Quantum Valley serves as an exemplary case, bringing together fundamental research and practical application.
The Seminar Series is organized by Prof. Dr. Roberto Giuntini (Philosopher in Residence) and his hosts:
Prof. Dr. Hans-Joachim Bungartz, Prof. Dr. Stefania Centrone, Prof. Klaus Mainzer
For further information, please contact: roberto.giuntini(at)tum.de
Date: May 21, 2024
Time: 14:30-16:00
Program:
14:30-15:15 Prof. Roberto Giuntini (University of Cagliari, IAS-TUM)
From sharp to unsharp logic (I); a universe without contradiction
15:15-16:00 Prof. Francesco Paoli (University of Cagliari)
From sharp to unsharp logic (II): the appearance of contradiction in the quantum world
Abstract (Part I and II):
In this talk, we survey in broad brushstrokes some concepts and perspectives in quantum logic, contrasting the traditional “sharp” approach à la Birkhoff-von Neumann with some later developments in “unsharp” quantum theory. We will compare the different mathematical counterparts of the notion of an event (or proposition) in these theories: while sharp quantum logic identifies them with projection operators of a complex separable Hilbert space, unsharp quantum logic focusses on the larger class of effects, which can none the less be assigned a probability-value via the Born rule. We will pay particular attention to some algebraic structures that have been suggested as abstractions from these concrete structures of events. In the sharp case, orthomodular posets and lattices have been an object of intensive investigation since the seminal work by Birkhoff and von Neumann. For unsharp quantum logic the situation is more fragmented – however, within the plethora of structures that have been studied in the literature, we will emphasise paraorthomodular Brouwer-Zadeh lattices. Our survey will be conducted against the backdrop of a constant comparison with the mathematical structures enployed for classical physics; we will also hint at the relevance of this research strand for the construction of models of (classical and nonclassical) computation.
Venue:
Institute for Advanced Study
Lichtenbergstraße 2a
Room 0.004 (ground floor)
85748 Garching
