Nacimiento |
2 de marzo de 1947 San Petersburgo |
---|---|
Nombre en idioma nativo | Юрий Владимирович Матиясевич |
Nacionalidades |
Soviético ruso |
Capacitación |
Facultad de Matemáticas y Mecánica de la Universidad Estatal de San Petersburgo ( d ) Liceo 239 de San Petersburgo ( en ) Instituto de Matemáticas Steklov |
Ocupaciones | Matemático , informático , profesor universitario |
Trabajé para | Departamento de San Petersburgo del Instituto Steklov de Matemáticas de la Academia de Ciencias de Rusia ( en ) , Escuela de Verano de Krasnoyarsk ( d ) , Universidad Estatal de San Petersburgo |
---|---|
Silla | Miembro de pleno derecho de la Academia de Ciencias de Rusia ( d ) |
Áreas | La lógica matemática , la teoría de grafos , teoría de números , teoría de la computabilidad , la computación teórica |
Miembro de |
Academia de Ciencias de Baviera Academia de Ciencias de Rusia Academia Europaea (2014) |
Directores de tesis | Sergey Yuryevich Maslov ( d ) , Nikolai Alexandrowitsch Schanin ( en ) |
Sitio web | (en) logic.pdmi.ras.ru/~yumat/ |
Premios |
Premio Markov de Doctorado Honoris Causa de la Universidad Pierre-et-Marie-Curie (2003) |
Yuri Vladimirovich Matiassevich (en ruso : Юрий Владимирович Матиясевич , nacido el2 de marzo de 1947en Leningrado , Rusia) es un matemático ruso que resolvió el décimo problema de Hilbert .
Estudió en Leningrado en la escuela N o 239 (en) , especializándose en matemáticas y física (donde también estudió, por ejemplo, Perelman y Stanislav Smirnov ). En 1964 ganó una medalla de oro para la URSS en las Olimpiadas Internacionales de Matemáticas , que se llevaron a cabo en Moscú . En 1966 , presentó una conferencia en el Congreso Internacional de Matemáticos en Moscú . Estaba en su segundo año en la Universidad. En 1967, trabajando en el Problema verbal para grupos y semigrupos, construyó un semigrupo con tres relaciones y dos generadores que era indecidible.
En 1969 , después de formarse en el Departamento de Matemáticas y Mecánica , se graduó de la Universidad Estatal de Leningrado. Realiza estudios de doctorado en el Instituto de Matemáticas Steklov en San Petersburgo (bajo la supervisión de Sergey Maslov ) en LOMI .
Basado en gran parte en el trabajo de Julia Robinson , en 1970 demostró la indecidibilidad del décimo problema de Hilbert , la principal fuente de su fama internacional: dio una conferencia invitada sobre este tema en el Congreso Internacional de Matemáticos en Niza en 1970. En este momento , también descubrió el algoritmo Knuth-Morris-Pratt antes de estos.
En 1996 , recibió el título de doctor honoris causa por la Universidad de Auvernia .
En 1997 fue elegido miembro correspondiente de la Academia de Ciencias de Rusia .
En 2003 , la Universidad Pierre-et-Marie-Curie (París 6) le otorgó el título de doctor honoris causa .
Actualmente es el jefe del laboratorio de lógica matemática en LOMI, San Petersburgo.