Yuri Matiyasevich
homepage:http://logic.pdmi.ras.ru/~yumat/
search externally:   Google Scholar,   Springer,   CiteSeer,   Microsoft Academic Search,   Scirus ,   DBlife

Description

Yuri Matiyasevich is a Russian mathematician and computer scientist best known for his negative solution of Hilbert’s tenth problem, about which he wrote a book.

After studying at the Mathematics and Mechanics Faculty of Leningrad State University, Matiyasevich went on to receive two doctoral degrees, in 1970 (from LOMI in Lenigrad) and in 1972 (from MIAN in Moscow). He was awarded the Markov Prize from the Academy of Sciences of the USSR in 1980 and the Humboldt Research Award to Outstanding Scholars in 1998.

He has been Head of the Laboratory of Mathematical Logic at LOMI since 1980, President of St. Petersburg Mathematical Society since 2008, member of Russian Academy of Sciences (corresponding member since 1997 and full member since 2008), corresponding member of Bavarian Academy of Sciences since 2007, Docteur Honoris Causa (l’Universite d’Auvergne, France, since 1996, and Universite Pierre et Marie Curie (Paris-6), France, since 2003).


Lecture:

invited talk
flag Alan Turing and Number Theory
as author at  Alan Turing Centenary Conference Manchester, 2012,
11711 views