koob.ru

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

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

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

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

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

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

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

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

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

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

Книги (2)

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

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

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

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

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

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

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

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

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