Yuri Matiyasevich

**Yuri Vladimirovič Matiyasevich** (also spelled Jurij/Yurij/Yurii Matijasevič/Matijasevich/Matiasevich, Russian Ю́рий Влади́мирович Матиясе́вич) is a Russian mathematician who obtained a negative solution to Hilbert's tenth problem. By a seminal theorem of Matiyasevich, for every statement in mathematics (say ZF set theory) there is a Diophantine equation whose solvability is equivalent to the validity of the statement. This is not of much practical importance, but of large theoretical importance.

- wikipedia Yuri Matiyasevich, Russian version

An accessible presentation of Matiyasevich’s theorem is in

- Yuri Manin,
*Introduction to mathematical logic*, Springer

Revised on July 25, 2011 03:14:54
by Toby Bartels
(76.85.192.183)