Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
"Введение в математическую логику и теорию алгоритмов" (Л. Д. Беклемишев, мехмат МГУ) Лекция 16 (18.12.2020) 0:00 Начало лекции 0:21 Вычислимая функция, не продолжаемая до вычислимой тотальной 6:33 Перечислимое неразрешимое множество 9:38 Проблема остановки 18:06 Пара неотделимых перечислимых множеств 23:03 Главная универсальная функция 38:53 Введение к теореме Райса-Успенского 46:50 Теорема Райса-Успенского
