Тезис Чорча гласит:
(Отметьте один правильный вариант ответа.)
Варианты ответа
всякая частично-рекурсивная функция является вычислимой
никакая вычислимая функция не является частично-рекурсивной
всякая вычислимая функция является частично-рекурсивной(Верный ответ)