Yuri Matiyasevich | |
---|---|
Born |
Leningrad, Soviet Union |
March 2, 1947
Residence | Soviet Union Russia |
Nationality | Soviet Russian |
Alma mater | Leningrad State University |
Known for |
his contribution to computability theory, especially solving Hilbert's tenth problem |
Awards |
Petersburg Mathematical Society Prize (1970), |
Scientific career | |
Fields | Mathematics and Theoretical computer science |
Institutions | Petersburg Department of Steklov Institute of Mathematics |
his contribution to computability theory, especially
Petersburg Mathematical Society Prize (1970),
Markov Prize (1980),
Yuri Vladimirovich Matiyasevich, (Russian: Ю́рий Влади́мирович Матиясе́вич; born March 2, 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).