ДРАГАЛИН

ДРАГАЛИН Альберт Григорьевич (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.Непейвода