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