Конструктивная теория доказательств и нестандартный анализ
Драгалин А.Г.
В настоящее издание включены труды А.Г.Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография А.Г.Драгалина «Математический интуиционизм. Введение в теорию доказательств» (1979) явилась первым современным изложением теории доказательств и содержит фундаментальные теоретико-доказательственные и теоретике-модельные результаты для интуиционистской логики. Статьи А. Г. Драгалина, избранные для публикации в этом томе, снабжены комментариями профессора Стэнфордского университета Г.Е.Минца.
В издание вошли также воспоминания коллег, учеников и друзей А. Г. Драгалина — С. Н. Артемова, Э. Б. Баялинова, А. С. Бойцова, Б. А. Кушнера, Г. Е. Минца, Е. Ю. Ногиной, А.Трулстра, В. Б. Шехтмана. Аналитический обзор основных результатов А. Г. Драгалина представлен в предисловии Н. Н. Не пей воды.
Книга рассчитана на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.
В издание вошли также воспоминания коллег, учеников и друзей А. Г. Драгалина — С. Н. Артемова, Э. Б. Баялинова, А. С. Бойцова, Б. А. Кушнера, Г. Е. Минца, Е. Ю. Ногиной, А.Трулстра, В. Б. Шехтмана. Аналитический обзор основных результатов А. Г. Драгалина представлен в предисловии Н. Н. Не пей воды.
Книга рассчитана на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.
سب زمرہ:
سال:
2003
ناشر کتب:
УРСС
زبان:
russian
صفحات:
543
ISBN 10:
5354003881
ISBN 13:
9785354003884
فائل:
DJVU, 7.87 MB
IPFS:
,
russian, 2003