Выдержка из книги
Катленд Н.N.
Вычислимость Введение в теорию рекурсивных функций
Поскольку эти операции имеют дело с бесконечными объектами ( функциями или множествами), они как будто лежат в стороне даже от нашего неформального понятия вычислимости, которое, очевидно, применяется к конечным объектам. Тем не менее, каю мы убедимся, индекс функции ФхФу эффективно находится по-индексам х и у. В следующих примерах и упражнениях мы увидим, что многие другие операции являются эффективными, если их рассматривать как операции над индексами затраги - ваемых объектов.