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