Видеотека
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Видеотека
Архив
Популярное видео

Поиск
RSS
Новые поступления






Однодневный семинар по математической логике
24 июня 2024 г. 16:00–16:30, г. Москва, Покровский бульвар 11, аудитория R205
 


Алгоритмическая неразрешимость проблемы вложения

А. А. Чиликов, А. Я. Белов
Видеозаписи:
MP4 815.6 Mb
MP4 397.4 Mb

Количество просмотров:
Эта страница:109
Видеофайлы:82



Аннотация: Чрезвычайно интересной и фундаментальной является задача об алгоритмической разрешимости проверки наличия изоморфизма между двумя алгебраическими многообразиями. Родственной и более простой задачей является задача о вложимости. В общем виде она формулируется так: пусть A и B - два алгебраических многообразия; определить, существует ли вложение A в B, найти алгоритм или доказать его отсутствие. Доклад посвящен отрицательному решению данного вопроса для аффинных многообразий над произвольном полем характеристики нуль, чьи координатные кольца заданы образующими и определяющими соотношениями.
 
  Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024