RUS
ENG
ЖУРНАЛЫ
ПЕРСОНАЛИИ
ОРГАНИЗАЦИИ
КОНФЕРЕНЦИИ
СЕМИНАРЫ
ВИДЕОТЕКА
ПАКЕТ AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Ближайшие семинары
Календарь семинаров
Список семинаров
Архив по годам
Регистрация семинара
Поиск
RSS
Ближайшие семинары
Для просмотра файлов Вам могут потребоваться
Л. Д. Беклемишев, Ф. Н. Пахомов. Введение в теорию доказательств и ординальный анализ
12 ноября 2018 г.
16:30
, г. Москва, МИАН, ул. Губкина, д.8, ауд. 530
Лекция 7. Теорема Парсонса-Минца-Такеути о доказуемо вычислимых функциях
$\mathsf{I}\Sigma_1$
(Часть 2).
Ф. Н. Пахомов
,
Л. Д. Беклемишев
Видеозаписи:
MP4
3,041.3 Mb
MP4
1,380.8 Mb
Количество просмотров:
Эта страница:
140
Видеофайлы:
48
Youtube Video:
Видео не загружается в Ваш браузер:
Активируйте JavaScript в Вашем браузере
Установите
Adobe Flash Player
Проверьте с Вашим администратором, что из Вашей сети разрешены исходящие соединения на порт
8080
Сообщите
администратору портала
о данной ошибке
https://youtu.be/4-W35IlVGAY
ОТПРАВИТЬ:
Обратная связь:
math-net2021_01 [at] mi-ras ru
Пользовательское соглашение
Регистрация
Логотипы
©
Математический институт им. В. А. Стеклова РАН
, 2021