Математическая логика и теория алгоритмов 10. Главные универсальные вычислимые функции

Таймкоды: 00:00:00 - Интро 00:00:05 - Тотальные функции 00:03:40 - Теорема (Не существует УВФ) 00:11:10 - Напоминание с прошлых лекций 00:15:50 - Главная универсальная вычислимая функция (ГУВФ) 00:21:20 - Утверждение (Существуют неглавные УВФ) формулировка 00:21:55 - Поучительная задача 00:25:18 - Теорема Райса-Успенского 00:40:30 - Утверждение (Существуют неглавные УВФ) доказательство 00:49:25 - Теорема Фридберга 00:51:00 - Куайн 00:54:20 - Теорема Клини (о неподвижной точке) Дата лекции: 25.03.26 Лектор: Мусатов Даниил Владимирович Оператор: Чегодаев Алексей Монтажёр: Пахомов Михаил Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvbdGv1rvfEe6CUK0g5V2q2R Плейлист