| RUS ENG |
| Полная версия |
|
|
|
| ВИДЕОТЕКА |
|
Традиционная новогодняя сессия МИАН-ПОМИ, 2009 «Логика и теоретическая информатика»
|
|||
|
|
|||
|
Десятая проблема Гильберта и модели вычислительных процессов Ю. В. Матиясевич |
|||
|
Аннотация: В докладе дан обзор разнообразных моделей вычислительных процессов, как используемых для доказательства неразрешимости 10-й проблемы Гильберта, так и тех, неразрешимость или универсальность которых была установлена на основе теоремы о диофантовости перечислимых множеств. |
|||