Отдел искусств НГОНБ приглашает всех желающих
2 ноября в 18.00 на седьмую встречу в рамках проекта "Люди как книги" с
Юрием Леонидовичем Ершовым в Анти-кафе отдела искусств библиотеки (к. 211
).
Юрий Леонидович Ершов - академик РАН, доктор физико-математических наук, профессор, советник РАН, признанный лидер сибирской школы алгебры и логики. Ещё будучи студентом НГУ, стал известен в кругу математиков новыми интересными научными результатами, и через несколько месяцев после окончания университета, в 1963 году под руководством академика А. И. Мальцева защитил кандидатскую диссертацию на тему «Разрешимость элементарных теорий», а в 1965 — докторскую на тему «Элементарные теории полей». Основными результатами Ершова стали решение классической проблемы о разрешимости элементарной теории поля p-адических чисел и создание общей теории нумераций, нашедшей многочисленные приложения в математической логике. В частности, одним из результатов теории нумераций было построение категории f0-пространств, с помощью которой может быть построена непротиворечивая модель бестипового λ-исчисления, во многих аспектах более удобная, чем топология Скотта.
Приглашаем всех желающих, вход свободный!
Справки по телефону 223-25-52, отдел искусств
