Yuri Matiyasevich

Yuri Matiyasevich
Yuri Matiyasevich
Nascimento	2 de março de 1947 (77 anos) São Petersburgo
Cidadania	União Soviética, Rússia
Alma mater	Mathematics and Mechanics Faculty, St. Petersburg State University Saint Petersburg Lyceum 239 Instituto de Matemática Steklov
Ocupação	matemático, cientista de computação, professor universitário
Prêmios	Honorary doctoral degree of the Pierre and Marie Curie University (2003) Prêmio Markov de Matemática honorary doctorate at the université d'Auvergne - Clermont I (1996)
Empregador(a)	St. Petersburg Department of Steklov Institute of Mathematics of Russian Academy of Sciences, Krasnoyarsk Summer School, Universidade Estatal de São Petersburgo
Página oficial
http://logic.pdmi.ras.ru/~yumat//
[edite no Wikidata]

Yuri Vladimirovich Matiyasevich (em russo: Ю́рий Влади́мирович Матиясе́вич; São Petersburgo, 2 de março de 1947) é um matemático e cientista da computação russo. É conhecido por sua solução negativa do décimo problema de Hilbert (teorema de Matiyasevich), que foi apresentado em sua tese no Departamento de São Petersburgo do Instituto de Matemática Steklov a Academia de Ciências da Rússia.

Obteve um doutorado em 1970, orientado por Sergei Maslov e Nikolai Aleksandrovich Shanin.

Foi palestrante convidado do Congresso Internacional de Matemáticos em Nice (1970: Diophantine representation of recursively enumerable predicates).

Publicações selecionadas

Livros

• Yuri Matiyasevich Hilbert's 10th Problem, prefácio por Martin Davis Hilary Putnam, The MIT Press, 1993. ISBN 0-262-13295-8.

Artigos

• 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 

Ligações externas

• Yuri Matiyasevich's home page.
• Yuri Matiyasevich at DBLP.
• Hilbert's Tenth Problem: a History of Mathematical Discovery.
• «Yuri Matiyasevich's results». Olimpíada Internacional de Matemática 
• Matiyasevich theorem on Scholarpedia.
• Vita and collaboration with France (em francês).
• John J. O’Connor, Edmund F. Robertson: Yuri Matiyasevich. In: MacTutor History of Mathematics archive.
• Supercomputing for a Superproblem: A Computational Journey Into Pure Mathematics