Люди как книги

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

Приглашаем всех желающих, вход свободный! 
Справки по телефону 223-25-52, отдел искусств

Комментарии 0

Добавление нового комментария
Чтобы оставить свой комментарий, вам необходимо авторизоваться.