David Hilbert, Julia Robinson, Martin Davis, Andrey Kolmogorov, John von Neumann
Yuri matiyasevich saint petersburg studying the zeta function via certain determinants
Yuri Vladimirovich Matiyasevich, (Russian: Ю́рий Влади́мирович Матиясе́вич; born March 2, 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).
Yuri Matiyasevich - On Hilbert's 10th Problem [2000]
Biography
In 1962–1963, Matiyasevich studied at Saint Petersburg Lyceum 239;
In 1963–1964, he studied at Kolmogorov School;
In 1964–1969, Matiyasevich studied at Mathematics & Mechanics Faculty of Leningrad State University. As a winner of IMO Yuri Matiyasevich was accepted without exams to LSU, skipping the last year of high school studies.
In 1969–1970, he pursued Ph.D. studies at Leningrad Department of Steklov Institute of Mathematics under supervision of Sergey Maslov.
In 1970, he received his Ph.D. degree at LOMI.
In 1970–1974, he was a researcher at LOMI.
In 1972, he obtained a second doctoral degree (called "doktor nauk" in Soviet Union).
In 1974–1980, he was a senior researcher at LOMI.
Since 1980, Yuri Matiyasevich has been 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.
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 to Outstanding Scholars.
2003: Honorary Degree, Université Pierre et Marie Curie (UPMC).
2007: Member of the Bayern Academy of Sciences.
Notable facts
A polynomial related to the colorings of a triangulation of a sphere was named after Matiyasevich; see The Matiyasevich polynomial, four colour theorem and weight systems.
Notable students include: Eldar Musayev, Maxim Vsemirnov, Alexei Pastor, Dmitri Karpov.
Book
Yuri Matiyasevich Hilbert's 10th Problem, Foreword by Martin Davis and Hilary Putnam, The MIT Press, 1993. ISBN 0-262-13295-8.
Papers
Yuri Matiyasevich (1973). "Real-time recognition of the inclusion relation" (PDF). Journal of Sovjet Mathematics. 1 (1): 64–70. ISSN 0090-4104. doi:10.1007/bf01117471.
Yuri Matiyasevich, Julia Robinson (1975). "Reduction of an arbitrary Diophantine equation to one in 13 unknowns". Acta Arithmetica. XXVII: 521–549.
Yuri Matiyasevich, Géraud Sénizergues (1996). "Decision Problems for Semi-Thue Systems with a Few Rules". LICS.
Yuri Matiyasevich, Proof Procedures as Bases for Metamathematical Proofs in Discrete Mathematics, Personal Journal of Yury Matiyasevich.
Yuri Matiyasevich, Elimination of bounded universal quantifiers standing in front of a quantifier-free arithmetical formula, Personal Journal of Yuri Matiyasevich.
Yuri Matiyasevich, A Polynomial related to Colourings of Triangulation of Sphere, Personal Journal of Yuri Matiyasevich.
Yuri Matiyasevich (2004). "Some Probabilistic Restatements of the Four Color Conjecture". Journal of Graph Theory. 46 (3): 167–179. doi:10.1002/jgt.10178.
