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 Informatikwissenschaftler. Er gelangte zu Bekanntheit, indem er im Alter von 22 Jahren eine negative Antwort auf David Hilberts Zehntes Problem fand und diese als Doktorarbeit präsentierte.

Beruflicher Werdegang

• 1962-1963: Lehre im St. Petersburger Lyzeum Nr. 239 für Mathematik und Physik.
• 1963-1964: Lehre in der Moskauer Kolmogorow Schule. Als Gewinner der IMO (Internationale Mathematik-Olympiade) hatte er, dem zu jener Zeit noch ein Schuljahr bis zur Abitur fehlte, sofort einen Studiumsplatz an der Staatlichen Universität Sankt Petersburg erhalten.
• 1964-1969: Studium in der Staatlichen Universität Sankt Petersburg, Fakultät Mathematik und Mechanik.
• 1966: Vortrag als Student beim Internationalen Mathematikerkongress in Moskau.
• 1969-1970: Doktorarbeit im POMI (St. Petersburger Filiale des Steklow-Institut für Mathematik).
• 1970: Erhalt des Ph. D. Grades der Mathematik.
• 1970-1974: Forschungsarbeit im POMI.
• 1972: Zweiter Doktortitel (genannt "Doktor Nauk" in der Sowjetunion). Erhalten für Lösung des David Hilberts Zehnten Problems.
• 1974-1980: Arbeit als Senior Forscher im POMI.
• Seit 1980: Leiter des Labors für mathematische Logik im POMI.
• Seit 1995: Professor an der Staatlichen Universität Sankt Petersburg zuerst mit einem Lehrstuhl Software Engineering, danach mit einem Lehrstuhl Algebra und Zahlentheorie.
• 1997: Wahl als korrespondierendes Mitglied der Russischen Akademie der Wissenschaften.
• Seit 1998: Vizepräsident der St. Petersburg Mathematical Society.
• Seit 2002: Jury-Leiter von St. Petersburg City Mathematical Olympiad.
• Seit 2003: Mitführer der deutsch-russischen Joint Advanced Student School (JASS).
• 2008: Wahl als Mitglied der Russischen Akademie der Wissenschaften.

Auszeichnungen und Ehrungen

• 1964: Erster Platz bei der IMO (Internationale Mathematik-Olympiade) in Moskau.
• 1970: "Young mathematician"-Preis von der Leningrad Mathematical Society.
• 1980: Markov Preis von der Russischen Akademie der Wissenschaften.
• 1996: Ehrendoktor der Universität Auvergne (Docteur Honoris Causa de l'Université d'Auvergne).
• 1998: Humboldt-Forschungspreis.
• 2003: Ehrendoktor der Universität Paris-6 (Docteur Honoris Causa de l'Université Pierre et Marie Curie (Paris-6)).
• 2007: Mitglied der Bayerischen Akademie der Wissenschaften.

Sonstige Mitgliedschaften / Aktivitäten

• Mitglied der American Mathematical Society und der Association for Symbolic Logic.
• Redaktionsmitglied der Zeitschriften Discrete Mathematics and Applications und Computer Instruments in Education .

Allgemeines

• Nach ihm wurde ein Polynom benannt, das sich auf Einfärbung von Triangulation einer Sphäre bezieht.
• Seine Erdős-Zahl ist 2: Juri Matijassewitsch – Richard Kenneth Guy – Paul Erdős.
• Matiyasevich's Theorem

Werke

Bücher

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

Artikel

• Yuri Matiyasevich, Real-time recognition of the inclusion relation (on-line version), Journal of Sovjet Mathematics, Nr.1 (1973), S. 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 and Géraud Senizergues, 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.

Weblinks

• J. Matijassewitsch's Homepage (english).
• J. Matijassewitsch in DBLP (english).
• Zehntes Problem von Hilbert: Geschichte einer mathematischen Entdeckung (english).
• J. Matijassewitsch auf der IMO.
• Matijassewitsch's Theorem in Scholarpedia (english).
• Zusammenfassung über die Arbeit in Frankreich (französisch).

Personendaten
NAME	Matijassewitsch, Juri Wladimirowitsch
ALTERNATIVNAMEN	Матиясевич, Юрий Владимирович (russisch)
KURZBESCHREIBUNG	russischer Mathematiker
GEBURTSDATUM	2. März 1947
GEBURTSORT	Sankt Petersburg