Основания интуиционистской математики с точки зрения теории рекурсивных функций

Abstract

Предлагаемая монография написанная С.К. Клини в сотрудничестве с Р.Ю. Весли суммирует многолетние исследования С.К. Клини, посвященные основаниям и интерпретациям интуиционисткой математики. В книге строится формализм, который можно рассматривать как расширение формальной интуиционисткой арифметики, развитой в известной монографии Клини "Введение в математику", и который позволяет изложить широкие разделы интуиционисткого анализа, включая теорию последовательностей выбора и брауэровску теорию континуума.