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