Класс алгоритмически вычислимых частичных числовых функций
Этот тезис дает алгоритмическое толкование понятие отчасти рекурсивной функции. Его нельзя обосновать, так как он связывает нестрогое математическое понятие интуитивно вычислимой функции со серьезным математическим понятием отчасти рекурсивной функции. Но…