Yuri Matiyasevich

Yuri Matiyasevich
Nacido	( 02-03-1947 )2 de marzo de 1947 (77 años) Leningrado , Unión Soviética
Nacionalidad	Ruso soviético
Alma máter	Universidad Estatal de Leningrado
Conocido por	Su contribución a la teoría de la computabilidad , especialmente la solución del décimo problema de Hilbert , a través del teorema de Matiyasevich.
Premios	Premio de la Sociedad Matemática de San Petersburgo (1970), Premio Markov (1980), Premio Humboldt (1998)
Carrera científica
Campos	Matemáticas y Ciencias de la Computación Teórica
Instituciones	Departamento de San Petersburgo del Instituto de Matemáticas Steklov

Yuri Vladimirovich Matiyasevich , ( ruso : Ю́рий Влади́мирович Матиясе́вич ; nacido el 2 de marzo de 1947 en Leningrado ) es un matemático e informático ruso . Es mejor conocido por su solución negativa del décimo problema de Hilbert ( teorema de Matiyasevich ), que fue presentada en su tesis doctoral en LOMI (el Departamento de Leningrado del Instituto Steklov de Matemáticas ).

Yuri Matiyasevich nació en Leningrado el 2 de marzo de 1947. Los primeros cursos los cursó en la escuela nº 255 con Sofia G. Generson, gracias a la cual se interesó por las matemáticas. En 1961 empezó a participar en las olimpiadas de toda Rusia. De 1962 a 1963 estudió en la escuela física y matemática nº 239 de Leningrado . También del 7º al 9º curso participó en el círculo matemático del Palacio de los Pioneros de Leningrado. En 1963-1964 completó el 10º curso en el internado de física y matemáticas nº 18 de la Universidad Estatal de Moscú que lleva el nombre de A. N. Kolmogorov . ^{[1] [2]}

En 1964 ganó una medalla de oro en la Olimpiada Internacional de Matemáticas ^[3] y se matriculó en el Departamento de Matemáticas y Mecánica de la Universidad Estatal de San Petersburgo sin exámenes. Se presentó a los exámenes de bachillerato como estudiante de primer año. ^{[4] [5]}

Siendo estudiante de segundo año, publicó dos artículos sobre lógica matemática que se publicaron en las Actas de la Academia de Ciencias de la URSS . Presentó estos trabajos en el Congreso Internacional de Matemáticos en 1966. ^[2]

Después de graduarse, se matriculó en la facultad de matemáticas de San Petersburgo del Instituto de Matemáticas Steklov de la Academia Rusa de Ciencias (POMI). En 1970, bajo la dirección de Sergei Maslov  [ru] , defendió su tesis para el grado de Candidato de Ciencias en Física y Matemáticas. ^[6]

En 1972, a la edad de 25 años, defendió su tesis doctoral sobre la irresolubilidad del décimo problema de Hilbert. ^[7]

A partir de 1974 Matiyasevich trabajó en puestos científicos en el LOMI, primero como investigador senior, en 1980 dirigió el Laboratorio de Lógica Matemática. En 1995, Matiyasevich se convirtió en profesor en el POMI, inicialmente en la cátedra de ingeniería de software , más tarde en la cátedra de álgebra y teoría de números . ^[8]

En 1997 fue elegido miembro correspondiente de la Academia Rusa de Ciencias . Desde 1998, Yuri Matiyasevich es vicepresidente de la Sociedad Matemática de San Petersburgo . Desde 2002 es director de la Olimpiada Matemática de la Ciudad de San Petersburgo.

Desde 2003, Matiyasevich ha sido codirector de la escuela anual para estudiantes ruso-alemanes JASS.

En 2008, fue elegido miembro de pleno derecho de la Academia de Ciencias de Rusia . ^[9]

Fue miembro de la Sociedad Matemática Americana y de la Asociación de Lógica Simbólica ; y también de los consejos editoriales de las revistas Discrete Mathematics and Applications y Computer Instruments in Education. Como profesor, fue mentor de Eldar Musayev, Maxim Vsemirnov, Alexei Pastor y Dmitri Karpov ^[10].

Un polinomio relacionado con las coloraciones de una triangulación de una esfera recibió su nombre en honor a Matiyasevich; véase El polinomio de Matiyasevich, el teorema de los cuatro colores y los sistemas de ponderación.

• 1964: Medalla de oro en la Olimpiada Internacional de Matemáticas celebrada en Moscú .
• 1970: “Premio al joven matemático” de la Sociedad Matemática de Leningrado . ^[11]
• 1980: Premio Markov de la Academia de Ciencias de la URSS .
• 1996: Título honoris causa, Universidad de Auvernia .
• 1998: Recibe el Premio de Investigación Humboldt .
• 2003: Título Honoris Causa, Universidad Pierre et Marie Curie (UPMC).
• 2007: Miembro de la Academia Bávara de Ciencias .

• A la edad de 22 años, presentó una solución negativa del décimo problema de Hilbert ( teorema de Matiyasevich ), que fue presentada en su tesis doctoral en LOMI (el Departamento de Leningrado del Instituto Steklov de Matemáticas ). ^[12]

• En teoría de números , respondió a la pregunta de George Pólya de 1927 sobre un sistema infinito de desigualdades que vinculan los coeficientes de Taylor de la función de Riemann${\estilo de visualización \zeta}$ . Demostró que todas estas desigualdades son consecuencia de una única desigualdad funcional que vincula la transformada de Fourier de una función y sus derivadas. ^[13]${\estilo de visualización \zeta}$

• En teoría de grafos , encontró una conexión inesperada entre el teorema de los cuatro colores y la divisibilidad de los coeficientes binomiales , y dio una interpretación probabilística del teorema de los cuatro colores. ^[13]

• Descubrió una serie de nuevas e interesantes cualidades de los ceros de la función de Riemann. ^[10]${\estilo de visualización \zeta}$

• El décimo problema de Hilbert, Yuri Matiyasevich, prólogo de Martin Davis y Hilary Putnam , The MIT Press, 1993. ISBN  0-262-13295-8 .

• Yuri Matiyasevich (1973). "Reconocimiento en tiempo real de la relación de inclusión" (PDF) . Revista de Matemáticas Soviéticas . 1 (1): 64–70. doi :10.1007/bf01117471. ISSN  0090-4104. S2CID  121919479.
• Yuri Matiyasevich, Julia Robinson (1975). "Reducción de una ecuación diofántica arbitraria a una entre 13 incógnitas". Acta Aritmética . XXVII : 521–549.
• Yuri Matiyasevich, Géraud Sénizergues (1996). "Problemas de decisión para sistemas Semi-Thue con algunas reglas". LIC .
• Yuri Matiyasevich, Procedimientos de demostración como base para demostraciones metamatemáticas en matemáticas discretas, Diario personal de Yury Matiyasevich.
• Yuri Matiyasevich, Eliminación de cuantificadores universales acotados frente a una fórmula aritmética libre de cuantificadores, Diario personal de Yuri Matiyasevich.
• Yuri Matiyasevich, Un polinomio relacionado con los colores de la triangulación de la esfera, Diario personal de Yuri Matiyasevich.
• Yuri Matiyasevich (2004). "Algunas reformulaciones probabilísticas de la conjetura de los cuatro colores". Journal of Graph Theory . 46 (3): 167–179. doi :10.1002/jgt.10178. S2CID  30591818.

• Teorema de Matiyasevich

• Beltyukov, AP (2017). “En el aniversario de Yuri Vladimirovich Matiyasevich”. Herramientas informáticas en la educación (6): 5–11.
• Varpahovsky, F.; Varpahovsky, A. (1970). "Sobre la solución del décimo problema de Hilbert". Kvant (Revista) (7): 38–44.

Wikimedia Commons tiene medios relacionados con Yuri Matiyasevich (matemático) .

• Página de inicio de Yuri Matiyasevich.
• Yuri Matiyasevich en DBLP.
• Resultados de Yuri Matiyasevich en la Olimpiada Internacional de Matemáticas
• Teorema de Matiyasevich en Scholarpedia.
• Vita y colaboración con Francia (en francés) .
• O'Connor, John J.; Robertson, Edmund F. , "Yuri Matiyasevich", Archivo MacTutor de Historia de las Matemáticas , Universidad de St Andrews
• Supercomputación para un superproblema: un viaje computacional hacia las matemáticas puras