Конструктивная теория, доказательства и нестандартный анализ. («Математический интуиционизм. Введение в доказательства доказательств» и др.)

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

#ASTTD# Поисковые запросы: Драгалин А. Г. , Драгалин А.Г. , Редакция УРСС (URSS) , Редакция ЯРСС (URSS) , Русский , Рысский , 9785354003884 , 978-5-354-00388-4 , 145808