libcats.org
Главная

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

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

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

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