Cеминар «Теория определимости»

Уважаемые коллеги,

Мы начинаем работу учебно-исследовательского семинара «Теория определимости».

Руководители: академик А.Л. Семенов, 
к.ф.-м.н. С.Ф. Сопрунов, проф. А.Я. Белов

ВНИМАНИЕ! Объявлен новогодний конкурс!

Теория определимости изучает вопрос о том, как одно отношение можно определить через другие, она имеет почтенную историю, начиная с XIX века и даже ранее. Существенный вклад в развитие теории определимости сделал Альфред Тарский, ключевым результатом здесь стала Теорема Свенониуса 1959 г. – «Теорема полноты» для определимости.

В последующие десятилетия был получен ряд результатов, относящихся к конечным решеткам определимости однородных структур. В последние годы руководители семинара выработали подходы и получили результаты для неоднородных структур с бесконечными решетками определимости.

В рамках семинара будет, с одной стороны, сделан ряд реферативных докладов, вводящих участников, начиная со школьников и студентов 1-го курса, в тематику определимости. С другой стороны, с самого начала участникам будут предложены исследовательские задачи и намечены пути их решения. Среди тем первых заседаний Семинара будут решения задач участниками Летней конференции «Турнира городов» — 2021.