Yuri Matiyasevich

Yuri Vladimirovich Matijassewitsch (Russian Юрий Владимирович Матиясевич, English transliteration Yuri Matiyasevich; born March 2, 1947 in Leningrad ) is a Russian mathematician and computer scientist. He came to prominence after he found a negative response to David Hilbert's Tenth Problem at the age of 22 years and this presented as a doctoral thesis.

Professional career

Matijassewitsch went from 1962 to 1963 at the St. Petersburg Lyceum No. 239 and then from 1963 to 1964 on the Moscow Kolmogorov - school. In 1964 he won the International Mathematics Olympiad, which is why him his last year was adopted at the high school and could start immediately at the State University of Saint Petersburg in 1964, studying mathematics. While still a student he held a lecture in 1966 at the International Congress of Mathematicians in Moscow. In 1969 he completed his studies and received his PhD in 1970 (Russian candidate items) on Lomi (now Pomi ), the St. Petersburg branch of the Steklov Institute of Mathematics. Subsequently, he conducted research at Lomi, from 1974 as a senior scientist. In 1972 he broke with his habilitation thesis (Russian PhD ) Hilbert's Tenth Problem, which he made international attention. In this context, it has 1971 constructive ( building on work done by Martin Davis, Hilary Putnam, and Julia Robinson) that is an integral multi-variable polynomial exists that generates exactly the set of primes for positive integer arguments with its positive values. Six years later he was able to prove that this is sufficient is a polynomial in 10 variables.

In 1980 he became head of the Laboratory of Mathematical Logic in Lomi. Since 1995 he is professor at the State University of Saint Petersburg, first with a Department of Software Engineering, then with a chair algebra and number theory.

Since 2002 he has headed the jury of the Mathematical Olympiad of the city of Saint Petersburg and in 2003 he also directed the German -Russian joint Advanced Student School ( JASS ).

Awards and honors

Other Memberships / Activities

Others

  • According to him, a polynomial was named, which refers to coloring the triangulation of a sphere.
  • His Erdős number is 2: Yuri Matijassewitsch - Richard Kenneth Guy - Paul Erdős.
  • Matijassewitschs theorem

Works

  • Yuri V. Matiyasevich: Hilbert 's 10th problem, with foreword by Martin Davis and Hilary Putnam, The MIT Press, 1993, ISBN 0-262-13295-8. .

Article

  • Yuri Matiyasevich: Real-time recognition of the inclusion relation (on-line version (PDF file, 369 kB) ), Journal of Soviet Mathematics, No.1 (1973 ), pp. 64-70, ISSN 0090-4104.
  • Yuri Matiyasevich and Julia Robinson: Reduction of an arbitrary Diophantine equation to one in 13 unknowns (on-line version), Acta Arithmetica, XXVII (1975 ), 521-549.
  • Yuri Matiyasevich, Geraud Senizergues: Decision problems for semi-Thue Systems with a Few Rules ( online version), LICS'96 (for Post 's correspondence problem )
  • Yuri Matiyasevich: Proof Procedures as Bases for metamathematical proofs in Discrete Mathematics (on-line version, GZIP, 34 kB), Personnel Journal of Yury Matiyasevich.
  • Yuri Matiyasevich: Elimination of bounded universal quantifiers standing in front of a quantifier - free arithmetical formula, (on-line version), Personal Journal of Yuri Matiyasevich.
  • Yuri Matiyasevich: A Polynomial related to colorings of triangulation of sphere, (on-line version), Personal Journal of Yuri Matiyasevich.
  • Yuri Matiyasevich: Hilbert 's tenth problem: diophantine equations in the twentieth century, in Bolibruch, Osipov, Sinai (Editor) Mathematical Events of the Twentieth Century, Springer 2006, pp. 185
International Mathematical Olympiad Nice Humboldt Prize Polygon mesh Integrated Authority File
458343
de