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

Таймкоды: 00:00:00 - Интро 00:00:05 - Понятия с прошлой лекции 00:06 :00 - Теорема (Существование перечислимого неразрешимого множества) 00:10:53 - Проблема самоприменнимости 00:16:43 - Проблема остановки 00:17:29 - m-сводимость 00:20:43 - Пример 00:23:24 - Свойства m-сводимости 00:28:46 - Утверждение (Существование неперечислимого множества, дополнение которого неперечислимо) 00:40:00 - Рассуждение про действительные числа 00:40:54 - Вторая часть доказательства утверждения 00:50:28 - ГУВФ (Главная универсальная вычислимая функция) 01:03:50 - Почему существуют ГУВФ 01:11:25 - Анонс Дата лекции: 18.03.26 Лектор: Мусатов Даниил Владимирович Оператор: Пахомов Михаил Монтажер: Пахомов Михаил Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvbdGv1rvfEe6CUK0g5V2q2R Плейлист