Настоящая книга объединяет переводы книг Р.Гудстейна "Рекурсивная теория чисел" и "Рекурсивный анализ". Р.Гудстейн является автором весьма интересного и своеобразного подхода к построению некоторых фрагментов конструктивного математического анализа. В книге хороший и удобный указатель терминов.
Оглавление:
Вступительная статья - О рекурсивном математическом анализе и исчислении арифметических равенств Р.Л.Гудстейна (Н.А.Шанин).
Раздел I - Рекурсивная теория чисел.
Глава I. Определение по рекурсии.
Глава II. Исчисление равенств.
Глава III. Логические константы.
Глава IV. Основные теоремы арифметики.
Глава V. Формализация примитивно рекурсивной арифметики.
Глава VI. Сведения к примитивной рекурсии.
Глава VII. Устранение параметров.
Глава VIII. Геделевская нумерация и неполнота арифметики.
Раздел II - Рекурсивный анализ. Символы.
Глава I. Рекурсивная сходимость.
Глава II. Рекурсивная и относительная непрерывность.
Глава III. Рекурсивная и относительная дифференцируемость.
Глава IV. Относительный интеграл.
Глава V. Элементарные функции.
Глава VI. Трансфинитные ординалы.
Добавление. Рекурсивная иррациональность и трансцендентность.
Приложение 1 - Разрешимый фрагмент рекурсивной арифметики. (Р.Л.Гудстейн).
Приложение 2 - Конструктивистская теория плоских кривых (Р.Л.Гудстейн).
Приложение 3 - Формализация рекурсивной арифметики (X.Б.Карри).
Приложение 4 - Эквивалентность некоторых формализации примитивно рекурсивной арифметики (Ю.С.Шестов).
Тираж 8 000 экз.
Дополнительно: При заказе от 1500 р. отправка Почтой России бесплатно.
При заказе от 5000 р. разовая скидка 15% и отправка Почтой России бесплатно.
За пределы РФ книги не высылаю
Встречи по договоренности исключаются.
Дополнительно: При заказе от 1500 р. отправка Почтой России бесплатно.
При заказе от 5000 р. разовая скидка 15% и отправка Почтой России бесплатно.
За пределы РФ книги не высылаю
Встречи по договоренности исключаются.