Yuri L. Ershov o Yershov (Юрий Леонидович Ершов, nacido el 1 de mayo de 1940 [1] ) es un matemático ruso y soviético .
Yuri Ershov 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 "Teorías decidibles e indecidibles" (asesor Anatolij Mal'tsev ). En 1966 defendió con éxito su tesis de DrSc "Teoría elemental de los campos" (Элементарные теория полей).
Además de ser matemático, Ershov era miembro del partido comunista y tenía diferentes funciones administrativas distinguidas en la Universidad Estatal de Novosibirsk. Ershov ha sido 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 Ershov negó la validez de estas acusaciones.
Yuri Ershov es miembro de la Academia de Ciencias de Rusia , profesor emérito de la Universidad Estatal de Novosibirsk [2] y ex rector de la Universidad Estatal de Novosibirsk . [3] [4]
Trabaja 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 Corresponsal de la Academia de Ciencias de la URSS, en 1990 se convirtió en Miembro Titular (Académico) de la Academia de Ciencias de Rusia. En 1964-2002 trabajó en la Universidad Estatal de Novosibirsk (como segundo empleo): en 1968-2002 como profesor, además, en 1973-1976 fue decano del Departamento de Matemáticas de la Universidad Estatal de Novosibirsk y rector de esta universidad en 1985-1993. Yuri L. Ershov es editor en jefe de Siberian Mathematical Journal y editor en jefe de la revista Algebra i Logika (Algebra and Logic). [2][3]
Sus intereses científicos básicos 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 (probada independientemente por J. Ax y S. Kochen), la indecidibilidad de la teoría elemental de los grupos simétricos finitos , la decidibilidad de la teoría elemental de las redes distributivas relativamente complementadas .