Изменения
Нет описания правки
}}
Из этой теоремы и неразрешимости языка программ завершающихся при любом входе, следует алгоритмическая неразрешимость проверки частично рекурсивной функции на общерекурсивность.
== Связь между общерекурсивными и примитивно рекурсивными функциями ==
