133 804
правки
Pvp (обсуждение | вклад) Нет описания правки |
Pvp (обсуждение | вклад) Нет описания правки |
||
Строка 25: | Строка 25: | ||
В 1958 г. поступил на механико-математический факультет Томского государственного университета, но в 1961 г. перевёлся в Новосибирский государственный университет, который окончил с отличием в 1963 году (первый выпуск). | В 1958 г. поступил на механико-математический факультет Томского государственного университета, но в 1961 г. перевёлся в Новосибирский государственный университет, который окончил с отличием в 1963 году (первый выпуск). | ||
Ещё будучи студентом НГУ, стал известен в кругу математиков новыми интересными научными результатами и через несколько месяцев после окончания университета, в 1963 году, защитил кандидатскую диссертацию на тему «Разрешимость элементарных теорий» (научный руководитель академик А. И. Мальцев). | Ещё будучи студентом НГУ, стал известен в кругу математиков новыми интересными научными результатами и через несколько месяцев после окончания университета, в 1963 году, защитил кандидатскую диссертацию на тему «Разрешимость элементарных теорий» (научный руководитель академик А. И. Мальцев). | ||
В 1967 - 2004 гг. - заведующий отделом математической логики Института математики СО АН СССР. | В 1967 - 2004 гг. - заведующий отделом математической логики Института математики СО АН СССР. |