Математическая логика и теория алгоритмов 5. Операции с ординалами. Теорема Цермело

Таймкоды: 00:00:00 - Интро 00:00:05 - Про будущее 00:00:56 - Умножение ординалов 00:03:00 - Теорема о делении с остатком 00:06:36 - Теорема 00:10:50 - Деление ординалов с остатком 00:12:30 - Лемма 1 00:15:00 - Лемма 2 00:26:44 - Возведение в степень 00:27:50 - Индуктивное возведение в степень 00:31:09 - Явное определение возведения в степень 00:33:18 - Порядок на множестве финитных функций 00:37:11 - Эквивалентное определение порядка 00:40:00 - Утверждение про вполне упорядоченность 00:48:00 - Теорема об ординальной системе счисления 00:54:04 - Аксиома выбора и эквивалентные ей утверждения 00:59:33 - Теорема Цермело 01:08:30 - Свойства мощностей множеств (анонс следующей лекции) Дата лекции: 18.02.26 Лектор: Мусатов Даниил Владимирович Оператор: Чегодаев Алексей Монтажер: Пахомов Михаил Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvbdGv1rvfEe6CUK0g5V2q2R Плейлист