Ershov, Yuri Leonidovici

Iuri Leonidovici Erșov
Engleză  Iuri Leonidovici Erșov
Data nașterii 1 mai 1940( 01.05.1940 ) [1] (82 de ani)
Locul nașterii
Țară  URSS → Rusia 
Sfera științifică matematica
Loc de munca Institutul de Matematică SB RAS
Alma Mater Universitatea de Stat din Novosibirsk
Grad academic Doctor în științe fizice și matematice  ( 1965 )
Titlu academic Profesor ,
membru corespondent al Academiei de Științe a URSS  ( 1970 )
Academician al Academiei de Științe a Rusiei  ( 1991 )
consilier științific A. I. Maltsev
Elevi SS Goncharov , A. G. Pinus
Premii și premii
Ordinul Meritul pentru Patrie, clasa a III-a - 2010 Ordinul Meritul pentru Patrie, clasa a IV-a - 2000
Ordinul lui Alexandru Nevski - 2016 Ordinul Steagul Roșu al Muncii Ordinul Insigna de Onoare
Premiul de Stat al Federației Ruse - 2002 Premiul Guvernului Federației Ruse în domeniul educației - 2010

Yuri Leonidovich Ershov (născut la 1 mai 1940 , Novosibirsk ) este un matematician sovietic și rus , academician al Academiei de Științe Ruse (1991), doctor în științe fizice și matematice , profesor , consilier al Academiei Ruse de Științe , conducător al Academiei Ruse de Științe. Școala siberiană de algebră și logică .

Biografie

Născut într-o familie de ingineri feroviari.

A absolvit liceul cu medalie de argint, la clasa finală, științele exacte i-au înlocuit vechiul interes pentru geologie. Fără să intre la Institutul de Fizică și Tehnologie din Moscova (a primit o notă nesatisfăcătoare la examenul de admitere - oral la fizică [2] ), a lucrat timp de un an ca strunjător de carusele la uzina Chkalov din Novosibirsk și în 1958 a intrat la Facultate de Mecanică și Matematică a Universității de Stat din Tomsk , dar în 1961 s-a transferat la Universitatea de Stat din Novosibirsk , absolvind cu onoare în 1963 (prima absolvire) [3] .

Pe când era încă student la NSU , a devenit cunoscut printre matematicieni pentru noile sale rezultate științifice interesante și la câteva luni după absolvirea universității, în 1963 , și - a susținut doctoratul. La 3 mai 1966, Ershov a fost primul dintre absolvenții NSU care și-a susținut teza de doctorat despre „Teoria elementară a câmpului” [4] .

Din 1967 până în 2004 a lucrat ca șef al Departamentului de Logică Matematică la Institutul de Matematică al Filialei Siberiei a Academiei de Științe a URSS .

La 24 noiembrie 1970, a fost ales membru corespondent al Academiei de Științe a URSS în cadrul Departamentului de Matematică.

Din 1973 până în 1976 a ocupat funcția de decan al Facultății de Mecanică și Matematică a Universității de Stat din Novosibirsk [5] .

În mai 1980, a vizitat SUA în cadrul programului Fulbright . Această vizită a devenit cunoscută în cercurile matematice din SUA sub numele de „Afacerea Ershov” [6] .

În 1985, Yuri Ershov a fost numit rector al Universității de Stat din Novosibirsk , devenind primul rector al NSU dintre absolvenții săi [7] . Ershov a lucrat în această poziție din 1985 până în 1993.

În 1992 a fost distins cu Premiul AI Maltsev al Academiei Ruse de Științe pentru monografia „Teoria numerotării” [8] .

Din 1991 până în 2002 - Director al Institutului de Cercetare a Fundațiilor Matematice și Informaționale ale Educației de la Universitatea de Stat din Novosibirsk (din 1998 - Institutul de Matematică Discretă și Informatică al Ministerului Educației al Federației Ruse ).

Din 7 decembrie 1991 - Membru al Academiei Ruse de Științe la Secția de Matematică, Mecanică, Informatică (Matematică) [9] .

În anul 2000 a fost distins cu Ordinul Meritul pentru Patrie , gradul IV - „pentru servicii aduse statului, mulți ani de rodnică activitate științifică și pedagogică [10] .

Din 2002 - Director interimar al Institutului de Matematică al Filialei Siberiei a Academiei Ruse de Științe . Din 2003 până în 2011 - Director al Institutului de Matematică al Filialei Siberiei a Academiei Ruse de Științe .

Laureat al Premiului de Stat al Federației Ruse în domeniul științei și tehnologiei în 2002 pentru monografia „Multiple Normalized Fields” [11] .

În 2010 a fost distins cu Ordinul de Merit pentru Patrie , gradul III [12] . În același an a devenit laureat al Premiului Guvernului Federației Ruse în domeniul educației pentru ciclul de lucrări „Conceptul de formare a educației logice și matematice în învățământul superior” [13] .

În 2013 a primit Premiul Demidov pentru realizări remarcabile în dezvoltarea logicii matematice [14] .

În 2016 a fost distins cu Ordinul Alexandru Nevski [15] .

Academicianul Yu. L. Ershov este Președintele Consiliului Academic Comun pentru Matematică și Informatică al Filialei Siberiei a Academiei Ruse de Științe, Președintele Consiliului de disertație D 003.015.02 (specialitatea „01.01.06 — Logica matematică, algebră și Teoria numerelor”) la Institutul de Matematică al Filialei Siberiei a Academiei Ruse de Științe și redactor-șef Siberian Mathematical Journal și Journal of Algebra and Logic .

Conflicte

Sosirea lui Yershov în SUA în cadrul programului Fulbright a fost însoțită de pichete și proteste publice. Patruzeci de matematicieni de la Universitatea din California din Berkeley și alte universități l- au boicotat pe Yershov în legătură cu participarea sa la politica antisemită împotriva colegilor evrei din URSS. Aceste spectacole au fost remarcate de presa americană, în special de The Boston Globe . Scrisorile de boicot au fost semnate deHenkin Julia și Raphael Robinson , John KellyStephen Dreben Putnam , Akiro Kanamori , Friedman , Richard Shore și o serie de alți faimoși . oameni de știință. Ershov însuși a negat acuzațiile și a susținut că nu a fost niciodată ghidat în munca sa de prejudecăți rasiale și naționale [16] [17] .

Familie

Mama - Ariadna Artemievna, fiica scriitorului Artemy Ilici Ershov .

Este căsătorit și are trei copii [18] . Fratele mai mare este academicianul V. L. Makarov (născut în 1937).

Interese științifice

Principalele rezultate ale lui Yu. L. Ershov au fost soluționarea problemei clasice a decidabilității teoriei elementare de câmp a numerelor p -adice și crearea unei teorii generale a numerotației , care și-a găsit numeroase aplicații în logica matematică . În special, unul dintre rezultatele teoriei numerotării a fost construirea unei categorii de spații, cu ajutorul căreia se poate construi un model consistent al calculului λ fără tip , care în multe privințe este mai convenabil decât topologia lui Scott [19]. ] .

Lucrări principale

Note

  1. ↑ 1 2 Ershov Yuri Leonidovici // Marea Enciclopedie Sovietică : [în 30 de volume] / ed. A. M. Prokhorov - ed. a III-a. — M .: Enciclopedia sovietică , 1969.
  2. ↑ Elevul lui Maltsev . Preluat la 6 iulie 2017. Arhivat din original la 30 decembrie 2018.
  3. ↑ Primele diplome . Preluat la 12 august 2013. Arhivat din original la 30 decembrie 2018.
  4. ↑ Primul dintre absolvenții NSU, Yu. L. Ershov, și-a susținut teza de doctorat (05.03.1966) . Filiala Bibliotecii Publice Științifice și Tehnice de Stat a Filialei Siberiei a Academiei Ruse de Științe . Preluat la 29 decembrie 2018. Arhivat din original la 30 decembrie 2018.
  5. ↑ ERSHOV Yuri Leonidovich  (link inaccesibil)
  6. ↑ [1] Anita Burdman Feferman și Solomon Feferman, Alfred Tarski: Viață și logică. Cambridge University Press, 2004, ISBN 0-521-80240-7 ; pp. 363-365
  7. ↑ Porunca elevului este pasiunea pentru știință . Preluat la 12 august 2013. Arhivat din original la 30 decembrie 2018.
  8. ↑ Lista celor premiați cu Premiul A. I. Maltsev pe site-ul Academiei Ruse de Științe . Data accesului: 14 februarie 2015. Arhivat din original pe 24 septembrie 2015.
  9. ↑ Absolvenții NSU, RAS ACADEMICS Copie de arhivă din 4 martie 2016 la Wayback Machine
  10. ↑ Decretul Președintelui Federației Ruse din 28 aprilie 2000 Nr. 774 „Cu privire la acordarea Ordinului de Merit pentru Patrie, gradul IV Yershov Yu. L.” . // Site-ul oficial al președintelui Rusiei. Preluat la 22 mai 2016. Arhivat din original la 11 iunie 2016.
  11. ↑ Decretul președintelui Federației Ruse din 13 decembrie 2003 nr. 1481 Copie de arhivă din 10 mai 2013 privind Wayback Machine
  12. ↑ Decretul președintelui Federației Ruse din 16 iunie 2010 nr. 745  (link inaccesibil)
  13. ↑ Ordinul din 25 octombrie 2010 nr. 1868-r „Cu privire la acordarea premiilor Guvernului Federației Ruse în 2010 în domeniul educației”
  14. ↑ Premiile Demidov 2013 . Preluat la 16 mai 2014. Arhivat din original la 7 aprilie 2022.
  15. ↑ Decretul Președintelui Federației Ruse din 20 septembrie 2016 Nr. 481 „Cu privire la acordarea premiilor de stat ale Federației Ruse” . Consultat la 20 septembrie 2016. Arhivat din original pe 26 septembrie 2016.
  16. ↑ INDEX TO BINDER hr-1980.tex  (engleză)  (link indisponibil) . Universitatea din Maryland . Preluat la 11 august 2013. Arhivat din original la 20 august 2013.
  17. ↑ Anita Burdman Feferman, Solomon Feferman. Alfred Tarski: Viață și logică . - Cambridge University Press, 2004. - P. 363-365. — 425 p. — ISBN 9780521802406 .
  18. ↑ Institutul de Matematică. S. L. Sobolev SB RAS . Consultat la 26 octombrie 2009. Arhivat din original pe 28 septembrie 2009.
  19. ↑ Barendregt, Henk . Calcul lambda. Sintaxa și semantica sa = The Lambda Calculus. Sintaxa și semantica sa . — M .: Mir , 1985. — 606 p. - 4800 de exemplare.

Link -uri

  Accesați articolul Wikidata  Site-uri tematice
Dicționare și enciclopedii
 Rectorii NSU