Название: Конструктивная теория доказательств и нестандартный анализ
Автор: А. Драгалин
Издательство: УРСС
Год: 2003
Формат: djvu
Страниц: 543
Размер: 10 Мб
Язык: русский

А. Г. Драгалин (1941-1998) — выдающийся отечественный логик и математик, оказавший глубокое воздействие на стиль и направление мировых исследований по логике и философии математики. В настоящее издание включены труды А. Г. Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем.

Монография А. Г. Драгалина «Математический интуиционизм. Введение в теорию доказательств» явилась первым современным изложением теории доказательств и содержит фундаментальные теоретико-доказательственные и теоретико-модельные результаты для интуиционистской логики. Статьи А. Г. Драгалина, избранные для публикации в этом томе, снабжены комментариями профессора Стэнфордского университета Г. Е. Минца.

В издание вошли также воспоминания коллег, учеников и друзей А. Г. Драгалина. Книга рассчитана на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.

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