Название: Основания интуиционистской математики
Автор: Клини С.К., Весли Р.Е.
Издательство: М.: Наука, Физматлит
Год: 1978
Формат: pdf
Страниц: 271
Размер: 12 mb
Язык: Русский

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