Mathematician:Yuri Vladimirovich Matiyasevich

From ProofWiki
Jump to: navigation, search

Mathematician

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


Publications

  • 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
  • 1973: Real-time recognition of the inclusion relation (Journal of Soviet Mathematics Vol. 1no. 1: 64 – 70)
  • 1975: Reduction of an arbitrary Diophantine equation to one in 13 unknowns (Acta Arithmetica Vol. XXVII: 521 – 549) (with Julia Robinson)
  • 1993: Hilbert's 10th Problem: foreword by Martin Davis and Hilary Putnam
  • 2004: Some Probabilistic Restatements of the Four Color Conjecture (Journal of Graph Theory Vol. 46no. 3: 167 – 179)
  • 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


Also known as

His name can also be seen transliterated as Matijasevic.


Sources