Драгалин А. Г. Математический интуиционизм. Москва, 1979. Большая российская энциклопедия

Заглавие:: Математический интуиционизм
Автор:: Драгалин Альберт Григорьевич
Место издания:: Москва
Издатель:: Наука
Дата издания:: 1979
Объём:: 256 с.
Серия:: Математическая логика и основания математики
Сведения о библиографии:: Библиогр.: с. 240-250
Аннотация:: В монографии приводится обзор различных концепций интуиционистской математики, обсуждаются приложения интуиционизма к проблемам оснований математики. Изложение характеризуется высоким уровнем строгости, основные теории описываются в виде формальных аксиоматических систем, тщательно исследуются взаимоотношения классических и интуиционистских теорий. При анализе интуиционистских систем широко применяются методы теории интуиционистских моделей — новой быстро развивающейся области математической логики. Книга предназначается для студентов и аспирантов вузов, преподавателей, инженеров, научных работников.
Рубрики:: Математическая логика
Язык текста:: Русский