Loading AI tools
mathématicien russe De Wikipédia, l'encyclopédie libre
Youri Vladimirovitch Matiiassevitch (en russe : Юрий Владимирович Матиясевич[note 1], né le à Léningrad[note 2], Russie) est un mathématicien russe qui a résolu le dixième problème de Hilbert.
Naissance | |
---|---|
Nom dans la langue maternelle |
Юрий Владимирович Матиясевич |
Nationalité | |
Formation |
Faculté de mathématiques et mécanique de l'université d'État de Saint-Pétersbourg (en) Saint Petersburg Lyceum 239 (en) Institut de mathématiques Steklov |
Activités |
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 | |
Directeurs de thèse | |
Site web | |
Distinctions |
Il étudie à Léningrad à l'école No 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.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.