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

Лектор: Алексей Львович Семенов — заведующий кафедрой математической логики и теории алгоритмов механико-математического факультета МГУ, доктор физико-математических наук, академик РАН. Аннотация. В лекции обсуждается общая проблема: возможно ли какое-то свойство (отношение) определить через другие свойства. Например, можно ли определить свойство «меньше» для рациональных чисел через свойство «лежать между»? В качестве примеров будет доказана Теорема Геделя о неполноте и намечено доказательство Теоремы Тарского о полуалгебраических множествах. Будет объяснено, как в теории определимости возникают автоморфизмы структур и соответствия Галуа. По ходу дела будем решать задачи. Лекция прочитана 7 августа 2022 года на Летней школе для студентов механико-математического факультета МГУ. Официальная группа мехмата в ВКонтакте: https://vk.com/mech.math.lmsu
Сайт студенческих школ http://students-schools.math.msu.ru/