Математическая логика и теория алгоритмов 5. Ординалы (продолжение)
Автор: Лекторий ФПМИ
Загружено: 2022-02-20
Просмотров: 1573
Описание:
00:00 - Возведение ординалов в степень
31:33 - Ординал ε₀ и другие эпсилон ординалы
40:51 - Теорема об "ординальной системе счисления"
48:10 - Теорема Гудстейна
1:03:40 - Парадокс Банаха-Тарского и аксиома выбора
1:08:40 - Пролог к следующей лекции
Дата лекции 16.02.22
Лектор: Мусатов Даниил Владимирович
Оператор: Жильцов Игорь
Монтажер: Калинин Иван
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке: