Yuri Matiyasevich

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search
Yuri Matiyasevich
Yuri Matiyasevich. Portrait 1969.jpg
Born (1947-03-02) March 2, 1947 (age 71)
Leningrad, Soviet Union
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),
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 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).

Biography[edit]

Awards and honors[edit]

Notable facts[edit]

Selected works[edit]

Book[edit]

  • Yuri Matiyasevich Hilbert's 10th Problem, Foreword by Martin Davis and Hilary Putnam, The MIT Press, 1993. ISBN 0-262-13295-8.

Papers[edit]

See also[edit]

References[edit]

  1. ^ [1]

External links[edit]