Yuri Matiyasevich

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).

Yuri Matiyasevich
Yuri Matiyasevich. Portrait 1969.jpg
Born (1947-03-02) March 2, 1947 (age 73)
NationalitySoviet
Russian
Alma materLeningrad State University
Known forhis contribution to computability theory, especially solving Hilbert's tenth problem
AwardsPetersburg Mathematical Society Prize (1970),
Markov Prize (1980),
Humboldt Award (1998)
Scientific career
FieldsMathematics and Theoretical computer science
InstitutionsPetersburg Department of Steklov Institute of Mathematics

BiographyEdit

Awards and honorsEdit

Notable factsEdit

Selected worksEdit

BookEdit

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

PapersEdit

See alsoEdit

ReferencesEdit

  1. ^ "SPb. Math. Soc. Prizes". www.mathsoc.spb.ru.

External linksEdit