| |
|
Автор: Драгалин А.Г.
Издательство: Едиториал УРСС
Год издания: 2005
isbn: 5-354-00388-1, 5-354-00387-3
Количество страниц: 543
Язык: русский
Формат: DJVU
Размер: 8 Мб
Каталожный номер: 80770
|
В настоящее издание включены труды А. Г. Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем. Монография А.Г.Драгалина «Математический интуиционизм. Введение в теорию доказательств» явилась первым современным изложением теории доказательств и содержит фундаментальные теоретико-доказательственные и теоретико-модельные результаты для интуиционистской логики. Статьи А. Г. Драгалина, избранные для публикации в этом томе, снабжены комментариями профессора Стэнфордского университета Г. Е. Минца.В издание вошли также воспоминания коллег, учеников и друзей А. Г. Драгалина — С. Н. Артемова, Э. Б. Баялинова, А. С. Бойцова, Б. А. Кушнера, Г. Е. Минца, Е. Ю. Ногиной, А.Трулстра, В. Б. Шехтмана. Аналитический обзор основных результатов А. Г. Драгалина представлен в предисловии Н. Н. Непейводы.
Книга рассчитана на широкий круг читателей, интересующихся математической
логикой и философскими проблемами современной математики.
Ключевые теги: математика, логика |
|
ПОСТУПЛЕНИЯ
РУБРИКАТОР
Комментарии (0)