Mathematician:Yuri Vladimirovich Matiyasevich

Russian mathematician (Ю́рий Влади́мирович Матиясе́вич) most famous for proving that Hilbert's Tenth Problem is Unsolvable.

Nationality
Russian

History

 * Born: 2 March 1947 in Leningrad (now St Petersburg), Russia

Theorems and Definitions

 * Matiyasevich's Theorem
 * Proved that Hilbert's Tenth Problem is Unsolvable

Books and Papers

 * 1967: Simple examples of unsolvable canonical calculi
 * 1967: Simple examples of unsolvable associative calculi
 * 1968: Arithmetic representations of powers
 * 1968: A connection between systems of word and length equations and Hilbert's tenth problem
 * 1968: Two reductions of Hilbert's tenth problem
 * 1970: The Diophantineness of enumerable sets (in which was proved that Hilbert's Tenth Problem is Unsolvable)
 * 1970: Diophantine representation of recursively enumerable predicates
 * 1971: On recursive unsolvability of Hilbert's tenth problem
 * 1972: Diophantine representation of enumerable predicates
 * 1993: Hilbert's 10th Problem: foreword by Martin Davis and Hilary Putnam
 * 2004: Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets
 * 2009: Existential arithmetization of Diophantine equations
 * 2010: One more probabilistic reformulation of the four colour conjecture
 * 2004: Elimination of quantifiers from arithmetical formulas defining recursively enumerable sets
 * 2009: Existential arithmetization of Diophantine equations
 * 2010: One more probabilistic reformulation of the four colour conjecture