Yury Leonidovich Yershov (, born 1 May 194

is a Soviet and Russian

mathematician A mathematician is someone who uses an extensive knowledge of mathematics in their work, typically to solve mathematical problems. Mathematicians are concerned with numbers, data, quantity, structure, space, models, and change. History On ...

. Yury Yershov was born in 1940 in

Novosibirsk Novosibirsk (, also ; rus, Новосиби́рск, p=nəvəsʲɪˈbʲirsk, a=ru-Новосибирск.ogg) is the largest city and administrative centre of Novosibirsk Oblast and Siberian Federal District in Russia. As of the Russian Census ...

. In 1958 he entered the

Tomsk State University The National Research Tomsk State University, TSU (russian: Национа́льный иссле́довательский То́мский госуда́рственный университе́т) is a public research university located in Tom ...

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 Anatoly Ivanovich Maltsev (also: Malcev, Mal'cev; Russian: Анато́лий Ива́нович Ма́льцев; 27 November N.S./14 November O.S. 1909, Moscow Governorate – 7 June 1967, Novosibirsk) was born in Misheronsky, near Moscow, an ...

). 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 A communist party is a political party that seeks to realize the socio-economic goals of communism. The term ''communist party'' was popularized by the title of ''The Manifesto of the Communist Party'' (1848) by Karl Marx and Friedrich Engels. A ...

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 The Russian Academy of Sciences (RAS; russian: Росси́йская акаде́мия нау́к (РАН) ''Rossíyskaya akadémiya naúk'') consists of the national academy of Russia; a network of scientific research institutes from across t ...

, professor emeritus of Novosibirsk State University and a former

Rector Rector (Latin for the member of a vessel's crew who steers) may refer to: Style or title *Rector (ecclesiastical), a cleric who functions as an administrative leader in some Christian denominations *Rector (academia), a senior official in an edu ...

of the

Novosibirsk State University Novosibirsk State University is a public research university located in Novosibirsk, Russia. The university was founded in 1958, on the principles of integration of education and science, early involvement of students with research activities an ...

. He has been working at the

Sobolev Institute of Mathematics The Sobolev Institute of Mathematics (SIM) was founded in 1957 by Sergey Sobolev. It is located in Akademgorodok and it constitutes part of the Siberian Branch of the Russian Academy of Sciences. Sergey S. Goncharov is the director. The institute ...

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 The ''Siberian Mathematical Journal'' (abbreviated as Sib. Math. J.) is a cover-to-cover English translation of the Russian peer-reviewed mathematics journal ''Sibirskii Matematicheskii Zhurnal'', a publication of the Sobolev Institute of Mathema ...

'' and editor in chief of the journal '' Algebra i Logika'' (Algebra and Logic)

http://www.math.nsc.ru/LBRT/logic/persons/ershov/engl.html] His basic scientific interests are: abstract algebra, algebra, field theory,

mathematical logic Mathematical logic is the study of logic, formal logic within mathematics. Major subareas include model theory, proof theory, set theory, and recursion theory. Research in mathematical logic commonly addresses the mathematical properties of for ...

algorithm In mathematics and computer science, an algorithm () is a finite sequence of rigorous instructions, typically used to solve a class of specific Computational problem, problems or to perform a computation. Algorithms are used as specificat ...

theory,

model theory In mathematical logic, model theory is the study of the relationship between formal theories (a collection of sentences in a formal language expressing statements about a mathematical structure), and their models (those structures in which the s ...

, constructive models,

computer science Computer science is the study of computation, automation, and information. Computer science spans theoretical disciplines (such as algorithms, theory of computation, information theory, and automation) to Applied science, practical discipli ...

and philosophical aspects of mathematics. He proved decidability of the

elementary theory Elementary may refer to: Arts, entertainment, and media Music * ''Elementary'' (Cindy Morgan album), 2001 * ''Elementary'' (The End album), 2007 * ''Elementary'', a Melvin "Wah-Wah Watson" Ragin album, 1977 Other uses in arts, entertainment, an ...

of the field of ''p''-adic numbers (independently proven by J. Ax and S. Kochen), undecidability of the elementary theory of finite

symmetric group In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions. In particular, the finite symmetric group \m ...

s, decidability of the elementary theory of relatively complemented

distributive lattice In mathematics, a distributive lattice is a lattice in which the operations of join and meet distribute over each other. The prototypical examples of such structures are collections of sets for which the lattice operations can be given by set ...

s. 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 Order

In 2013 he won the Demidov Prize. He was an

invited speaker at the International Congress of Mathematicians This is a list of International Congresses of Mathematicians Plenary and Invited Speakers. Being invited to talk at an International Congress of Mathematicians has been called "the equivalent, in this community, of an induction to a hall of fame." ...

in 1966 at Moscow with the talk ''Elementary theories of fields'' and in 1970 at

Nice Nice ( , ; Niçard: , classical norm, or , nonstandard, ; it, Nizza ; lij, Nissa; grc, Νίκαια; la, Nicaea) is the prefecture of the Alpes-Maritimes department in France. The Nice agglomeration extends far beyond the administrative c ...

with the talk ''La theorie des enumerations''.

Selected works

* * * *

References

* {{DEFAULTSORT:Yershov, Yury 1940 births Living people Scientists from Novosibirsk Corresponding Members of the USSR Academy of Sciences Full Members of the Russian Academy of Sciences Novosibirsk State University alumni Tomsk State University alumni Demidov Prize laureates Recipients of the Order "For Merit to the Fatherland", 3rd class Recipients of the Order "For Merit to the Fatherland", 4th class Recipients of the Order of the Red Banner of Labour State Prize of the Russian Federation laureates Russian mathematicians Soviet mathematicians