8. Неразрешимость

MIT 18.404J Теория вычислений, осень 2020 Преподаватель: Майкл Сипсер Полный курс: https://ocw.mit.edu/18-404JF20 Плейлист на YouTube:    • MIT 18.404J Theory of Computation, Fall 2020   Кратко повторил материал прошлой лекции. Показал, что натуральные и действительные числа имеют разный размер, чтобы ввести метод диагонализации, и использовал его для доказательства неразрешимости задачи принятия для машин Тьюринга. Ввел метод сводимости, чтобы показать неразрешимость задачи HALT для машин Тьюринга. Лицензия: Creative Commons BY-NC-SA Более подробная информация на https://ocw.mit.edu/terms Больше курсов на https://ocw.mit.edu Поддержите OCW по ссылке http://ow.ly/a1If50zVRlQ Мы приветствуем конструктивные комментарии и обсуждения на YouTube-канале OCW и в других социальных сетях. Личные нападки, разжигание ненависти, троллинг и неподобающие комментарии запрещены и могут быть удалены. Подробнее на https://ocw.mit.edu/comments.