Книга: А. Г. Драгалин «Конструктивная теория доказательств и нестандартный анализ»

Производитель: "Едиториал УРСС"

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

Издательство: "Едиториал УРСС" (2003)

Формат: 60x90/16, 544 стр.

ISBN: 5-354-00388-1

Купить за 1059 грн (только Украина) в