Yuri Matiyasevich (* 2. März 1947 in St. Petersburg) ist ein russischer Mathematiker. Er gelangte zu Bekanntheit, indem er im Alter von 22 Jahren eine negative Lösung für David Hilberts Zehntes Problem fand. Hilbert suchte nach einem Verfahren, das entscheiden sollte, ob eine gegebene diophantische Gleichung lösbar ist. Durch die Arbeit von Matiyasevich wurde bewiesen, dass ein solches Verfahren nicht existiert.
Literatur
- Y. Matiyasevich: Hilbert's tenth problem, MIT Press, Boston, 1993. Eine englische Übersetzung von Matiyasevichs Arbeit über Hilberts Zehntes Problem.
Weblinks
Y. Matiyasevichs Homepage: http://logic.pdmi.ras.ru/~yumat/
Personendaten | |
---|---|
NAME | Matiyasevich, Yuri |
KURZBESCHREIBUNG | russischer Mathematiker |
GEBURTSDATUM | 2. März 1947 |
GEBURTSORT | St. Petersburg |