MISANU

PROGRAM

ODELJENJE ZA MATEMATIKU
MATEMATIČKOG INSTITUTA SANU

PROGRAM ZA APRIL 2019.

ČETVRTAK, 04.04.2019 u 14:15, Sala 301f, MI SANU, Kneza Mihaila 36
Vesna Marinković, Matematički fakultet, Univerzitet u Beogradu
AUTOMATSKO REŠAVANJE KONSTRUKTIVNIH PROBLEMA U GEOMETRIJI I NJEGOVE PRIMENE
Konstruktivni problemi u geometriji predstavljaju jedan od najduže konstantno proučavanih problema u matematici. Zadatak u konstruktivnim problemima je da se za datu deklarativnu specifikaciju geometrijske figure odredi odgovarajuća, po mogućstvu ekvivalentna, proceduralna specifikacija zasnovana na raspoloživim konstruktivnim koracima.
Glavna tema ovog predavanja biće prikaz sistema ArgoTriCS za automatsko rešavanje lokacijskih konstruktivnih problema iz nekog zadatog korpusa. Takodje, biće prikazan i dokazivač ArgoCLP za koherentnu logiku uz čiju pomoć su za jednu potklasu konstruktivnih problema generisani formalni dokazi. Na kraju predavanja biće reči o mogućim primenama sistema ArgoTriCS: za dokazivanje (ne)konstruktibilnosti konstruktivnih problema putem redukcija i za pomeranje konstruisanih tačaka u alatima za dinamičku geometriju.
Zajednički sastanak sa Seminarem za Verovatnosne logike.

SREDA, 10.04.2019 u 14:15, Sala 301f, MI SANU, Kneza Mihaila 36
David Chodounsky, Institute of Mathematics of the Czech Academy of Sciences
P-ULTRAFILTERS ON NATURAL NUMBERS
P-ultrafilters on the set of natural numbers, i.e. ultrafilters closed under countable pseudo-intersections, have over the time become of great importance in set theory and its applications to other areas of mathematics. P-ultrafilters (also called P-points) were identified already in the 1950's by Walter Rudin who used them to prove the non-homogeneity of the Stone space of ultrafilters on natural numbers.
However, the existence of P-points is not provable using just the usual axioms of set theory ZFC. I will briefly recall the history, overview some basic properties of P-points and new developments in the area. In particular, I will formulate an axiom like statement which implies the non-existence of P-ultrafilters.
Zajednički sastanak sa Odeljenjem za mehaniku.

PETAK, 12.04.2019 u 14:15, Sala 301f, MI SANU, Kneza Mihaila 36
Igor Uljarević, Matematički fakultet, Univerzitet u Beogradu
RED DODIRA I LINIJSKE PODMNOGOSTRUKOSTI
Dokazaćemo uopštenje Monž-Kejli-Salmonove teoreme o redu dodira i linijskim površima koristeći (elementarnu) geometrijsku teoriju mjere.

PETAK, 19.04.2019 u 14:15, Sala 301f, MI SANU, Kneza Mihaila 36
Vojkan Jaksić, McGill University, Montreal; Matematicki institut SANU
ON A MATHEMATICAL THEORY OF REPEATED QUANTUM MEASUREMENTS
The statistics of the (finite alphabet) outcomes of repeated quantum measurements is studied by methods of thermodynamic formalism. Viewed as one-dimensional spin systems with long range interactions, repeated quantum measurements exhibit very rich (and sometimes very singular) thermodynamic behaviour. We will describe general thermodynamical formalism of these systems and illustrate its unexpected features on a number of examples.
Predavanje sa istim naslovom je odrzano na Prinstonu proslog oktobra. Video

Odeljenje za matematiku je opsti matematicki seminar namenjen sirokoj publici. Predavanja su prilagodjena matematicarima i onima koji zele da to postanu.

Zoran Petric, Odeljenje za matematiku Matematickog instituta SANU