Даг Норманн - Dag Normann

Даг Норманн норвежец математический логик. Он родился в 1947 году. Заслуженный профессор в отставке наУниверситет Осло. Его исследования сосредоточены на теория вычислимости с упором на математические модели для типизированных алгоритмов и приложений основы математики.^[1]

Карьера

Норманн получил докторскую степень в Университет Осло под присмотром Йенс Эрик Фенстад в 1976 г.^[2]Он был профессор в Университете Осло, где он вышел на пенсию в 2015 году.^[3]

Он опубликовал множество книг и исследовательских работ; в частности, вместе с Джоном Лонгли он издал книгу Вычислимость высшего порядка, стандартное исследование в данной области, в серии книг Теория и приложениявычислимости в 2015 году.^[4]Норманн является членом Норвежская академия наук и литературы (DNVA) в отделе естественных наук. В прошлом он был главой Группы математических наук в DNVA.^[5] С 1983 по 1985 год и с 2000 по 2003 год он был президентом Норвежское математическое общество.^[6] Он был президентом Ассоциация вычислимости в Европе с 2015 по 2016 год и в настоящее время занимает должность казначея ассоциации.^[7]

использованная литература