Маркин П.М. Математическая логика

Известны два способа доказательства неразрешимости: прямой и

косвенный, использующий сводимость данной проблемы к другой массовой

проблеме, неразрешимость которой была доказана раньше.

Напоминание:

В настоящее время алгоритмические проблемы формируются как проблемы

решения вопроса о существовании алгоритма для решения данной

бесконечной серии однотипных задач и нахождения такого алгоритма в

случае, если он существует.