Ershov, Yuri Leonidovich

Yuri Leonidovich Ershov
inglés  Yuri Leonidovich Ershov
Fecha de nacimiento 1 de mayo de 1940( 1940-05-01 ) [1] (82 años)
Lugar de nacimiento
País  URSS → Rusia 
Esfera científica matemáticas
Lugar de trabajo Instituto de Matemáticas SB RAS
alma mater Universidad Estatal de Novosibirsk
Titulo academico Doctor en Ciencias Físicas y Matemáticas  ( 1965 )
Título académico Profesor ,
Miembro Correspondiente de la Academia de Ciencias de la URSS  ( 1970 )
Académico de la Academia de Ciencias de Rusia  ( 1991 )
consejero científico A. I. Maltsev
Estudiantes SS Goncharov , A. G. Pinus
Premios y premios
Orden al Mérito de la Patria, 3ra clase - 2010 Orden al Mérito de la Patria, 4ª clase - 2000
Orden de Alejandro Nevsky - 2016 Orden de la Bandera Roja del Trabajo Orden de la Insignia de Honor
Premio Estatal de la Federación Rusa - 2002 Premio del Gobierno de la Federación Rusa en el campo de la educación - 2010

Yuri Leonidovich Ershov (nacido el 1 de mayo de 1940 , Novosibirsk ) es un matemático soviético y ruso , académico de la Academia Rusa de Ciencias (1991), doctor en ciencias físicas y matemáticas , profesor , asesor de la Academia Rusa de Ciencias , líder de la Escuela siberiana de álgebra y lógica .

Biografía

Nacido en una familia de ingenieros ferroviarios.

Se graduó de la escuela secundaria con una medalla de plata, en la clase final, las ciencias exactas reemplazaron su antiguo interés por la geología. Sin ingresar al Instituto de Física y Tecnología de Moscú (recibió una calificación insatisfactoria en el examen de ingreso - oral en física [2] ), trabajó durante un año como tornero de carrusel en la planta de Chkalov en Novosibirsk y en 1958 ingresó a la Facultad . de Mecánica y Matemáticas de la Universidad Estatal de Tomsk , pero en 1961 se trasladó a la Universidad Estatal de Novosibirsk , graduándose con honores en 1963 (primera graduación) [3] .

Cuando aún era estudiante en NSU , se hizo conocido entre los matemáticos por sus nuevos e interesantes resultados científicos, y unos meses después de graduarse de la universidad, en 1963 , defendió su Ph.D. El 3 de mayo de 1966, Ershov fue el primero de los graduados de la NSU en defender su tesis doctoral sobre "Teoría elemental de campos" [4] .

De 1967 a 2004 trabajó como jefe del Departamento de Lógica Matemática en el Instituto de Matemáticas de la Rama Siberiana de la Academia de Ciencias de la URSS .

El 24 de noviembre de 1970 fue elegido miembro correspondiente de la Academia de Ciencias de la URSS en el Departamento de Matemáticas.

De 1973 a 1976 se desempeñó como Decano de la Facultad de Mecánica y Matemáticas de la Universidad Estatal de Novosibirsk [5] .

En mayo de 1980 visitó los Estados Unidos bajo el programa Fulbright . Esta visita se conoció en los círculos matemáticos estadounidenses como "El asunto Ershov" [6] .

En 1985, Yuri Ershov fue nombrado rector de la Universidad Estatal de Novosibirsk , convirtiéndose en el primer rector de la NSU entre sus graduados [7] . Ershov trabajó en este puesto desde 1985 hasta 1993.

En 1992 fue galardonado con el Premio AI Maltsev de la Academia Rusa de Ciencias por la monografía "Teoría de la Numeración" [8] .

De 1991 a 2002 - Director del Instituto de Investigación de Fundamentos Matemáticos e Informativos de la Educación en la Universidad Estatal de Novosibirsk (desde 1998 - Instituto de Matemática Discreta e Informática del Ministerio de Educación de la Federación Rusa ).

Desde el 7 de diciembre de 1991 - Miembro de la Academia Rusa de Ciencias en la Sección de Matemáticas, Mecánica, Informática (Matemáticas) [9] .

En el año 2000 fue condecorado con la Orden al Mérito de la Patria , IV grado -'por servicios al Estado, muchos años de fructífera actividad científica y pedagógica '[10] .

Desde 2002 - Director interino del Instituto de Matemáticas de la Rama Siberiana de la Academia Rusa de Ciencias . De 2003 a 2011 - Director del Instituto de Matemáticas de la Rama Siberiana de la Academia Rusa de Ciencias .

Laureado del Premio Estatal de la Federación Rusa en el campo de la ciencia y la tecnología en 2002 por la monografía "Múltiples Campos Normalizados" [11] .

En 2010 fue condecorado con la Orden al Mérito de la Patria , III grado [12] . En el mismo año se convirtió en laureado del Premio del Gobierno de la Federación Rusa en el campo de la educación por el ciclo de obras "El concepto de la formación de la educación lógica y matemática en la educación superior" [13] .

En 2013 recibió el Premio Demidov por logros destacados en el desarrollo de la lógica matemática [14] .

En 2016 fue condecorado con la Orden de Alejandro Nevsky [15] .

El académico Yu. L. Ershov es el presidente del Consejo Académico Conjunto de Matemáticas e Informática de la rama siberiana de la Academia Rusa de Ciencias, presidente del Consejo de Disertación D 003.015.02 (especialidad “01.01.06 — Lógica matemática, álgebra y Teoría de Números”) en el Instituto de Matemáticas de la Rama Siberiana de la Academia Rusa de Ciencias y Editor Jefe Siberian Mathematical Journal y Journal of Algebra and Logic .

Conflictos

La llegada de Yershov a Estados Unidos bajo el programa Fulbright estuvo acompañada de piquetes y protestas públicas. Cuarenta matemáticos de la Universidad de California en Berkeley y otras universidades boicotearon a Yershov en relación con su participación en políticas antisemitas contra colegas judíos en la URSS. Estas actuaciones fueron destacadas por los medios estadounidenses, en particular por The Boston Globe . Las cartas de boicot fueron firmadas porHenkin Julia y Raphael Robinson , John KellyStephen Dreben Putnam , Akiro Kanamori , Friedman , Richard Shore y varios otros famosos científicos. El mismo Ershov negó las acusaciones y afirmó que nunca se había guiado en su trabajo por prejuicios raciales y nacionales [16] [17] .

Familia

Madre - Ariadna Artemyevna, hija del escritor Artemy Ilyich Ershov .

Está casado y tiene tres hijos [18] . El hermano mayor es el académico V. L. Makarov (nacido en 1937).

Intereses científicos

Los principales resultados de Yu.L.Ershov fueron la solución del problema clásico de la decidibilidad de la teoría elemental de campos de los números p -ádicos y la creación de una teoría general de la numeración , que ha encontrado numerosas aplicaciones en la lógica matemática . En particular, uno de los resultados de la teoría de la numeración fue la construcción de una categoría de -espacios, con la ayuda de la cual se puede construir un modelo consistente del cálculo λ sin tipo , que en muchos aspectos es más conveniente que la topología de Scott [19 ] .

Obras principales

Notas

  1. ↑ 1 2 Ershov Yuri Leonidovich // Gran enciclopedia soviética : [en 30 volúmenes] / ed. AM Prokhorov - 3ª ed. — M .: Enciclopedia soviética , 1969.
  2. ↑ Alumno de Maltsev . Consultado el 6 de julio de 2017. Archivado desde el original el 30 de diciembre de 2018.
  3. ↑ Primeros diplomas . Consultado el 12 de agosto de 2013. Archivado desde el original el 30 de diciembre de 2018.
  4. ↑ El primero de los graduados de NSU, Yu. L. Ershov, defendió su tesis doctoral (03/05/1966) . Sucursal de la Biblioteca Pública Estatal Científica y Técnica de la Sucursal Siberiana de la Academia Rusa de Ciencias . Consultado el 29 de diciembre de 2018. Archivado desde el original el 30 de diciembre de 2018.
  5. ↑ ERSHOV Yuri Leonidovich  (enlace inaccesible)
  6. ↑ [1] Anita Burdman Feferman y Solomon Feferman, Alfred Tarski: Vida y lógica. Prensa de la Universidad de Cambridge, 2004, ISBN 0-521-80240-7 ; páginas. 363-365
  7. ↑ El mandamiento del alumno es la pasión por la ciencia . Consultado el 12 de agosto de 2013. Archivado desde el original el 30 de diciembre de 2018.
  8. ↑ Lista de los galardonados con el Premio A. I. Maltsev en el sitio web de la Academia Rusa de Ciencias . Fecha de acceso: 14 de febrero de 2015. Archivado desde el original el 24 de septiembre de 2015.
  9. ↑ GRADUADOS DE NSU, RAS ACADEMICS Copia de archivo fechada el 4 de marzo de 2016 en Wayback Machine
  10. ↑ Decreto del Presidente de la Federación Rusa del 28 de abril de 2000 No. 774 “Sobre la concesión de la Orden al Mérito de la Patria, IV grado Yershov Yu. L.” . // Sitio web oficial del presidente de Rusia. Consultado el 22 de mayo de 2016. Archivado desde el original el 11 de junio de 2016.
  11. ↑ Decreto del presidente de la Federación Rusa del 13 de diciembre de 2003 No. 1481 Copia de archivo del 10 de mayo de 2013 en Wayback Machine
  12. ↑ Decreto del Presidente de la Federación Rusa del 16 de junio de 2010 No. 745  (enlace inaccesible)
  13. ↑ Orden del 25 de octubre de 2010 No. 1868-r “Sobre la concesión de premios del Gobierno de la Federación Rusa en 2010 en el campo de la educación”
  14. ↑ Premios Demidov 2013 . Consultado el 16 de mayo de 2014. Archivado desde el original el 7 de abril de 2022.
  15. ↑ Decreto del Presidente de la Federación Rusa del 20 de septiembre de 2016 No. 481 "Sobre la concesión de premios estatales de la Federación Rusa" . Consultado el 20 de septiembre de 2016. Archivado desde el original el 26 de septiembre de 2016.
  16. ↑ ÍNDICE DEL CARPETA hr-1980.tex  (inglés)  (enlace no disponible) . Universidad de Maryland . Consultado el 11 de agosto de 2013. Archivado desde el original el 20 de agosto de 2013.
  17. ↑ Anita Burdman Feferman, Solomon Feferman. Alfred Tarski: Vida y Lógica . - Cambridge University Press, 2004. - P. 363-365. — 425 págs. — ISBN 9780521802406 .
  18. ↑ Instituto de Matemáticas. S. L. Sobolev SB RAS . Consultado el 26 de octubre de 2009. Archivado desde el original el 28 de septiembre de 2009.
  19. ↑ Barendregt, Henk . Cálculo lambda. Su sintaxis y semántica = El Cálculo Lambda. Su sintaxis y semántica . — M .: Mir , 1985. — 606 p. - 4800 copias.

Enlaces

  Ir al elemento de Wikidata  sitios temáticos
diccionarios y enciclopedias
 Rectores de NSU