Лекционные курсы Научно-образовательного центра МИАН
Введение в теорию доказательств и ординальный анализ
Л.Д. Беклемишев. Лекция 1. Программа Гильберта и основания математики. Элементарные по Кальмару функции
24 сентября 2018 г., г. Москва, ул. Губкина, д. 8, МИАН, ауд. 530
Источник: http://www.mathnet.ru/present21679
Все видео с сессии:
http://www.mathnet.ru/conf1515
https://www.youtube.com/playlist?list=PLUbD59ZHv1GSEPejaATY8sWVnF3--GLmZ