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

Abstract

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

В книге детально излагается принадлежащая Клини формализация интуиционистского анализа и рассматриваются интерпретации этого формализма средствами теории рекурсивных функций. На этой основе устанавливается ряд интересных метаматематических результатов. Одна из глав посвящена изложению развиваемой в книге формальной системы брауэровской теории континуума.

Книга несомненно представит интерес как для специалистов в области математической логики и оснований математики, так и для более широкого круга читателей, интересующихся вопросами построения «эффективной» математики.