Драгалин Альберт Григорьевич

1942-1998

БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ

XPOHOC

ВВЕДЕНИЕ В ПРОЕКТ

БИБЛИОТЕКА ХРОНОСА

ИСТОРИЧЕСКИЕ ИСТОЧНИКИ

БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ

ПРЕДМЕТНЫЙ УКАЗАТЕЛЬ

ГЕНЕАЛОГИЧЕСКИЕ ТАБЛИЦЫ

СТРАНЫ И ГОСУДАРСТВА

ЭТНОНИМЫ

РЕЛИГИИ МИРА

СТАТЬИ НА ИСТОРИЧЕСКИЕ ТЕМЫ

МЕТОДИКА ПРЕПОДАВАНИЯ

КАРТА САЙТА

АВТОРЫ ХРОНОСА

ХРОНОС:

В Фейсбуке

ВКонтакте

В ЖЖ

Twitter

Форум

Личный блог

Родственные проекты:

РУМЯНЦЕВСКИЙ МУЗЕЙ

ДОКУМЕНТЫ XX ВЕКА

ИСТОРИЧЕСКАЯ ГЕОГРАФИЯ

ПРАВИТЕЛИ МИРА

ВОЙНА 1812 ГОДА

ПЕРВАЯ МИРОВАЯ

СЛАВЯНСТВО

ЭТНОЦИКЛОПЕДИЯ

АПСУАРА

РУССКОЕ ПОЛЕ

Альберт Григорьевич Драгалин

Драгалин Альберт Григорьевич (1942 — 18 декабря 1998, Дебрецен, Венгрия) — один из крупнейших российских математических логиков. Заложил основы российской школы интуиционизма и продолжил традиции конструктивного направления.

Получил образование в Московском университете (1959— 1964), защитил кандидатскую диссертацию (1969), доцент МГУ (1968—1981). Докторскую диссертацию он защитил в Дебрецене в 1987, где был профессором и заведующим кафедрой (с 1983). Драгалин — ученик А. А. Маркова, но его деятельность выходила за рамки узко понимаемого конструктивизма. 

Сохраняя общую конструктивную ориентацию, он исследовал разные концепции обоснования математики. Первым в России рассматривал математику как целостную многоуровневую систему знания, различными слоями которой являются традиционная классическая математика, интуиционизм и конструктивное направление. Особое внимание он уделил современному интуиционизму. Его цикл спецкурсов (1968—1974) был посвящен разнообразным концепциям — от альтернативных систем теории множеств до математических основ неклассических логик. Среди важных результатов его деятельности назовем: 1) доказательство полноты конструктивной арифметики с принципом Маркова и правилом Карнапа; 2) доказательство того, что применение концепций нестандартных моделей резко сокращает выводы в математических теориях; 3) доказательство несовместимости принципа Маркова с брауэровским интуиционизмом; 4) конструктивное доказательство устранимости сечений во многих теориях второго порядка, в частности в теории определимых множеств.

H. H. Непейвода

Новая философская энциклопедия. В четырех томах. / Ин-т философии РАН. Научно-ред. совет: В.С. Степин, А.А. Гусейнов, Г.Ю. Семигин. М., Мысль, 2010, т. I, А - Д, с. 695-696.

Далее читайте:

Философы, любители мудрости (биографический указатель).

Сочинения:

Математический интуиционизм. Введение в теорию доказательств. М., 1979; в соавторстве с Колмогоровым А. Н. Введение в математическую логику. М., 1982;

Математическая логика. Дополнительные главы. М., 1984;

Explicit algebraic models for constructive and classical theories with non-standard elements. — Studia Logica, 1995, vol. 55, pp. 33—61;

Non-standart conservative extensions in automated reasoning. — Bulletins for Applied Mathematics (The PAMM's periodical), 1994, vol. LXX.pp. 135-142.

ХРОНОС: ВСЕМИРНАЯ ИСТОРИЯ В ИНТЕРНЕТЕ

ХРОНОС существует с 20 января 2000 года,

Редактор Вячеслав Румянцев

При цитировании давайте ссылку на ХРОНОС