Наредни састанак Семинара биће одржан у петак, 27. јуна 2025. године, у сали 301ф Математичког института САНУ са почетком у 14.15.
Предавач: Ангелина Илић Степић, Математички институт САНУ
Наслов предавања: PROBABILITY LOGICS FOR REASONING ABOUT MEASURING QUANTUM OBSERVATIONS ON THE SPACES WITH INFINITE DIMENSION
Апстракт: 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.
Напомена: Предавање је могуће пратити на даљину путем линка
https://miteam.mi.sanu.ac.rs/asset/WbsehnSL4ZeTPJo6r