Класс алгоритмически вычислимых частичных числовых функций

content Окт 28, 2016 0 Комментарии

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