Драгалин Альберт Григорьевич
       > НА ГЛАВНУЮ > БИОГРАФИЧЕСКИЙ УКАЗАТЕЛЬ > УКАЗАТЕЛЬ Д >

ссылка на XPOHOC

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

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 года,

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

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