Youri Matiiassevitch

Youri Vladimirovitch Matiiassevitch (en russe : Юрий Владимирович Матиясевич[note 1], né le 2 mars 1947 à Léningrad[note 2], Russie) est un mathématicien russe qui a résolu le dixième problème de Hilbert.

Iouri Matiassevitch. Portrait en 1969.

Biographie
Naissance	2 mars 1947 Saint-Pétersbourg
Nom dans la langue maternelle	Юрий Владимирович Матиясевич
Nationalités	Soviétique Russe
Formation	Faculté de mathématiques et mécanique de l'université d'État de Saint-Pétersbourg (d) Saint Petersburg Lyceum 239 (en) Institut de mathématiques Steklov
Activités	Mathématicien, informaticien, professeur d'université

Autres informations
A travaillé pour	Département de Saint-Pétersbourg de l'institut de mathématiques Steklov (en), école d'été de Krasnoïarsk (d), université d'État de Saint-Pétersbourg
Chaire	Membre titulaire de l'Académie des sciences de Russie (d)
Membre de	Académie bavaroise des sciences Académie des sciences de Russie Academia Europaea (2014)
Dir. de thèse	Sergueï Youriïévitch Maslov (d), Nikolaï Alexandrovitch Chanine (en)
Site web	(en) logic.pdmi.ras.ru/~yumat/
Distinctions	Prix Markov Docteur honoris causa de l'université d'Auvergne - Clermont I (1996) Docteur honoris causa de l'université Pierre-et-Marie-Curie (2003)

Biographie

Il étudie à Léningrad à l'école N^o 239 (en), spécialisée en mathématiques et physique (où ont aussi étudié, par exemple, Grigori Perelman ou Stanislav Smirnov). En 1964, il remporte une médaille d'or pour l'URSS aux olympiades internationales de mathématiques, qui se déroulent à Moscou. En 1966, il présente une conférence au Congrès international des mathématiciens à Moscou. Il était en deuxième année à l'Université. En 1967, travaillant sur le Problème du mot pour les groupes et semi-groupes, il construit un semi-groupe avec trois relations et deux générateurs qui est indécidable[1].

En 1969, à l'issue d'une formation au département de mathématiques et de mécanique, il obtient un diplôme de l'université d'État de Léningrad. Il poursuit des études doctorales au sein de l'institut de mathématiques Steklov à Saint-Pétersbourg (sous la direction de Sergey Maslov) au LOMI[2].

S'appuyant largement sur les travaux de Julia Robinson, il prouve en 1970, l'indécidabilité du dixième problème de Hilbert, source principale de sa renommée internationale : il donne une conférence invitée sur ce sujet au Congrès International des Mathématiciens à Nice en 1970. À cette époque, il découvre aussi l'algorithme de Knuth-Morris-Pratt avant ceux-ci[3]^,[4].

En 1996, le titre de docteur honoris causa lui est décerné par l'université d'Auvergne.

En 1997, il est élu membre correspondant de l'Académie des sciences russe.

En 2003, le titre de docteur honoris causa lui est décerné par l'université Pierre-et-Marie-Curie (Paris 6).

Il dirige actuellement le laboratoire de logique mathématique au LOMI, à Saint-Pétersbourg.

Sélection de publications

Youri Matiiassevitch, Le dixième problème de Hilbert : son indécidabilité, édition Masson, 1995. (ISBN 22-2584-835-1).
Ю. В. Матиясевич Распознавание в реальное время отношения вхождения, Записки семинаров Ленинградского отделения Математического института им. В. А. Стеклова Академии Наук СССР, т. 20, 1971, 104-114
Yuri Matiyasevich et Julia Robinson, Reduction of an arbitrary Diophantine equation to one in 13 unknowns, Acta Arithmetica, XXVII (1975), 521-549.
Yuri Matiyasevich et Géraud Senizerguez, Decision Problems for Semi-Thue Systems with a Few Rules, LICS’96.
Yuri Matiyasevich, Proof Procedures as Bases for Metamathematical Proofs in Discrete Mathematics, Personal Journal of Yury Matiyasevich.
Yuri Matiyasevich, Elimination of bounded universal quantifiers standing in front of a quantifier-free arithmetical formula, Personal Journal of Yuri Matiyasevich.
Yuri Matiyasevich, One Probabilistic Equivalent of the Four Color Conjecture, Теория вероятности и её применения, 48 (2003), 411-416.
Статьи Ю. В. Матиясевича в журнале « Квант » (1971-1978)

Notes et références

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Yuri Matiyasevich » (voir la liste des auteurs).

Notes

Parfois transcrit en Matijasevich ou Matijasevič, comme dans cet article.
La ville de Saint-Pétersbourg a été renommée Pétrograd puis Léningrad avant de retrouver son nom originel. Les noms de lieux sont repris tels qu'ils existaient au moment des faits cités dans cet article.

Références

Stephen Wolfram, A New Kind of Science, Wolfram Media, Inc., 2002 (ISBN 1-57955-008-8, lire en ligne), 1141
Pour le nom de l'institut, voir la précision apportée par l'institut sur son site Internet : . LOMI correspond à l'abréviation russe originelle. Les acronymes actuels sont : POMI RAN en russe et PDMI RAS en anglais.
(ru) Юрий Матиясевич, « О распознавании в реальное время отношения вхождения », Записки научных семинаров Ленинградского отделения Математического института им. В.А.Стеклова, vol. 20,‎ 1971, p. 104-114 (lire en ligne), dans sa version russe, traduite en anglais comme (en) Yuri Matiyasevich, « Real-time recognition of the inclusion relation », Journal of Soviet Mathematics, vol. 1,‎ 1973, p. 64-70 (lire en ligne)
Knuth le mentionne dans les errata de son livre Selected Papers on Design of Algorithms : « I learned in 2012 that Yuri Matiyasevich had anticipated the linear-time pattern matching and pattern preprocessing algorithms of this paper, in the special case of a binary alphabet, already in 1969. He presented them as constructions for a Turing machine with a two-dimensional working memory. »

Liens externes

Notices d'autorité :
LOMI : page d'accueil de Yuri Matiyasevich, dont un curriculum vitæ rédigé par l'intéressé et à jour au 16/04/2000.
(en) Golden Museum : article sur le 10^e problème de Hilbert, histoire d'une découverte en mathématiques.

Portail de la logique
Portail des mathématiques
Portail de la Russie

Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.

[1] Parfois transcrit en Matijasevich ou Matijasevič, comme dans cet article.

[2] La ville de Saint-Pétersbourg a été renommée Pétrograd puis Léningrad avant de retrouver son nom originel. Les noms de lieux sont repris tels qu'ils existaient au moment des faits cités dans cet article.

[3] Stephen Wolfram, A New Kind of Science, Wolfram Media, Inc., 2002 (ISBN 1-57955-008-8, lire en ligne), 1141

[4] Pour le nom de l'institut, voir la précision apportée par l'institut sur son site Internet : . LOMI correspond à l'abréviation russe originelle. Les acronymes actuels sont : POMI RAN en russe et PDMI RAS en anglais.

[5] (ru) Юрий Матиясевич, « О распознавании в реальное время отношения вхождения », Записки научных семинаров Ленинградского отделения Математического института им. В.А.Стеклова, vol. 20,‎ 1971, p. 104-114 (lire en ligne), dans sa version russe, traduite en anglais comme (en) Yuri Matiyasevich, « Real-time recognition of the inclusion relation », Journal of Soviet Mathematics, vol. 1,‎ 1973, p. 64-70 (lire en ligne)

[6] Knuth le mentionne dans les errata de son livre Selected Papers on Design of Algorithms : « I learned in 2012 that Yuri Matiyasevich had anticipated the linear-time pattern matching and pattern preprocessing algorithms of this paper, in the special case of a binary alphabet, already in 1969. He presented them as constructions for a Turing machine with a two-dimensional working memory. »