Yuri Vladimirovich Matiyasevich (; São Petersburgo, ) é 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. .
Artigos
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.
Ligações externas
Yuri Matiyasevich's home page. Yuri Matiyasevich at DBLP. Hilbert's Tenth Problem: a History of Mathematical Discovery.
Matiyasevich theorem on Scholarpedia. Vita and collaboration with France .
Supercomputing for a Superproblem: A Computational Journey Into Pure Mathematics
Categoria:Membros da Academia de Ciências da Rússia Categoria:Participantes da Olimpíada Internacional de Matemática Categoria:Cientistas da computação da Rússia Categoria:Cientistas da computação da União Soviética Categoria:Lógicos da Rússia Categoria:Matemáticos da Rússia Categoria:Matemáticos da União Soviética Categoria:Matemáticos do século XX Categoria:Matemáticos do século XXI Categoria:Alunos da Universidade Estatal de São Petersburgo Categoria:Pessoas vivas