Yuri Matiyasevich

Yuri Matiyasevich
Yuri Matiyasevich

Born March 2, 1947 (1947-03-02) (age 64)
Leningrad, USSR
Residence  USSR,  Russia
Nationality  Russian
Fields Mathematics and Theoretical computer science
Institutions Petersburg Department of Steklov Institute of Mathematics
Alma mater Leningrad State University
Known for

his contribution to computability theory, especially

solving Hilbert's tenth problem
Notable awards

Petersburg Mathematical Society Prize (1970),
Markov Prize (1980),

Humboldt Award (1998)

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, presented in his doctoral thesis, at LOMI (the Leningrad Department of the Steklov Institute of Mathematics).

Contents

Biography

Awards and honors

Facts for a biography

See also

  • Matiyasevich's theorem

Selected works

Book

Papers

  • Yuri Matiyasevich, Real-time recognition of the inclusion relation (on-line version), Journal of Sovjet Mathematics, vol. 1, No.1, pp. 64-70, (1973), 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 and Géraud Sénizergues [1], Decision Problems for Semi-Thue Systems with a Few Rules (on-line version), LICS'96.
  • Yuri Matiyasevich, Proof Procedures as Bases for Metamathematical Proofs in Discrete Mathematics (on-line version), Personal 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 Colourings of Triangulation of Sphere, (on-line version), Personal Journal of Yuri Matiyasevich.
  • Yuri Matiyasevich, Some Probabilistic Restatements of the Four Color Conjecture (on-line version), Journal of Graph Theory, 2003.

External links


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • Yuri Matiyasevich — Yuri Matiyasevich. Portrait en 1969. Yuri Matiyasevich[1], (graphie russe : Юрий Владимирович Матиясевич, né le 2 mars …   Wikipédia en Français

  • Yuri Matiyasévich — Yuri Vladímirovich Matiyasévich, (Юрий Владимирович Матиясевич, nacido el 2 de marzo de 1947 en Leningrado) es un matemático ruso. En 1964 obtuvo el primer premio de la 6º Olimpiada Internacional de Matemática que tuvo lugar en Moscú …   Wikipedia Español

  • Yuri Matiyasevich — Juri Wladimirowitsch Matijassewitsch Juri Wladimirowitsch Matijassewitsch (russisch Юрий Владимирович Матиясевич, englische Transliteration Yuri Matiyasevich; * 2. März 1947 in Sankt Petersburg) ist ein russischer Mathematiker und… …   Deutsch Wikipedia

  • Matiyasevich — Yuri Matiyasevich Yuri Matiyasevich. Portrait en 1969. Yuri Matiyasevich[1], (graphie russe : Юрий Владимирович Матиясевич, né le 2 mars …   Wikipédia en Français

  • Yuri Matijasevic — Yuri Matiyasevich Yuri Matiyasevich. Portrait en 1969. Yuri Matiyasevich[1], (graphie russe : Юрий Владимирович Матиясевич, né le 2 mars …   Wikipédia en Français

  • Yuri — se puede referir a: Yuri (Юрий), nombre propio masculino en ruso y ucraniano. Traducción de Jorge, del griego Georgos, que etimológicamente quiere decir El que labra la tierra . Yuri nombre masculino y femenino en América Latina. Yuri, vocablo… …   Wikipedia Español

  • Youri Matiyasevich — Yuri Matiyasevich Yuri Matiyasevich. Portrait en 1969. Yuri Matiyasevich[1], (graphie russe : Юрий Владимирович Матиясевич, né le 2 mars …   Wikipédia en Français

  • Youri Matiiassevitch — Yuri Matiyasevich Yuri Matiyasevich. Portrait en 1969. Yuri Matiyasevich[1], (graphie russe : Юрий Владимирович Матиясевич, né le 2 mars …   Wikipédia en Français

  • Juri Matijassewitsch — Juri Wladimirowitsch Matijassewitsch Juri Wladimirowitsch Matijassewitsch (russisch Юрий Владимирович Матиясевич, englische Transliteration Yuri Matiyasevich; * 2. März 1947 in Sankt Petersburg) ist ein russischer Mathematiker und… …   Deutsch Wikipedia

  • Matijassewitsch — Juri Wladimirowitsch Matijassewitsch Juri Wladimirowitsch Matijassewitsch (russisch Юрий Владимирович Матиясевич, englische Transliteration Yuri Matiyasevich; * 2. März 1947 in Sankt Petersburg) ist ein russischer Mathematiker und… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”