Изменения

Перейти к: навигация, поиск

Частично рекурсивные функции

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

Навигация