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