Основания интуиционистской математики с точки зрения теории рекурсивных функций
Код товара: 58238
Доступность: Нет в наличии
Артикул: 11180192
- 300.00 р.
-
Краткие характеристики
Автор
Клини С., Весли Р.
Год
1978
Город издания
Москва
Издание
Серия: Математическая логика и основания математики.
Издательство
Наука
Количество страниц
272 с.
Переплет
твердый
Состояние
Хорошее. Надрывы суперобложки
Формат
обычный
Детально излагается принадлежащая Клини формализация интуиционистского анализа и рассматриваются интерпретации этого формализма средствами теории рекурсивных функций. На этой основе устанавливается ряд интересных метаматематических результатов. Одна из глав посвящена изложению средствами разваемой в книге формальной системы брауэровской теории континуума. Для математиков, лиц, интересующихся вопросами построения эффективной математики.
Книга
Автор
Клини С., Весли Р.
Год
1978
Город издания
Москва
Издание
Серия: Математическая логика и основания математики.
Издательство
Наука
Количество страниц
272 с.
Переплет
твердый
Состояние
Хорошее. Надрывы суперобложки
Формат
обычный