Математическая логика и теория алгоритмов 3. Теорема о сравнимости. Теорема о трансфинитной рекурсии

Таймкоды: 00:00:00 - Интро 00:00:05 - Напоминание 00:05:20 - Теорема о сравнимости 00:06:40 - Лемма 00:10:40 - Доказательство теоремы 00:17:50 - Теорема о трансфинитной рекурсии 00:51:00 - Обобщенная теорема о трансфинитной рекурсии 00:56:10 - Возвращаемся к теореме о сравнимости 01:05:20 - Ординалы Дата лекции: 11.02.26 Лектор: Мусатов Даниил Владимирович Оператор: Чегодаев Алексей Монтажер: Пахомов Михаил Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvbdGv1rvfEe6CUK0g5V2q2R Плейлист