Не опирающееся на понятие алгоритма определение вычислимой функции представляет интерес как логический (поскольку обнаруживается, что понятие вычислимой функции имеет своё, не зависящее от понятия алгоритма, содержание), так и математический (поскольку в целом ряде задач нет нужды строить алгоритм явно, а достаточно установить вычислимость соответствующей функции).
Развитые конструктивные методы получили широкое применение в компьютерных науках, работы по конструктивному математическому анализу продвинули далеко вперёд наше понимание вычислимости, эффективности в сложных математических структурах.
Немецкий
Английский
Французский
Украинский