Yuri Leonidowitsch Jerschow

from Wikipedia, the free encyclopedia
Yuri Leonidowitsch Jerschow

Juri Leonidowitsch Jerschow ( Russian Юрий Леонидович Ершов , English Yury Ershov ; born January 5, 1940 in Novosibirsk ) is a Russian mathematician who deals with mathematical logic .

Jerschow received his doctorate in 1963 at the University of Novosibirsk under Anatoly Malzew ("On the decidability of elementary theories") and was there in 1967 Professor of Algebra and Mathematical Logic and Head of the Department of Mathematical Logic. From 1973 to 1976 he was dean of the mathematics faculty and in 1985 he became rector of the university. He is currently the director of the Sobolev Institute in Novosibirsk.

On the occasion of Jerschow's visit to the USA in 1980 as part of the Fulbright program , 40 mathematicians from the University of California, Berkeley , and other universities - including Leon Henkin , Julia and Raphael Robinson , John L. Kelley , Stephen Smale , Burton Dreben , Hilary Putnam , Akihiro Kanamori , Hartley Rogers , Sy Friedman and Richard A. Shore - the participation in anti-Semitic politics against Jewish colleagues in the USSR and called for a boycott . Jershov denied the allegations and stated that he had never been guided by racist prejudice in his work.

Jerschow dealt with mathematical logic, model theory and number theory .

He has been a corresponding member of the Russian Academy of Sciences since 1970 and has been its member since 1990. He is also in their Siberian department and has been on the Presidium there since 1986. He has been a member of the Association of Symbolic Logic since 1968. In 1970 he was invited speaker at the International Congress of Mathematicians in Nice ( La theorie des enumerations ) and in 1966 in Moscow ( Elementary Body Theories ). In 2013 he was awarded the Demidow Prize .

He should not be confused with the computer scientist Andrei Petrovich Jerschow , who developed one of the first programming languages ​​in 1955.

Yershov's older brother is the economist and mathematician Valeri Leonidowitsch Makarov .

Fonts

  • Theory of Numbers, Nauka 1977 (Russian)
  • with SSGoncharov: Constructive Models, New York, Kluwer 2000
  • with EAPalyutin: Mathematical Logic, Nauka, Moscow 1987 (Russian), Mathematical Logic, MIR 1990 (English)
  • Definability and Computability, New York, Plenum 1996
  • Problems of decidability and constructive models, Nauka, 1980 (Russian)
  • Recursive Model Theory, 2 volumes, Elsevier 1998
  • Multi-valued fields, Kluwer 2001

Web links

Individual evidence

  1. Anita Burdman Feferman, Solomon Feferman: Alfred Tarski: Life and Logic . Cambridge University Press, 2004, ISBN 0-521-80240-7 , pp. 363-365 .
  2. М. Горынцева: Я НИКОГДА НЕ ЖАЛЕЛ О СВОЁМ ВЫБОРЕ . In: Наука в Сибири . No. 17 , April 29, 2010, p. 2752 ( nsc.ru [accessed June 1, 2018]).