Сайт использует сервис веб-аналитики Яндекс Метрика с помощью технологии «cookie». Пользуясь сайтом, вы даете согласие на использование данной технологии.
Смотреть можно тут 00:00 Машина Тьюринга и тезис Чёрча 06:-04 Проблема остановки, брадобрей и нерешаемые задачи 17:45 Рекурсивные и рекурсивно перечислимые множества 27:07 Всякое рекурсивное рек перечислимо 30:23 Не всякое рек перечислимое рекурсивно 38:50 Существуют ли не рек перечислимые множества?
