koob.ru

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

Автор книги: Драгалин А.Г. | Раздел библиотеки: Математика

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

В настоящее издание включены труды А.Г. Драгалина по интуиционистской теории доказательств, нестандартному анализу, философии математики и автоматическому доказательству теорем.

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

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

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

Книга рассчитана на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.

Добавить отзыв о книге
Авторы сайта
Владимир Никонов & Георгий Ефимов
Библиотека «Куб»
Поддержать проектПодписаться