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

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





Для просмотра файлов Вам могут потребоваться






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


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

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

Количество просмотров:
Эта страница:733
Видеофайлы:334
Материалы:333

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



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

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017