Ф.Н. Пахомов. Лекция 17. Системы арифметики второго порядка ACA0 , RCA0 и WKL0
Спокойное мышление
Введение в теорию доказательств и ординальный анализ
Ф.Н. Пахомов. Лекция 17. Системы арифметики второго порядка ACA0 , RCA0 и WKL0
11 марта 2...
Возрастное ограничение 12+
Ф.Н. Пахомов. Лекция 17. Системы арифметики второго порядка ACA0 , RCA0 и WKL0 - смотреть онлайн
Смотрите видео "Ф.Н. Пахомов. Лекция 17. Системы арифметики второго порядка ACA0 , RCA0 и WKL0" онлайн бесплатно в HD качестве. Спокойное мышление представляет вашему вниманию качественный контент, доступный для просмотра без регистрации.
О видео
Лекционные курсы Научно-образовательного центра МИАН Введение в теорию доказательств и ординальный анализ Ф.Н. Пахомов. Лекция 17. Системы арифметики второго порядка ACA0 , RCA0 и WKL0 11 марта 2019 г., г. Москва, ул. Губкина, д. 8, МИАН, ауд. 530 Источник: http://www.mathnet.ru/present23511 Вс...
Смотрите также
Если вам понравилось видео "Ф.Н. Пахомов. Лекция 17. Системы арифметики второго порядка ACA0 , RCA0 и WKL0", рекомендуем посмотреть другие работы от Спокойное мышление или похожие видео в категории Обучение.