ДРАГАЛИН

0 99

ДРАГАЛИН Альберт Григорьевич (1942 – 18 декабря 1998, Дебрецен, Венгрия) – один из крупнейших российских математических логиков. Заложил основы российской школы интуиционизма и продолжил традиции конструктивного направления.
Получил образование в Московском университете (1959–64), защитил кандидатскую диссертацию (1969), доцент MГУ (1968–81). Докторскую диссертацию он защитил в Дебрецене в 1987, где был профессором и зав. кафедрой (с 1983). Драгалин – ученик А.А.Маркова, но его деятельность выходила за рамки узко понимаемого конструктивизма. Сохраняя общую конструктивную ориентацию, он исследовал разные концепции обоснования математики. Первым в России рассматривал математику как целостную многоуровневую систему знания, различными слоями которой являются традиционная классическая математика, интуиционизм и конструктивное направление. Особое внимание он уделил современному интуиционизму. Его цикл спецкурсов (1968–74) был посвящен разнообразным концепциям – от альтернативных систем теории множеств до математических основ неклассических логик.
Среди важных результатов его деятельности назовем: 1) доказательство полноты конструктивной арифметики с принципом Маркова и правилом Карнапа; 2) доказательство того, что применение концепций нестандартных моделей резко сокращает выводы в математических теориях; 3) доказательство несовместимости принципа Маркова с брауэровским интуиционизмом; 4) конструктивное доказательство устранимости сечений во многих теориях второго порядка, в частности в теории определимых множеств.
Сочинения:
1. Математический интуиционизм. Введение в теорию доказательств. М., 1979;
2. в соавторстве с Колмогоровым А.Н. Введение в математическую логику. М., 1982;
3. Математическая логика. Дополнительные главы. М., 1984;
4. Explicit algebraic models for constructive and classical theories with non-standard elements. – Studia Logica, 1995, vol. 55, pp. 33–61;
5. Non-standart conservative extensions in automated reasoning. – Bulletins for Applied Mathematics (The PAMM’s periodical), 1994, vol. LXX, pp. 135–142.
H.H.Непейвода
 

Войти с помощью: 
Подписаться
Уведомление о
guest
0 Комментарий
Встроенные отзывы
Посмотреть все комментарии
0
Будем рады вашим мыслям, пожалуйста, прокомментируйте.x
()
x