Jump to content

Yuri Matiyasevich

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by 109.154.52.212 (talk) at 11:35, 19 October 2016 (Notable facts). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Yuri Matiyasevich
Born (1947-03-02) March 2, 1947 (age 77)
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

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), presented in his doctoral thesis, at LOMI (the Leningrad Department of the Steklov Institute of Mathematics).

Biography

Awards and honors

Notable facts

Selected works

Book

Papers

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

See also

References

  1. ^ [1]