Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
Л.Д. Беклемишев. Лекция 3. Доказуемо вычислимые функции теории EA
Лекционные курсы Научно-образовательного центра МИАН Введение в теорию доказательств и ординальный анализ Л.Д. Беклемишев. Лекция 3. Доказуемо вычислимые функции теории EA 8 октября 2018 г., г. Москва, ул. Губкина, д. 8, МИАН, ауд. 530 Источник: Все видео с сессии: • 2018-2019 гг. Л.Д. Беклемишев, Ф.Н. Пахомо...
