Математическая логика и теория алгоритмов. Лекция 6. Проблема остановки. Функция Радо

Описание к видео Математическая логика и теория алгоритмов. Лекция 6. Проблема остановки. Функция Радо

Дата лекции: 13.03.24
Лектор: Зухба Анастасия Викторовна

Оператор: Дмитрий Достовалов
Редактор: Илья Оплачкин

Сайт ВШПИ: https://hsse.mipt.ru
Чат абитуриентов в telegram: https://t.me/hsse_entering
Сообщество ВШПИ в VK: https://vk.com/hssemiptru

00:00 - Начало
02:15 - Модуль отладчика
03:30 - Проблема остановки
25:30 - Функция «занятого бобра» - Функция Радо
32:30 - Теорема о невычислимости функции Радо
44:35 - Пример
56:40 - Проблема вычислимости МТ

Комментарии

Информация по комментариям в разработке

Похожие видео