Mathematician:Yuri Vladimirovich Matiyasevich
Jump to navigation
Jump to search
Mathematician
Russian mathematician most famous for proving that Hilbert's Tenth Problem is Unsolvable.
Nationality
Russian
History
- Born: 2 March 1947 in Leningrad, USSR (now St Petersburg, Russia)
Theorems and Definitions
- Matiyasevich's Theorem
- MRDP Theorem (with Martin David Davis, Julia Hall Bowman Robinson and Hilary Whitehall Putnam)
- Proved that Hilbert's Tenth Problem is Unsolvable
Results named for Yuri Vladimirovich Matiyasevich can be found here.
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. 1, no. 1: pp. 64 – 70)
- 1975: Reduction of an arbitrary Diophantine equation to one in 13 unknowns (Acta Arithmetica Vol. XXVII: pp. 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. 46, no. 3: pp. 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
In Russian: Ю́рий Влади́мирович Матиясе́вич
His name can also be seen transliterated as Matijasevic.