Новости

1 мая 2020 года исполнилось 80 лет председателю Объединенного ученого совета СО РАН по математике и информатике академику Юрию Леонидовичу Ершову. 
Академик Ю.Л. Ершов — учёный с мировым именем, один из крупнейших советских и российских математиков в области алгебры и математической логики, теории вычислимости и теоретической информатики, оснований математики и философии. 
Среди достижений Ю.Л. Ершова следует особо отметить построение теории аппроксимационных топологических пространств, носящих в настоящее время имя пространств Ершова. Рассмотрение топологии в качестве базового понятия позволило ему создать и развить теорию непрерывных и вычислимых функционалов конечных типов, а также теорию бестиповых функционалов. Эти результаты легли в основу нового подхода к созданию семантики языков программирования — одной из важнейших математических моделей современного программирования.