- Заглавие:
Основания интуиционистской математики с точки зрения теории рекурсивных функций
- Автор:
Клини Стефан Коул (1909-)
- Место издания:
Москва
- Издатель:
Наука
- Дата издания:
1978
- Объём:
271 с.
- Серия:
Математическая логика и основания математики
- Сведения о библиографии:
Список лит.: с. 254-266
- Аннотация:
В книге детально излагается принадлежащая Клини формализация интуиционистского анализа и рассматриваются интерпретации этого формализма средствами теории рекурсивных функций. На этой основе устанавливается ряд интересных метаматематических результатов. Одна из глав посвящена изложению развиваемой в книге формальной системы брауэровской теории континуума.
- Язык текста:
Русский
Библиографический источник
Основания интуиционистской математики с точки зрения теории рекурсивных функций
С. Клини, Р. Весли ; пер. с англ. Ф. А. Кабакова, Б. А. Кушнера