Yuri Yershov

Yury Leonidovich Yershov ( ruso : Ю́рий Леони́дович Ершо́в , nacido el 1 de mayo de 1940) es un matemático soviético y ruso .

Yury Yershov nació en 1940 en Novosibirsk . En 1958 ingresó en la Universidad Estatal de Tomsk y en 1963 se graduó en el Departamento de Matemáticas de la Universidad Estatal de Novosibirsk. En 1964 defendió con éxito su tesis doctoral titulada "Teorías decidibles e indecidibles" (director: Anatoly Maltsev ). En 1966 defendió con éxito su tesis doctoral titulada "Teoría elemental de campos" (Элементарные теория полей).

Además de matemático, Yershov era miembro del Partido Comunista y desempeñó diversas funciones administrativas destacadas en la Universidad Estatal de Novosibirsk. Yershov fue acusado de prácticas antisemitas, y su visita a Estados Unidos en 1980 provocó protestas públicas de varios matemáticos estadounidenses. ^{[ 1 ]} El propio Yershov negó la veracidad de estas acusaciones.

Yury Yershov es miembro de la Academia Rusa de Ciencias , profesor emérito de la Universidad Estatal de Novosibirsk ^{[ 2 ]} y ex rector de la Universidad Estatal de Novosibirsk . ^{[ 3 ] [ 4 ]}

Ha trabajado en el Instituto de Matemáticas Sobolev desde 1963. Actualmente es director de este instituto (desde 2003). En 1968 recibió el título de catedrático. En 1970 fue elegido miembro correspondiente de la Academia de Ciencias de la URSS, y en 1990 se convirtió en miembro de pleno derecho (académico) de la Academia de Ciencias de Rusia. Entre 1964 y 2002 trabajó en la Universidad Estatal de Novosibirsk (como segundo empleo): entre 1968 y 2002 fue profesor, y entre 1973 y 1976 fue decano del Departamento de Matemáticas de la Universidad Estatal de Novosibirsk y rector de esta universidad entre 1985 y 1993. Es redactor jefe de la Revista Matemática Siberiana y de la revista Álgebra y Lógica.

Sus principales áreas de interés científico son: álgebra , teoría de campos , lógica matemática , teoría de algoritmos , teoría de modelos , modelos constructivos, informática y aspectos filosóficos de las matemáticas . Demostró la decidibilidad de la teoría elemental del campo de los números p -ádicos (demostrada independientemente por J. Ax y S. Kochen), la indecidibilidad de la teoría elemental de los grupos simétricos finitos y la decidibilidad de la teoría elemental de los retículos distributivos relativamente complementados .

Yury Yershov es laureado con el Premio Maltsev de la Academia Rusa de Ciencias (1992), el Premio Estatal Ruso en el área de Ciencia y Técnica (2002, 2003), el Premio de la Fundación Lavrentyev (2007) y ha sido condecorado con varias Órdenes Estatales Rusas.En 2013 ganó el Premio Demidov . En 2023 fue galardonado con el Premio Lobachevsky . ^{[ 5 ]}

Fue ponente invitado en el Congreso Internacional de Matemáticos en 1966 en Moscú con la charla Teorías elementales de campos ^{[ 6 ]} y en 1970 en Niza con la charla La théorie des enumerations .

• Yershov, Yury (1996). Definibilidad y computabilidad . Springer. ISBN 9780306110399.
• Yershov, Yury (2001). Campos multivaluados . Springer. ISBN 9780306110689.
• Yershov, Yury (2004). "Teoría de campos de clases locales" . St. Petersburg Math. J. 15 ( 6): 837– 846. doi : 10.1090/S1061-0022-04-00834-9 . MR 2044630 . 
• Yershov, Yury (2008). "Extensiones domesticadas y puramente salvajes de cuerpos valorados" . St. Petersburg Math. J. 19 ( 5): 765– 773. doi : 10.1090/S1061-0022-08-01019-4 . MR 2381943 . 

• Yuri L. Ershov en el Proyecto de Genealogía Matemática