Yuri Matiyasevich - Yuri Matiyasevich

Yuri Matiyasevich
Née	( 02/03/1947 ) 2 mars 1947 (74 ans) Leningrad , Union soviétique
Nationalité	Russe soviétique
mère nourricière	Université d'État de Leningrad
Connu pour	sa contribution à la théorie de la calculabilité , en particulier la résolution du dixième problème de Hilbert
Récompenses	Prix ​​de la Société mathématique de Pétersbourg (1970), prix Markov (1980), prix Humboldt (1998)
Carrière scientifique
Des champs	Mathématiques et informatique théorique
Les institutions	Département de Saint-Pétersbourg de l'Institut de mathématiques Steklov

Yuri Vladimirovich Matiyasevich , ( russe : Ю́рий Влади́мирович Матиясе́вич ; né le 2 mars 1947 à Leningrad ) est un mathématicien et informaticien russe . Il est surtout connu pour sa solution négative du dixième problème de Hilbert ( théorème de Matiyasevich ), qui a été présentée dans sa thèse de doctorat au LOMI (département de Leningrad de l' Institut de mathématiques Steklov ).

Biographie

• En 1962-1963, Matiyasevich a étudié au lycée 239 de Saint-Pétersbourg ;
• En 1963-1964, il a étudié à l' école Kolmogorov ; en 1964, il était le vainqueur absolu de l' Olympiade de toute l'Union en mathématiques
• En 1964-1969, Matiyasevich a étudié à la Faculté de mathématiques et de mécanique de l'Université d'État de Leningrad . En se qualifiant pour l'équipe d'URSS pour l' Olympiade mathématique internationale (où il a remporté une médaille d'or), Yuri Matiyasevich a été accepté sans examen à l'Université d'État de Leningrad , sautant la dernière année d'études secondaires.
• En 1966, il a présenté une conférence au Congrès international des mathématiciens tenu à Moscou . Il était alors étudiant en deuxième année de premier cycle.
• En 1969-1970, il a poursuivi des études de doctorat au département de Leningrad de l'Institut de mathématiques Steklov sous la direction de Sergey Maslov .
• En 1970, il obtient son doctorat ( diplôme de candidat , équivalent à un doctorat) au LOMI et donne une conférence invitée au Congrès international des mathématiciens tenu à Nice sur l'indécidabilité du dixième problème d'Hibert.
• En 1970–1974, il était chercheur au LOMI .
• En 1972, il obtient un deuxième doctorat (équivalent à habilitation ou D.Sc, appelé «doktor nauk» en Union soviétique ).
• En 1974-1980, il était chercheur principal au LOMI .
• En 1980-2018, Yuri Matiyasevich était à la tête du laboratoire de logique mathématique au LOMI .
• Depuis 1995, il est professeur à l'Université d'État de Saint-Pétersbourg , d'abord à la chaire de génie logiciel , puis à la chaire d' algèbre et de théorie des nombres .
• En 1997, il a été élu membre correspondant de l'Académie russe des sciences .
• Depuis 1998, Yuri Matiyasevich est vice-président de la Société mathématique de Saint-Pétersbourg .
• Depuis 2002, il est à la tête de l'Olympiade mathématique de la ville de Saint - Pétersbourg .
• Depuis 2003, Matiyasevich est codirecteur de l'école étudiante annuelle germano-russe JASS .
• En 2008, il a été élu membre à part entière de l'Académie russe des sciences .

Récompenses et honneurs

• 1964: Médaille d'or à l' Olympiade mathématique internationale de Moscou .
• 1970: "Prix du jeune mathématicien" de la Société mathématique de Leningrad .
• 1980: Prix Markov de l' Académie des sciences de l'URSS .
• 1996: Diplôme honorifique, Université d'Auvergne .
• 1998: Il a reçu le prix de recherche Humboldt .
• 2003: Diplôme honorifique, Université Pierre et Marie Curie (UPMC).
• 2007: Membre de l' Académie bavaroise des sciences .

Faits notables

• Un polynôme lié aux colorations d'une triangulation d'une sphère a été nommé d'après Matiyasevich; voir Le polynôme de Matiyasevich, le théorème des quatre couleurs et les systèmes de poids .
• Il était membre de l' American Mathematical Society et de l' Association for Symbolic Logic ; et aussi des comités de rédaction des revues Discrete Mathematics and Applications and Computer Instruments in Education .
• Les étudiants notables incluent: Eldar Musayev , Maxim Vsemirnov , Alexei Pastor , Dmitri Karpov .

Œuvres choisies

Livre

• 10e problème de Yuri Matiyasevich Hilbert , avant-propos de Martin Davis et Hilary Putnam , The MIT Press, 1993. ISBN   0-262-13295-8 .

Papiers

• Yuri Matiyasevich (1973). "Reconnaissance en temps réel de la relation d'inclusion" (PDF) . Journal of Sovjet Mathematics . 1 (1): 64–70. doi : 10.1007 / bf01117471 . ISSN   0090-4104 . S2CID   121919479 .
• Yuri Matiyasevich, Julia Robinson (1975). "Réduction d'une équation diophantienne arbitraire à une sur 13 inconnues" . Acta Arithmetica . XXVII : 521-549.
• Yuri Matiyasevich, Géraud Sénizergues (1996). "Problèmes de décision pour les systèmes Semi-Thue avec quelques règles" . LICS .
• Yuri Matiyasevich, Procédures de preuve comme bases pour les preuves métamathématiques en mathématiques discrètes , Journal personnel de Yury Matiyasevich.
• Yuri Matiyasevich, Élimination des quantificateurs universels limités debout devant une formule arithmétique sans quantificateur , Journal personnel de Yuri Matiyasevich.
• Yuri Matiyasevich, Un polynôme lié aux colorations de la triangulation de la sphère , Journal personnel de Yuri Matiyasevich.
• Yuri Matiyasevich (2004). "Quelques reformulations probabilistes de la conjecture de quatre couleurs" . Journal de théorie des graphes . 46 (3): 167-179. doi : 10.1002 / jgt.10178 .

Voir également

• Théorème de Matiyasevich

Les références

Liens externes

• Page d'accueil de Yuri Matiyasevich .
• Yuri Matiyasevich au DBLP .
• Résultats de Yuri Matiyasevich à l'Olympiade mathématique internationale
• Théorème de Matiyasevich sur Scholarpedia.
• Vita et collaboration avec la France (en français) .
• O'Connor, John J .; Robertson, Edmund F. , "Yuri Matiyasevich" , archives MacTutor History of Mathematics , Université de St Andrews .
• Le calcul intensif pour un superproblème: un voyage informatique dans les mathématiques pures