Л.Д. Беклемишев. Лекция 1. Программа Гильберта и основания математики. Элементарные по Кальмару...

Лекционные курсы Научно-образовательного центра МИАН Введение в теорию доказательств и ординальный анализ Л.Д. Беклемишев. Лекция 1. Программа Гильберта и основания математики. Элементарные по Кальмару функции 24 сентября 2018 г., г. Москва, ул. Губкина, д. 8, МИАН, ауд. 530 Источник: Все видео с сессии: