Этот тезис дает алгоритмическое толкование понятие отчасти рекурсивной функции. Его нельзя обосновать, так как он связывает нестрогое математическое понятие интуитивно…
Разглядим функцию f(x, y) = х - у, которая может быть получена при помощи оператора минимизации: Вычислим, к примеру, f(7,2,),…