Проблема остановки|Максим Карсаков|Семинар КТ №1 скачать в хорошем качестве

Проблема остановки|Максим Карсаков|Семинар КТ №1

Не всякая математическая задача имеет алгоритм решения. Такое явление называется алгоритмической неразрешимостью. Я расскажу об алгоритмической неразрешимости проблемы остановки - утверждении о том, что не существует программы, которая по тексту алгоритма выясняет, закончит он работать или нет. Интересно, что этот результат был получен Аланом Тьюрингом в 30-е годы, ещё до появления компьютеров. Таймкоды 00:00:00 формулировка проблемы остановки 00:04:00 история алгоритмов 00:12:20 про машину Тьюринга 00:23:10 другие модели компьютера 00:28:20 понятие алгоритма 00:39:00 разрешимость, перечислимость, вычислимость 01:15:00 свойства разрешимых и перечислимых множеств 01:32:30 Теорема Поста 01:40:50 перечислимое не разрешимое множество 01:50:00 критерии перечислимости 01:56:00 универсальная вычислимая функция и доказательство теоремы 02:17:20 диагональный метод Кантора 02:26:30 завершение доказательства 02:33:20 вопросы после лекции