рекурсивные и рекурсивно перечислимые множества

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