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