URSS.ru Магазин научной книги

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

Драгалин Альберт Григорьевич
Советский математик, яркий представитель российской школы математического конструктивизма. Окончил механико-математический факультет МГУ, где работал с 1966 года на кафедре математической логики. В 1968 году защитил диссертацию «Конструктивные трансфинитные числа и обоснование принципа конструктивного подбора» под руководством основателя советской конструктивистской школы А.А. Маркова С 1983 года жил в Венгрии, заведовал кафедрой вычислительной математики университета им. Л. Кошута (г. Дебрецен). В 1988 году Венгерской академией наук ему была присвоена степень доктора наук. Автор фундаментальных трудов по теоретико-модельным и теоретико-доказательственным основаниям интуиционистской логики, конструктивным методам нестандартного анализа. В 1970-е – начале 1980-х годов — доцент МГУ, в 1990-е — профессор Дебреценского университета.

Основные работы — по теории доказательств, интуиционизму, нестандартному анализу.