Yuri Vladimirovich Matiyasevich , (Russian : Ю́рий Влади́мирович Матиясе́вич ; born 2 March 1947 in Leningrad ) is a Russian mathematician and computer scientist . He is best known for his negative solution of Hilbert's tenth problem (Matiyasevich's theorem ), which was presented in his doctoral thesis at LOMI (the Leningrad Department of the Steklov Institute of Mathematics ).
Biography
In 1962–1963, Matiyasevich studied at Saint Petersburg Lyceum 239 ;
In 1963–1964, he studied at Kolmogorov School ; in 1964 was absolute winner of the All-Union Olympiad in mathematics
In 1964–1969, Matiyasevich studied at Mathematics & Mechanics Faculty of Leningrad State University . By qualifying for the USSR team to the International Mathematical Olympiad (where he won a gold medal), Yuri Matiyasevich was accepted without exams to Leningrad State University , skipping the last year of high school studies.
In 1966, he presented a talk at International Congress of Mathematicians held in Moscow . He was a second-year undergraduate student at that time.
In 1967, while working on the word problem for semigroups , he constructed a semigroup with three relations that is undecidable.[1]
In 1969–1970, he pursued doctoral studies at Leningrad Department of Steklov Institute of Mathematics under supervision of Sergey Maslov .
In 1970, he received his doctorate (Candidate degree, equivalent to Ph.D) at LOMI and gave an invited talk at International Congress of Mathematicians held in Nice on Undecidability of Hibert's tenth problem.
In 1970–1974, he was a researcher at LOMI .
In 1972, he obtained a second doctoral degree (equivalent to habilitation or D.Sc, called "doktor nauk" in Soviet Union ).
In 1974–1980, he was a senior researcher at LOMI .
In 1980-2018, Yuri Matiyasevich was the head of Laboratory of mathematical logic at LOMI .
Since 1995, he has been a professor of Saint Petersburg State University , initially at the chair of software engineering, later at the chair of algebra and number theory.
In 1997, he was elected as a corresponding member of Russian Academy of Sciences .
Since 1998, Yuri Matiyasevich has been a vice-president of St. Petersburg Mathematical Society .
Since 2002, he has been a head of St.Petersburg City Mathematical Olympiad .
Since 2003, Matiyasevich has been a co-director of annual German–Russian student school JASS .
In 2008, he was elected as a full member of Russian Academy of Sciences .