Yuri Matiyasevich

Matemático e informático ruso.

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 ).

Biografía

Primeros años y educación.

Yuri Matiyasevich nació en Leningrado el 2 de marzo de 1947. Los primeros grados los estudió en la escuela nº 255 con Sofia G. Generson, gracias a quien se interesó por las matemáticas. En 1961 comenzó a participar en las Olimpiadas de toda Rusia. De 1962 a 1963 estudió en la escuela de física y matemáticas núm. 239 de Leningrado . También del séptimo al noveno grado estuvo involucrado en el círculo matemático del Palacio de los Pioneros de Leningrado. En 1963-1964 completó el décimo grado en el internado número 18 de física y matemáticas de la Universidad Estatal de Moscú que lleva el nombre de AN Kolmogorov . ^{[1] [2]}

En 1964 ganó la medalla de oro en la Olimpiada Internacional de Matemáticas ^[3] y se matriculó sin exámenes en el Departamento de Matemáticas y Mecánica de la Universidad Estatal de San Petersburgo . Tomó sus exámenes de diploma de escuela secundaria 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 escuela de posgrado en el Departamento de San Petersburgo del Instituto de Matemáticas Steklov de la Academia de Ciencias de Rusia (POMI). En 1970, bajo la dirección de Sergei Maslov  [ru] , defendió su tesis para obtener el título de Candidato en Ciencias en Física y Matemáticas. ^[6]

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

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

En 1997, fue elegido miembro correspondiente de la Academia de Ciencias de Rusia . Desde 1998, Yuri Matiyasevich es vicepresidente de la Sociedad Matemática de San Petersburgo . Desde 2002 dirige la Olimpíada de Matemáticas de la ciudad de San Petersburgo.

Desde 2003, Matiyasevich es codirector de la escuela anual de estudiantes ruso-alemana JASS.

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

Fue miembro de la Sociedad Matemática Estadounidense 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, Dmitri Karpov ^[10]

Un polinomio relacionado con los colores de una triangulación de una esfera lleva el nombre de Matiyasevich; consulte El polinomio de Matiyasevich, el teorema de los cuatro colores y los sistemas de ponderación.

Premios y honores

• 1964: Medalla de oro en la Olimpiada Internacional de Matemáticas celebrada en Moscú .
• 1970: "Premio 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: Recibió el Premio Humboldt de Investigación .
• 2003: Título Honoris Causa, Universidad Pierre et Marie Curie (UPMC).
• 2007: Miembro de la Academia de Ciencias de Baviera .

Trabajos seleccionados

• A la edad de 22 años, encontró una solución negativa al décimo problema de Hilbert ( teorema de Matiyasevich ), que presentó 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 ${\displaystyle \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] ${\displaystyle \zeta }$

• En teoría de grafos , encontró una conexión inesperada entre el teorema de los cuatro colores y la divisibilidad de 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] ${\displaystyle \zeta }$

Libro

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

Documentos

• 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 sin 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". Revista de teoría de grafos . 46 (3): 167-179. doi :10.1002/jgt.10178. S2CID  30591818.

Ver también

• Teorema de Matiyasevich

Referencias

1. Varpahovsky y Varpahovsky 1970, pag. 6.
2. Beltyukov 2017, pag. 6.
3. "Olimpiada Internacional de Matemáticas". www.imo-official.org . Consultado el 20 de mayo de 2023 .
4. Varpahovsky y Varpahovsky 1970, pag. 38.
5. "Из хронологии математико-механического факультета" [Cronología del Departamento de Matemáticas y Mecánica]. Archivado desde el original el 4 de agosto de 2020 . Consultado el 12 de enero de 2019 .
6. Beltyukov 2017, pag. 5.
7. Beltyukov 2017, pag. 7.
8. Beltyukov 2017, pag. 9.
9. "Список избранных членов РАН" [Lista de miembros de pleno derecho de RAS]. Archivado desde el original el 10 de junio de 2022 . Consultado el 17 de agosto de 2013 .
10. "Академику Матиясевичу Юрию Владимировичу - ¡70 LET!" (en ruso). Российская Академия наук. 2017-03-02 . Consultado el 16 de marzo de 2023 .
11. "Premios Sociales de Matemáticas de SPb". www.mathsoc.spb.ru .
12. Beltyukov 2017, pag. 8.
13. Beltyukov 2017, pag. 10.

Fuentes

• Beltyukov, AP (2017). "Por 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.

enlaces externos

• Página de inicio de Yuri Matiyasevich.
• Yuri Matiyasevich en DBLP.
• Los 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 la matemática pura