Личный кабинет
Подробное описание документа
Драгалин А. Г.
Конструктивная теория доказательств и нестандартный анализ / Драгалин А. Г. - М. : Эдиториал УРСС, 2003. - 543 с. - Библиогр.
В настоящее издание включены труды А. Г.Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому дока- зательству теорем. Монография А. Г. Драгалина "Математический интуиционизм. Введение в теорию доказательств" явилась первым современным изложением теории доказательств и содержит фундаментальные теоретико-доказательственные и теоретико-модельные ре- зультаты для интуиционистской логики. Статьи А.Г.Драгалина, избранные для публикации в этом томе, снабжены комментариями профессора Стэнфордского университета Г. Е. Минца.
В издание вошли также воспоминания коллег, учеников и друзей А. Г. Драгалина- С. Н. Артемова, Э. Б. Баялинова, А. С. Бойцова, Б.А. Кушнера, Г. Е. Минца, Е. Ю. Ногиной, А.Трулстра, В.Б. Шехгмана. Аналитический обзор основных результатов А.Г.Драгалина представлен в предисловии Н. Н. Непейводы.
Книга рассчитана на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.
510.6 Математическая логика2 экз.
- Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
- Преподавательский абонемент ауд.313, ГУК, ауд. 313
- Читальный зал ауд.305л, УЛК, ауд. 305л
- Читальный зал ауд.313, ГУК, ауд. 313
