#матлог #учёба #спецсеминар #не_мехмат #МИАН #ТД

Logic Online Seminar (https://www.mathnet.ru/conf876) совместно с семинаром С.И. Адяна

понедельник 16:00 MSK (UTC+3), ауд. 313 МИАН + Контур Толк

16.12.2024 А.Я. Канель-Белов (Бар-Илан, МФТИ, МГУ, https://www.mathnet.ru/rus/person8698): Алгоритмическая неразрешимость проблемы вложения алгебраических многообразий (очный)

Чрезвычайно интересной и фундаментальной является задача об алгоритмической разрешимости проверки наличия изоморфизма между двумя алгебраическими многообразиями. Родственной и более простой задачей является задача о вложимости. В общем виде она формулируется так: пусть A и B – два алгебраических многообразия; определить, существует ли вложение A в B, найти алгоритм или доказать его отсутствие. Доклад посвящен отрицательному решению данного вопроса для аффинных многообразий над алгебраически замкнутым полем характеристики не 2, чьи координатные кольца заданы образующими и определяющими соотношениями.

🔗 Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar&


➰ ВК