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

Купить бумажную книгу и читать

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

Автор: Драгалин А.Г.

Издательство: Едиториал УРСС

Год издания: 2003

Страниц: 544

ISBN: 5-354-00388-1

Язык: Русский

Формат: DjVu

Качество: хорошее

Размер: 8 Мб

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