Ershov, Yuri Leonidovich

Yuri Leonidovich Ershov
engelsk  Yuri Leonidovich Ershov
Födelsedatum 1 maj 1940( 1940-05-01 ) [1] (82 år gammal)
Födelseort
Land  Sovjetunionen Ryssland 
Vetenskaplig sfär matte
Arbetsplats Matematikinstitutet SB RAS
Alma mater Novosibirsk State University
Akademisk examen Doktor i fysikaliska och matematiska vetenskaper  ( 1965 )
Akademisk titel Professor ,
motsvarande medlem av USSR Academy of Sciences  ( 1970 )
akademiker vid Ryska vetenskapsakademin  ( 1991 )
vetenskaplig rådgivare A. I. Maltsev
Studenter SS Goncharov , A. G. Pinus
Utmärkelser och priser
Alexander Nevskijs orden - 2016 Orden för Arbetets Röda Banner Hedersorden
Ryska federationens statliga pris - 2002 Pris från Ryska federationens regering inom utbildningsområdet - 2010

Yuri Leonidovich Ershov (född 1 maj 1940 , Novosibirsk ) är en sovjetisk och rysk matematiker , akademiker vid Ryska vetenskapsakademin (1991), doktor i fysikaliska och matematiska vetenskaper , professor , rådgivare till Ryska vetenskapsakademin , ledare för Sibirisk skola för algebra och logik .

Biografi

Född i en familj av järnvägsingenjörer.

Han gick ut gymnasiet med en silvermedalj, i sista klassen ersatte de exakta vetenskaperna hans långvariga intresse för geologi. Utan att komma in på Moskvas institut för fysik och teknik (han fick ett otillfredsställande betyg på inträdesprovet - muntligt i fysik [2] ), arbetade han ett år som karusellvändare vid Chkalov-fabriken i Novosibirsk och 1958 kom han in på fakulteten of Mechanics and Mathematics of Tomsk State University , men 1961 övergick han till Novosibirsk State University , och tog examen med utmärkelser 1963 (första examen) [3] .

Medan han fortfarande studerade vid NSU , blev han känd bland matematiker för sina nya intressanta vetenskapliga resultat, och några månader efter examen från universitetet, 1963 , försvarade han sin doktorsexamen. Den 3 maj 1966 var Ershov den första av NSU-studenterna som försvarade sin doktorsavhandling om "Elementär fältteori" [4] .

Från 1967 till 2004 arbetade han som chef för institutionen för matematisk logik vid Institutet för matematik vid den sibiriska grenen av USSR Academy of Sciences .

Den 24 november 1970 valdes han till motsvarande medlem av USSR Academy of Sciences vid Institutionen för matematik.

Från 1973 till 1976 tjänstgjorde han som dekanus för fakulteten för mekanik och matematik vid Novosibirsk State University [5] .

I maj 1980 besökte han USA under Fulbright-programmet . Detta besök blev känt i amerikanska matematiska kretsar som "The Ershov Affair" [6] .

År 1985 utsågs Yuri Ershov till rektor för Novosibirsk State University , och blev den första NSU-rektorn bland dess utexaminerade [7] . Ershov arbetade i denna position från 1985 till 1993.

1992 tilldelades han Ryska vetenskapsakademiens AI Maltsev-pris för monografin "Theory of Numbering" [8] .

Från 1991 till 2002 - Direktör för forskningsinstitutet för matematiska och informativa grunder för utbildning vid Novosibirsk State University (sedan 1998 - Institutet för diskret matematik och informatik vid Ryska federationens utbildningsministerium ).

Sedan den 7 december 1991 - Medlem av den ryska vetenskapsakademin i sektionen för matematik, mekanik, informatik (matematik) [9] .

År 2000 tilldelades han Order of Merit for the Fatherland , IV-grad - 'för tjänster till staten, många år av fruktbar vetenskaplig och pedagogisk verksamhet [10] .

Sedan 2002 - Tillförordnad direktör för Matematikinstitutet i den sibiriska grenen av den ryska vetenskapsakademin . Från 2003 till 2011 - Direktör för institutet för matematik vid den sibiriska grenen av den ryska vetenskapsakademin .

Pristagare av Ryska federationens statliga pris inom vetenskap och teknik 2002 för monografin "Multiple Normalized Fields" [11] .

2010 tilldelades han Order of Merit for the Fatherland , III grad [12] . Samma år blev han pristagare av Ryska federationens regerings pris inom utbildningsområdet för arbetscykeln "Begreppet bildandet av logisk och matematisk utbildning i högre utbildning" [13] .

2013 fick han Demidov-priset för enastående prestationer i utvecklingen av matematisk logik [14] .

2016 tilldelades han Alexander Nevskijs orden [15] .

Akademikern Yu. L. Ershov är ordförande för det gemensamma akademiska rådet för matematik och informatik i den sibiriska grenen av den ryska vetenskapsakademin, ordförande för avhandlingsrådet D 003.015.02 (specialitet "01.01.06 - Matematisk logik, algebra och Talteori”) vid Institute of Mathematics of the Siberian Branch of the Russian Academy of Sciences och chefredaktör Siberian Mathematical Journal and Journal of Algebra and Logic .

Konflikter

Yershovs ankomst till USA under Fulbright-programmet åtföljdes av strejkvakter och offentliga protester. Fyrtio matematiker vid University of California i Berkeley och andra universitet bojkottade Yershov i samband med hans deltagande i antisemitisk politik mot judiska kollegor i Sovjetunionen. Dessa framträdanden noterades av amerikanska medier, i synnerhet av The Boston Globe . Bojkottbrev undertecknades avHenkin Julia och Raphael Robinson , John KellyStephen Dreben Putnam , Akiro Kanamori , Friedman eng , Richard Shore och ett antal andra kända forskare. Ershov själv förnekade anklagelserna och hävdade att han aldrig i sitt arbete hade vägletts av rasistiska och nationella fördomar [16] [17] .

Familj

Mor - Ariadna Artemyevna, dotter till författaren Artemy Ilyich Ershov .

Han är gift och har tre barn [18] . Den äldre brodern är akademiker V. L. Makarov (född 1937).

Vetenskapliga intressen

De viktigaste resultaten av Yu. L. Ershov var lösningen av det klassiska problemet med avgörbarheten av den elementära fältteorin för p -adiska tal och skapandet av en allmän teori om numrering , som har hittat många tillämpningar inom matematisk logik . I synnerhet var ett av resultaten av numreringsteorin konstruktionen av en kategori av -rum, med hjälp av vilken en konsekvent modell av den typlösa λ-kalkylen kan konstrueras , vilket i många avseenden är bekvämare än Scotts topologi [19 ] .

Huvudverk

Anteckningar

  1. 1 2 Ershov Jurij Leonidovich // Stora sovjetiska encyklopedien : [i 30 volymer] / ed. A. M. Prokhorov - 3:e uppl. — M .: Soviet Encyclopedia , 1969.
  2. Elev av Maltsev . Hämtad 6 juli 2017. Arkiverad från originalet 30 december 2018.
  3. Första diplom . Hämtad 12 augusti 2013. Arkiverad från originalet 30 december 2018.
  4. Den första av NSU-studenterna, Yu. L. Ershov, försvarade sin doktorsavhandling (1966-03-05) . Filial till det statliga offentliga vetenskapliga och tekniska biblioteket för den sibiriska grenen av den ryska vetenskapsakademin . Hämtad 29 december 2018. Arkiverad från originalet 30 december 2018.
  5. ERSHOV Yuri Leonidovich  (otillgänglig länk)
  6. [1] Anita Burdman Feferman och Solomon Feferman, Alfred Tarski: Liv och logik. Cambridge University Press, 2004, ISBN 0-521-80240-7 ; pp. 363-365
  7. ↑ Elevens bud är passion för naturvetenskap . Hämtad 12 augusti 2013. Arkiverad från originalet 30 december 2018.
  8. Lista över dem som tilldelats A. I. Maltsev-priset på Ryska vetenskapsakademins webbplats . Tillträdesdatum: 14 februari 2015. Arkiverad från originalet 24 september 2015.
  9. NSU GRADUATES, RAS ACADEMICS Arkivexemplar daterad 4 mars 2016 på Wayback Machine
  10. Dekret från Ryska federationens president av den 28 april 2000 nr 774 "Om tilldelning av förtjänstorden för fosterlandet, IV grad Yershov Yu. L." . // Rysslands presidents officiella webbplats. Hämtad 22 maj 2016. Arkiverad från originalet 11 juni 2016.
  11. Dekret från Ryska federationens president av den 13 december 2003 nr 1481 Arkivexemplar av den 10 maj 2013 på Wayback Machine
  12. Dekret från Ryska federationens president av den 16 juni 2010 nr 745  (otillgänglig länk)
  13. Order av den 25 oktober 2010 nr 1868-r "Om tilldelningen av priser från Ryska federationens regering 2010 inom utbildningsområdet"
  14. Demidov-priserna 2013 . Hämtad 16 maj 2014. Arkiverad från originalet 7 april 2022.
  15. Dekret från Ryska federationens president av den 20 september 2016 nr 481 "Om tilldelning av Ryska federationens statliga utmärkelser" . Hämtad 20 september 2016. Arkiverad från originalet 26 september 2016.
  16. INDEX TILL BINDER hr-1980.tex  (engelska)  (länk ej tillgänglig) . University of Maryland . Hämtad 11 augusti 2013. Arkiverad från originalet 20 augusti 2013.
  17. Anita Burdman Feferman, Solomon Feferman. Alfred Tarski: Liv och logik . - Cambridge University Press, 2004. - S. 363-365. — 425 sid. — ISBN 9780521802406 .
  18. Institutet för matematik. S. L. Sobolev SB RAS . Hämtad 26 oktober 2009. Arkiverad från originalet 28 september 2009.
  19. Barendregt, Henk . Lambdakalkyl. Dess syntax och semantik = The Lambda Calculus. Dess syntax och semantik . — M .: Mir , 1985. — 606 sid. - 4800 exemplar.

Länkar