Mathematical Colloquium
ODELJENJE ZA MATEMATIKU
MATEMATIČKOG INSTITUTA SANU
|
|
Predavanja možete pratiti i online putem MITEAM stranice Odeljenja za matematiku:
https://miteam.mi.sanu.ac.rs/asset/WbsehnSL4ZeTPJo6r
PROGRAM ZA JUN 2025.
Petak, 06.06.2025. u 14:15, Kneza Mihaila 36, sala 301f i
Online
Slobodan Vujošević, Matematički institut SANU
LAJBNIC I LOGIKA
Nepodeljeno je mišljenje da ključne ideje savremene logike potiču od Gotfrida Vilhelma Leibnica (1646 – 1716). Uočio je da se logika pre svega tiče jezika i time anticipirao Fregeovu ideju formalizacije matematike. Istovremeno, uočio je da formalizacija nije dovoljna za potpuno razumevanje matematičkih entiteta već da njoj mora prethoditi pojmovna analiza što je ostavilo dubok trag na Gedelovo razumevanje savremene logike. Takodje, Lajbnicova univerzalna ars inveniendi nesumnjivo nagoveštava veštačku inteligenciju. U ovom predavanju biće predstavljena dva Lajbnicova logička sistema, po svemu sudeći prva dva u savremenom smislu tog pojma.
Petak, 13.06.2025. u 14:15, Kneza Mihaila 36, sala 301f i
Online
Mihajlo Cekić, University of Paris-East Creteil
BRZINA MEŠANJA ZA EKSTENZIJE HAOTIČNIH TOKOVA
U ovom predavanju posmatraćemo ekstenzije haotičnih (Anosov) tokova na glavna raslojenja. Pokazaćemo da ergodičnost implicira da je brzina mešanja brža od
t-N za bilo koje
N > 0 (ovde je
t vreme). U dokazu ćemo koristiti tehnike iz mikrolokalne (semiklasične) analize, geometrije i dinamičkih sistema; ključna ideja je primena Borel-Weil semiklasičnog kalkulusa za glavna raslojenja koji smo razvili u skorašnjem radu.
Zajednički rad sa T. Lefeuvre.
Petak, 27.06.2025. u 14:15, Kneza Mihaila 36, sala 301f i
Online
Angelina Ilić Stepić, Matematički institut SANU
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 (2023), 175-219, 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.
Odeljenje za matematiku je opsti matematicki seminar namenjen sirokoj publici.
Predavanja su prilagodjena matematicarima i onima koji zele da to postanu.
Zoran Petrić, Odeljenje za matematiku Matematickog instituta SANU
