Название: Основания интуиционистской математики Автор: Клини С.К., Весли Р.Е. Издательство: М.: Наука, Физматлит Год: 1978 Формат: pdf Страниц: 271 Размер: 12 mb Язык: Русский
В книге детально излагается принадлежащая Клини формализация интуиционистского анализа и рассматриваются интерпретации этого формализма средствами теории рекурсивных функций. На этой основе устанавливается ряд интересных метаматематических результатов. Одна из глав посвящена изложению развиваемой в книге формальной системы брауэровской теории континуума. Книга несомненно представит интерес как для специалистов в области математической логики и оснований математики, так и для более широкого круга читателей, интересующихся вопросами построения «эффективной» математики.