| 5 | 3 | |
| 4 | 1 | |
| 3 | 0 | |
| 2 | 0 | |
| 1 | 0 | |
| без оценки |
0 |
Предложить изменения
Альберт Драгалин — об авторе
- Родился: 10 апреля 1941 г. , Моржовец, СССР
- Умер: 18 декабря 1998 г. , Дебрецен, Венгрия
Статистика
Биография — Альберт Драгалин
Альберт Григорьевич Драгалин (10 апреля 1941, Моржовец — 18 декабря 1998, Дебрецен) — советский математик, логик-конструктивист, внесший весомый вклад в интеграцию советской школы конструктивной математики в общемировую систему математико-логического знания. В 1970-е — начале 1980-х годов — доцент МГУ, в 1990-е — профессор Дебреценского…
университета. Основные работы — по теории доказательств, интуиционизму, нестандартному анализу.
Окончил в 1963 году механико-математический факультет МГУ, с 1966 года — преподавал на кафедре математической логики. В 1968 году защитил в МГУ кандидатскую диссертацию «Конструктивные трансфинитные числа и обоснование принципа конструктивного подбора» под руководством основателя советской конструктивистской школы Андрея Маркова.
В 1983 году вместе со второй женой — венгерским математиком Светланой Бузаши — переехал в Дебрецен, выучил венгерский язык, работал в вычислительном центре Дебреценского университета. В 1988 году защитил в Венгрии докторскую диссертацию. С 1990 года работал на факультете математики и информатики Университета имени Кошута, а в 1993 году возглавил на факультете кафедру вычислительной математики.
Скоропостижно скончался утром 18 декабря 1998 года у себя дома в Дебрецене в результате сердечного приступа.
Книги
16
Библиография
Книги
Драгалин А. Г. Математический интуиционизм. Введение в теорию доказательств. — М.: Наука, 1979. — 256 с. — (Математическая логика и основания математики). — 6700 экз.
Переведена на английский: Dragalin A. G. Mathematical Intuitionism. Introduction to Proof Theory / Translanded by E. Mendelson. — Providence, Rhode Island: AMS, 1988. — 229 с.…
