Изменения
→Вычислимые и частично рекурсивные функции
В итоге <tex> F(args) = OUT(N(IN(args),T(IN(args))) </tex> - частично рекурсивная функция.
}}
Из этой теоремы и алгоритмической неразрешимости [[Проблема останова|проблемы останова]], следует алгоритмическая неразрешимость проверки частично рекурсивной функции на общерекурсивность
