koob.ru

Драгалин А.Г.. Книги онлайн

Драгалин А.Г.

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

В 1970-е — начале 1980-х годов — доцент МГУ, в 1990-е — профессор Дебреценского университета. Основные работы — по теории доказательств, интуиционизму, нестандартному анализу.

Окончил в 1963 году механико-математический факультет МГУ, с 1966 года — преподавал на кафедре математической логики. В 1968 году защитил в МГУ кандидатскую диссертацию «Конструктивные трансфинитные числа и обоснование принципа конструктивного подбора» под руководством основателя советской конструктивистской школы Андрея Маркова.

В 1983 году вместе со второй женой — венгерским математиком Светланой Бузаши — переехал в Дебрецен, выучил венгерский язык, работал в вычислительном центре Дебреценского университета. В 1988 году защитил в Венгрии докторскую диссертацию. С 1990 года работал на факультете математики и информатики Университета имени Кошута, а в 1993 году возглавил на факультете кафедру вычислительной математики.

Значительное место в научной работе занимало исследование роли принципа Маркова и вопросы соотношения интуиционизма и конструктивизма; в результате установил несовместимость принципа Маркова с классическим интуиционизмом Брауэра[4]. Кроме того, доказал полноту конструктивной арифметики с принципом Маркова и правилом Карнапа.

В соавторстве с Колмогоровым написал два учебника по математической логике.

Автор серии статей по математической логике в Большой советской энциклопедии (3-е издание), Математической энциклопедии (1981–1984) и Математическом энциклопедическом словаре (1988). Был переводчиком и редактором переводов на русский язык более десятка книг по теории множеств и математической логике.

Скоропостижно скончался утром 18 декабря 1998 года у себя дома в Дебрецене в результате сердечного приступа.

Книги (3)

Введение в математическую логику
Раздел библиотеки: Логика

Соавтор: Колмогоров А.Н.

Учебное пособие предназначено для начинающих математиков, которые желают ознакомиться со строением математического языка и математических теорий.

Наряду с начальными понятиями теории множеств излагаются основы логики высказываний и теории предикатов. Изложение предполагает специальных знаний и рассчитано для студентов младших курсов.

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

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

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

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

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

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

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

Математический интуиционизм. Введение в теорию доказательств
Раздел библиотеки: Математика

В монографии приводится обзор различных концепций интуиционистской математики, обсуждаются приложения интуиционизма к проблемам оснований математики.

Изложение характеризуется высоким уровнем строгости, основные теории описываются в виде формальных аксиоматических систем, тщательно исследуются взаимоотношения классических и интуиционистских теорий. При анализе интуиционистских систем широко применяются методы теории интуиционистских моделей — новой быстро развивающейся области математической логики.

Книга предназначается для студентов и аспирантов вузов, преподавателей, инженеров, научных работников.

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