Yuri Matiyasevich
Yuri Vladimirovich Matiyasevich, is a Russian mathematician and computer scientist. He is best known for his negative solution of Hilbert's tenth problem, which was presented in his doctoral thesis at LOMI.Biography
- In 1962–1963, Matiyasevich studied at Saint Petersburg Lyceum 239;
- In 1963–1964, he studied at ; in 1964 was absolute winner of the All-Union Olympiad in mathematics
- In 1964–1969, Matiyasevich studied at of Leningrad State University. By qualifying for the USSR team to the International Mathematical Olympiad, 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 1969–1970, he pursued doctoral studies at Leningrad Department of Steklov Institute of Mathematics under supervision of .
- In 1970, he received his doctorate at LOMI.
- In 1970–1974, he was a researcher at LOMI.
- In 1972, he obtained a second doctoral degree.
- In 1974–1980, he was a senior researcher at LOMI.
- In 1980-2018, Yuri Matiyasevich was the head of 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 .
- Since 2003, Matiyasevich has been a co-director of annual German–Russian student school .
- In 2008, he was elected as a full member of Russian Academy of Sciences.
Awards and honors
- 1964: Gold medal at the International Mathematical Olympiad held in Moscow.
- 1970: "Young mathematician prize" of the Leningrad Mathematical Society.
- 1980: Markov Prize of Academy of Sciences of the USSR.
- 1996: Honorary Degree, Université d'Auvergne.
- 1998: He received Humboldt Research Award.
- 2003: Honorary Degree, Université Pierre et Marie Curie.
- 2007: Member of the Bavarian Academy of Sciences.
Notable facts
- A polynomial related to the colorings of a triangulation of a sphere was named after Matiyasevich; see .
- He was a member of the American Mathematical Society and the Association for Symbolic Logic; and also of the editorial boards for the journals and .
- Notable students include: , , , .
Selected works
Book
- Yuri Matiyasevich , Foreword by Martin Davis and Hilary Putnam, The MIT Press, 1993..
Papers
-
-
-
- Yuri Matiyasevich, , Personal Journal of Yury Matiyasevich.
- Yuri Matiyasevich, , Personal Journal of Yuri Matiyasevich.
- Yuri Matiyasevich, , Personal Journal of Yuri Matiyasevich.
*