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

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



Традиционная новогодняя сессия МИАН-ПОМИ, 2009 «Логика и теоретическая информатика»
16 декабря 2009 г. 16:05, г. Москва 		 

Десятая проблема Гильберта и модели вычислительных процессов

Ю. В. Матиясевич
Видеозаписи:
Real Video 192.0 Mb
Windows Media 198.2 Mb
Flash Video 232.5 Mb
MP4 287.8 Mb
Дополнительные материалы:
Adobe PDF 437.0 Kb

Количество просмотров:
Эта страница:964
Видеофайлы:418
Материалы:531

Ю. В. Матиясевич



Аннотация: В докладе дан обзор разнообразных моделей вычислительных процессов, как используемых для доказательства неразрешимости 10-й проблемы Гильберта, так и тех, неразрешимость или универсальность которых была установлена на основе теоремы о диофантовости перечислимых множеств.

Дополнительные материалы: MIAN_POMI_2009_prn.pdf (437.0 Kb)
 
  Обратная связь:
  Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024