stringtranslate.com

Yuri Matiyasevich

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

Los primeros años y la educación

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.

Premios y honores

Obras seleccionadas

Libro

Papeles

Véase también

Referencias

  1. ^ Varpahovsky y Varpahovsky 1970, pág. 6.
  2. ^ por Beltyukov 2017, pág. 6.
  3. ^ "Olimpiada Internacional de Matemáticas". www.imo-official.org . Consultado el 20 de mayo de 2023 .
  4. ^ Varpahovsky y Varpahovsky 1970, pág. 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, pág. 5.
  7. ^ Beltyukov 2017, pág. 7.
  8. ^ Beltyukov 2017, pág. 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. ^ ab "Академику Матиясевичу Юрию Владимировичу - ¡70 LET!" (en ruso). Российская Академия наук. 2017-03-02 . Consultado el 16 de marzo de 2023 .
  11. ^ "Premios de Matemáticas y Sociedad de San Petersburgo". www.mathsoc.spb.ru .
  12. ^ Beltyukov 2017, pág. 8.
  13. ^ por Beltyukov 2017, pág. 10.

Fuentes

Enlaces externos