Naredni sastanak Seminara biće održan u petak, 27. juna 2025. godine, u sali 301f Matematičkog instituta SANU sa početkom u 14.15.
Predavač: Angelina Ilić Stepić, Matematički institut SANU
Naslov predavanja: PROBABILITY LOGICS FOR REASONING ABOUT MEASURING QUANTUM OBSERVATIONS ON THE SPACES WITH INFINITE DIMENSION
Apstrakt: In the paper „Probability Logics for Reasoning About Measuring Quantum Observations“, Logica Universalis; 17; 175-219, 2023, we presented families of probability logics suitable for reasoning about quantum observations on the spaces with finite dimensions. Quantum systems are often associated by infinite dimensional Hilbert spaces (harmonic oscillator, infinite energy values, free particle moving outside the force field, infinitely many positions, etc,). Therefore, we thought, it would be interesting to develop logic that formalize measurements on infinite dimensional spaces as well. Through the presentation of this logic we will try to refer to places that differ significantly from the corresponding logic for finite dimensional spaces. Accordingly, we will highlight the obstacles and problems we encountered in this approach. We give infinitary axiomatizations, prove the corresponding soundness and strong completeness theorems.
The work is still in the development phase regarding more efficient axioms and rules and especially in the formalization of concrete examples from quantum mechanics, using this logic.
Napomena: Predavanje je moguće pratiti na daljinu putem linka
https://miteam.mi.sanu.ac.rs/asset/WbsehnSL4ZeTPJo6r
