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