Изменения
→Применение
Приведённая лемма позволяет доказывать алгоритмическую неразрешимость некоторой задачи, сводя к ней ''(а не наоборот!)'' другую, неразрешимость которой уже доказана.
Например:* , [[Примеры неразрешимых задач: проблема соответствий Поста|неразрешимость проблемы проблема соответствий Поста]].
==Сведение по Тьюрингу==
