Логички семинар, 7. јун 2023.

Наредни састанак Семинара биће одржан у среду, 7. јуна 2023, у сали 301ф Матматичког института САНУ са почетком у 13 часова. У питању је заједнички састанак са Одељењем за математику.
 
Предавач: 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

Наслов предавања: THE THEORY OF DEFINABILITY
 
Апстракт: 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.
 
Напомена: Предавања се могу пратити на даљину преко линка: https://miteam.mi.sanu.ac.rs/asset/iYxPidYtFqBC9sT7a
 
Регистрациона форма је доступна на:
https://miteam.mi.sanu.ac.rs/asset/oaqCm4EyPhHR6kM6N


Нажалост није могуће оставити коментар.

Вести и дешавања


Активности на семинарима

све вести