Logički seminar, 7. jun 2023.

Naredni sastanak Seminara biće održan u sredu, 7. juna 2023, u sali 301f Matmatičkog instituta SANU sa početkom u 13 časova. U pitanju je zajednički sastanak sa Odeljenjem za matematiku.
Predavač: Alexey Semenov,
Head of the Department of Mathematical Logic and Theory of Algorithms of Lomonosov Moscow State University; Director of Axel Berg Institute of Cybernetics and Educational Computing of Russian Academy of Sciences; Academician of Russian Academy of Sciences and Russian Academy of Education

Apstrakt: Definability theory can be considered as an important part of all mathematics along with proof theory, model theory, and computation theory. This was constantly emphasized by Alfred Tarski, who owns remarkable results in this theory, the main question of which is: is it possible to define some concept or relation, through other concepts, relations.

The report will give a general overview of the results in definability theory since the XIX century, including the Svenonius Theorem (completeness theorem for definability), the latest results of the author, his students and colleagues are presented, and a wide spectrum of open problems and possible solutions are proposed.  The presence of this spectrum is a characteristic feature of the current state of definability theory.

The report can also provide a general overview of the research on mathematical logic, theory of algorithms and Computer Science going on at Moscow University, Moscow, and Russia.
Napomena: Predavanja se mogu pratiti na daljinu preko linka: https://miteam.mi.sanu.ac.rs/asset/iYxPidYtFqBC9sT7a
Registraciona forma je dostupna na:

Nažalost nije moguće ostaviti komentar.