Гудстейн Рейбен Луис, Рекурсивный математический анализ
Серия "Математическая логика и основания математики"

1970, изд-во: Издательство "Наука". Главная редакция физико-математической литературы, город: Москва, стр. : 472 с., обложка: Издательский переплет с суперобложкой, формат: Обычный, состояние: Очень хорошее - отличное - у книги, хорошее - удовлетворительное - у суперобложки (надрывы, потертости, след от залома на клапане). В настоящее время все более широкое распространение получает идея построения математического анализа на основе конструктивных понятий и принципов. При этом подходе основную роль играют понятия алгорифма и теория алгорифмов. Построение математического анализа на этой основе существенно лучше, чем традиционное, соответствует постановкам задач вычислительной математики. Р. Л. Гудстейном разработан один из вариантов такого построения математического анализа, особенно интересный тем, что используемый язык имеет простую логическую структуру. Настоящая книга объединяет переводы книг Гудстейна "Рекурсивная теория чисел" и "Рекурсивный анализ" и несколько его статей. Вводная статья Н. А. Шанина поясняет особенности излагаемой теории. Все сведения, необходимые для понимания "рекурсивного анализа", излагаются в самой книге. В книге затрагиваются проблемы оснований математики, математической логики, теории чисел и математического анализа. Она рассчитана на студентов, аспирантов и научных работников, интересующихся любой из этих областей