koob.ru

Математический интуиционизм. Введение в теорию доказательств

Автор: Драгалин А.Г. | Раздел: Математика

В монографии приводится обзор различных концепций интуиционистской математики, обсуждаются приложения интуиционизма к проблемам оснований математики.

Изложение характеризуется высоким уровнем строгости, основные теории описываются в виде формальных аксиоматических систем, тщательно исследуются взаимоотношения классических и интуиционистских теорий. При анализе интуиционистских систем широко применяются методы теории интуиционистских моделей — новой быстро развивающейся области математической логики.

Книга предназначается для студентов и аспирантов вузов, преподавателей, инженеров, научных работников.

Добавить отзыв о книге
Авторы сайта
Владимир Никонов & Георгий Ефимов
Библиотека «Куб»
Поддержать проектПодписаться