Yuri Matiyasevich

Summary

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).

Yuri Matiyasevich
Yuri Matiyasevich. Portrait 1969.jpg
Born (1947-03-02) 2 March 1947 (age 75)
NationalitySoviet
Russian
Alma materLeningrad State University
Known forhis contribution to computability theory, especially solving Hilbert's tenth problem
AwardsPetersburg Mathematical Society Prize (1970),
Markov Prize (1980),
Humboldt Award (1998)
Scientific career
FieldsMathematics and Theoretical computer science
InstitutionsPetersburg Department of Steklov Institute of Mathematics

BiographyEdit

Awards and honorsEdit

Notable factsEdit

  • 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.
  • He was a member of the American Mathematical Society and the Association for Symbolic Logic; and also of the editorial boards for the journals Discrete Mathematics and Applications and Computer Instruments in Education.
  • Notable students include: Eldar Musayev, Maxim Vsemirnov, Alexei Pastor, Dmitri Karpov.

Selected worksEdit

BookEdit

  • Yuri Matiyasevich Hilbert's 10th Problem, Foreword by Martin Davis and Hilary Putnam, The MIT Press, 1993. ISBN 0-262-13295-8.

PapersEdit

  • Yuri Matiyasevich (1973). "Real-time recognition of the inclusion relation" (PDF). Journal of Sovjet Mathematics. 1 (1): 64–70. doi:10.1007/bf01117471. ISSN 0090-4104. S2CID 121919479.
  • 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. S2CID 30591818.

See alsoEdit

ReferencesEdit

  1. ^ "SPb. Math. Soc. Prizes". www.mathsoc.spb.ru.

External linksEdit