Yury Yershov

Yury Leonidovich Yershov (, born 1 May 1940 [http://www.ras.ru/win/db/show_per.asp?P=.id-209.ln-ru.dl-.pr-inf.uk-12]) is a Soviet and Russian mathematician. Yury Yershov was born in 1940 in Novosibirsk. In 1958 he entered the Tomsk State University and in 1963 graduated from the Mathematical Department of the Novosibirsk State University. In 1964 he successfully defended his PhD thesis "Decidable and Undecidable Theories" (advisor Anatoly Maltsev). In 1966 he successfully defended his DrSc thesis "Elementary Theory of Fields" (Элементарные теория полей).

Apart from being a mathematician, Yershov was a member of the Communist Party and had different distinguished administrative duties in Novosibirsk State University. Yershov has been accused of antisemitic practices, and his visit to the U.S. in 1980 drew public protests by a number of U.S. mathematicians. Yershov himself denied the validity of these accusations.

Yury Yershov is a member of the Russian Academy of Sciences, professor emeritus of Novosibirsk State University and a former Rector of the Novosibirsk State University.

He has been working at the Sobolev Institute of Mathematics since 1963. Currently he is Director of this Institute (since 2003). In 1968 he received the title of Full Professor. In 1970 he was elected to be a Correspondent Member of the Academy of Sciences of the USSR, in 1990 he became Full Member (Academician) of the Russian Academy of Sciences. In 1964–2002 he worked at the Novosibirsk State University (as second job): in 1968–2002 as a professor, in addition, in 1973–1976 he was dean of the Mathematical Department of the Novosibirsk State University and rector of this university in 1985–1993. He is editor in chief of the ''Siberian Mathematical Journal'' and editor in chief of the journal ''Algebra i Logika'' (Algebra and Logic). [http://www.ras.ru/win/db/show_per.asp?P=.id-209.ln-ru][http://www.math.nsc.ru/LBRT/logic/persons/ershov/engl.html]

His basic scientific interests are: algebra, field theory, mathematical logic, algorithm theory, model theory, constructive models, computer science and philosophical aspects of mathematics. He proved decidability of the elementary theory of the field of ''p''-adic numbers (independently proven by J. Ax and S. Kochen), undecidability of the elementary theory of finite symmetric groups, decidability of the elementary theory of relatively complemented distributive lattices.

Yury Yershov is a laureate of Maltsev's Award of the Russian Academy of Sciences (1992), Russian State Award in the area of Science and Technics (2002, 2003), Lavrentyev's Foundation Award (2007), and is decorated with several Russian State Orders.[http://www.math.nsc.ru/LBRT/logic/persons/ershov/engl.html] In 2013 he won the Demidov Prize. In 2023 he was awarded the Lobachevsky Prize.

He was an invited speaker at the International Congress of Mathematicians in 1966 at Moscow with the talk ''Elementary theories of fields'' and in 1970 at Nice with the talk ''La theorie des enumerations''. Provided by Wikipedia