Yuri Matiyasevich | |
|---|---|
 | |
| Born | 2 March 1947 |
| Nationality | Soviet Russian |
| Alma mater | Leningrad State University |
| Known for | his contribution to computability theory, especially solving Hilbert's tenth problem, through Matiyasevich's theorem |
| Awards | Petersburg Mathematical Society Prize (1970), Markov Prize (1980), Humboldt Award (1998) |
| Scientific career | |
| Fields | Mathematics and Theoretical computer science |
| Institutions | Petersburg Department of Steklov Institute of Mathematics |
Yuri Vladimirovich Matiyasevich, (Russian: Ю́рий Влади́мирович Матиясе́вич; born 2 March 1947 in Leningrad) is a Russian mathematician and computer scientist. He is best known for his negative solution of Hilbert's tenth problem (Matiyasevich's theorem), which was presented in his doctoral thesis at LOMI (the Leningrad Department of the Steklov Institute of Mathematics).