Магазин издательства МЦНМО

Конструктивная теория доказательств

нет в наличии
  • Издательство: УРСС
  • ISBN: 5-354-00388-1
  • Год издания: 2003
  • Страниц: 544
  • Обложка: переплет
Описание:

А.Г.Драгалин (1941--1998) --- выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики.

В настоящее издание включены труды А.Г.Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография А.Г.Драгалина <Математический интуиционизм. Введение в теорию доказательств> явилась первым современным изложением теории доказательств и содержит фундаментальные теоретико-доказательственные и теоретико-модельные результаты для интуиционистской логики. Статьи А.Г.Драгалина, избранные для публикации в этом томе, снабжены комментариями профессора Стэнфордского университета Г.Е.Минца.

В издание вошли также воспоминания коллег, учеников и друзей А.Г.Драгалина --- С.Н.Артемова, Э.Б.Баялинова, А.С.Бойцова, Б.А.Кушнера, Г.Е.Минца, Е.Ю.Ногиной, А.Трулстра, В.Б.Шехтмана. Аналитический обзор основных результатов А.Г.Драгалина представлен в предисловии Н.Н.Непейводы.

Книга рассчитана на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.