Издательство Иностранной литературы, Москва 1954 год.
Перевод с немецкого: В. А. Успенского
Под редакцией и с предисловием А. Н. Колмогорова
Переход от n к n+1 как способ определения теоретико-числовых функций
Рекурсивные функции и отношения
Возвратная рекурсия
Одновременная рекурсия
Рекурсия, при которой производится подстановка некоторой функции на место параметра
Рекурсия по многим переменным
Дальнейшие упрощения
Элементарные функции
Пример теоретико-числовой функции, не являющейся примитивно рекурсивной
Рекурсия со вставками
Диагональный метод и многократные рекурсии
Трасфинитные рекурсии
Рекурсии высших ступеней
Нормальная форма многократных рекурсий
"Гёделизация" рекурсий высших ступеней
Обще-рекурсивные функции
Явная форма обще-рекурсивных функций
Возможности дальнейшего упрощения явной формы
Пример функции, не являющейся обще-рекурсивной
Вычислимые функции
История и приложения
Невозможность эффективного решения проблемы: какие системы равенств определяют обще-рекурсивные функции
Вопрос общей разрешимости арифметических проблем
Расширения понятия рекурсивности. Применения к анализу
Литература
Перевод с немецкого: В. А. Успенского
Под редакцией и с предисловием А. Н. Колмогорова
Переход от n к n+1 как способ определения теоретико-числовых функций
Рекурсивные функции и отношения
Возвратная рекурсия
Одновременная рекурсия
Рекурсия, при которой производится подстановка некоторой функции на место параметра
Рекурсия по многим переменным
Дальнейшие упрощения
Элементарные функции
Пример теоретико-числовой функции, не являющейся примитивно рекурсивной
Рекурсия со вставками
Диагональный метод и многократные рекурсии
Трасфинитные рекурсии
Рекурсии высших ступеней
Нормальная форма многократных рекурсий
"Гёделизация" рекурсий высших ступеней
Обще-рекурсивные функции
Явная форма обще-рекурсивных функций
Возможности дальнейшего упрощения явной формы
Пример функции, не являющейся обще-рекурсивной
Вычислимые функции
История и приложения
Невозможность эффективного решения проблемы: какие системы равенств определяют обще-рекурсивные функции
Вопрос общей разрешимости арифметических проблем
Расширения понятия рекурсивности. Применения к анализу
Литература