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

Автор(ы)

Драгалин А.Г

Год

2003

Издательство

Едито- риал УРСС

Язык

rus

ISBN

5-354-00388-1

Библиографическая ссылка

М.: Едито- риал УРСС, 2003. - 544 с.

Теги

Математика Философия

Аннотация

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