Математическая логика и теория алгоритмов 11. Множества K_u, S_u. Главная УВФ

На протяжении видео присутствуют звуковые помехи, приносим извинения за доставленные неудобства. Таймкоды: 00:00:00 - Начало 00:05:00 - Множества K_u, S_u 00:07:20 - Лемма 1 (Неразрешимость проблемы самопримениомсти) 00:17:30 - Следствие 2(Неразрешимость проблемы остановки) 00:23:00 - Теорема 3 (K_u и S_u перечислимы, но неразрешимы) 00:24:00 - Следствие 4 00:26:08 - Лемма 5 00:29:15 - Определение (g продолжает f) 00:32:22 - Лемма 6 (Существование вычислимой функции без вычислимого тотального продолжения) 00:37:50 - Лемма 7 00:43:14 - Отделимые множества 00:45:00 - Теорема 8 00:45:58 - Следствие 9 01:02:39 - Главная УВФ 01:08:30 - Лемма 9 (Связь УВФ и главной УВФ) 01:12:35 - Кодирование пар 01:14:54 - Лемма 10 (Свойство кодирования пар) Дата лекции: 15.04.26 Лектор: Дашков Евгений Владимирович Оператор: Пышкин Владимир Монтажёр: Файзуллина Екатерина Плейлист на YouTube: https://www.youtube.com/playlist?list=PL4_hYwCyhAvZ4LnvcpHFODXqDPdnlEABP Плейлист