Теория определимости

Описание: Лектор:
Алексей Львович Семенов — заведующий кафедрой математической логики и теории алгоритмов механико-математического факультета МГУ, доктор физико-математических наук, академик РАН.

Аннотация.
В лекции обсуждается общая проблема: возможно ли какое-то свойство (отношение) определить через другие свойства. Например, можно ли определить свойство «меньше» для рациональных чисел через свойство «лежать между»? В качестве примеров будет доказана Теорема Геделя о неполноте и намечено доказательство Теоремы Тарского о полуалгебраических множествах. Будет объяснено, как в теории определимости возникают автоморфизмы структур и соответствия Галуа. По ходу дела будем решать задачи.

Лекция прочитана 7 августа 2022 года на Летней школе для студентов механико-математического факультета МГУ.

Официальная группа мехмата в ВКонтакте: https://vk.com/mech.math.lmsu

Сайт студенческих школ http://students-schools.math.msu.ru/