Ershov, Yuri Leonidovich

Yuri Leonidovich Ershov
engelsk  Yuri Leonidovich Ershov
Fødselsdato 1. maj 1940( 1940-05-01 ) [1] (82 år)
Fødselssted
Land  USSR → Rusland 
Videnskabelig sfære matematik
Arbejdsplads Matematisk Institut SB RAS
Alma Mater Novosibirsk State University
Akademisk grad Doktor i fysiske og matematiske videnskaber  ( 1965 )
Akademisk titel Professor ,
korresponderende medlem af USSR Academy of Sciences  ( 1970 )
akademiker ved det russiske videnskabsakademi  ( 1991 )
videnskabelig rådgiver A. I. Maltsev
Studerende SS Goncharov , A. G. Pinus
Præmier og præmier
Fortjenstorden for Fædrelandet, 3. klasse - 2010 Fortjenstorden for Fædrelandet, 4. klasse - 2000
Alexander Nevskys orden - 2016 Arbejdets Røde Banner Orden Hædersordenen
Den Russiske Føderations statspris - 2002 Pris fra regeringen i Den Russiske Føderation inden for uddannelse - 2010

Yuri Leonidovich Ershov (født 1. maj 1940 , Novosibirsk ) er en sovjetisk og russisk matematiker , akademiker ved Det Russiske Videnskabsakademi (1991), doktor i fysiske og matematiske videnskaber , professor , rådgiver for Det Russiske Videnskabsakademi , leder af det russiske videnskabsakademi. Sibirisk skole for algebra og logik .

Biografi

Født ind i en familie af jernbaneingeniører.

Han dimitterede fra gymnasiet med en sølvmedalje, i den sidste klasse erstattede de eksakte videnskaber hans mangeårige interesse for geologi. Uden at komme ind på Moskva Institut for Fysik og Teknologi (han fik en utilfredsstillende karakter ved adgangsprøven - mundtlig i fysik [2] ), arbejdede han i et år som karruseldrejer på Chkalov-fabrikken i Novosibirsk og i 1958 kom han ind på fakultetet i mekanik og matematik ved Tomsk State University , men i 1961 overgik han til Novosibirsk State University , og dimitterede med udmærkelse i 1963 (første eksamen) [3] .

Mens han stadig var studerende på NSU , blev han kendt blandt matematikere for sine nye interessante videnskabelige resultater, og et par måneder efter sin eksamen fra universitetet, i 1963 , forsvarede han sin ph.d. Den 3. maj 1966 var Ershov den første af NSU-kandidaterne til at forsvare sin doktorafhandling om "Elementær feltteori" [4] .

Fra 1967 til 2004 arbejdede han som leder af Institut for Matematisk Logik ved Institut for Matematik i den sibiriske gren af ​​USSR Academy of Sciences .

Den 24. november 1970 blev han valgt til et tilsvarende medlem af USSR Academy of Sciences i Institut for Matematik.

Fra 1973 til 1976 tjente han som dekan for fakultetet for mekanik og matematik ved Novosibirsk State University [5] .

I maj 1980 besøgte han USA under Fulbright-programmet . Dette besøg blev kendt i amerikanske matematiske kredse som "The Ershov Affair" [6] .

I 1985 blev Yuri Ershov udnævnt til rektor for Novosibirsk State University og blev den første NSU-rektor blandt sine kandidater [7] . Ershov arbejdede i denne stilling fra 1985 til 1993.

I 1992 blev han tildelt AI Maltsev-prisen fra Det Russiske Videnskabsakademi for monografien "Teori om nummerering" [8] .

Fra 1991 til 2002 - Direktør for Forskningsinstituttet for Matematiske og Informationsgrundlag for Uddannelse ved Novosibirsk State University (siden 1998 - Institut for Diskret Matematik og Informatik under Undervisningsministeriet i Den Russiske Føderation ).

Siden 7. december 1991 - Medlem af det russiske videnskabsakademi i sektionen for matematik, mekanik, informatik (matematik) [9] .

I 2000 blev han tildelt Fortjenstordenen for Fædrelandet , IV grad - 'for tjenester til staten, mange års frugtbar videnskabelig og pædagogisk virksomhed [10] .

Siden 2002 - Fungerende direktør for Institut for Matematik i den sibiriske gren af ​​det russiske videnskabsakademi . Fra 2003 til 2011 - Direktør for Institut for Matematik i den sibiriske gren af ​​det russiske videnskabsakademi .

Modtager af Den Russiske Føderations statspris inden for videnskab og teknologi i 2002 for monografien "Multiple Normalized Fields" [11] .

I 2010 blev han tildelt Order of Merit for the Fatherland , III grad [12] . Samme år blev han prisvinder af den russiske føderations regerings pris inden for uddannelse for værkernes cyklus "Konceptet om dannelsen af ​​logisk og matematisk uddannelse i videregående uddannelser" [13] .

I 2013 modtog han Demidov-prisen for fremragende præstationer i udviklingen af ​​matematisk logik [14] .

I 2016 blev han tildelt Alexander Nevsky-ordenen [15] .

Akademiker Yu. L. Ershov er formand for det fælles akademiske råd for matematik og informatik i den sibiriske gren af ​​det russiske videnskabsakademi, formand for afhandlingsrådet D 003.015.02 (speciale "01.01.06 - Matematisk logik, algebra og Talteori") ved Institut for Matematik i den sibiriske gren af ​​det russiske videnskabsakademi og chefredaktør Siberian Mathematical Journal og Journal of Algebra and Logic .

Konflikter

Yershovs ankomst til USA under Fulbright-programmet blev ledsaget af strejker og offentlige protester. Fyrre matematikere ved University of California i Berkeley og andre universiteter boykottede Yershov i forbindelse med hans deltagelse i antisemitisk politik mod jødiske kolleger i USSR. Disse præstationer blev bemærket af de amerikanske medier, især af The Boston Globe . Boykotbreve blev underskrevet afHenkin Julia og Raphael Robinson , John KellyStephen Dreben Putnam , Akiro Kanamori , Friedman , Richard Shore og en række andre berømte videnskabsmænd. Ershov selv benægtede anklagerne og hævdede, at han aldrig i sit arbejde var blevet vejledt af racemæssige og nationale fordomme [16] [17] .

Familie

Mor - Ariadna Artemyevna, datter af forfatteren Artemy Ilyich Ershov .

Han er gift og har tre børn [18] . Den ældre bror er akademiker V. L. Makarov (født 1937).

Videnskabelige interesser

De vigtigste resultater af Yu. L. Ershov var løsningen af ​​det klassiske problem med afgøreligheden af ​​den elementære feltteori for p -adiske tal og skabelsen af ​​en generel teori om nummerering , som har fundet adskillige anvendelser i matematisk logik . Især et af resultaterne af nummereringsteorien var konstruktionen af ​​en kategori af -rum, ved hjælp af hvilken en konsistent model af den typeløse λ-regning kan konstrueres , hvilket i mange henseender er mere bekvemt end Scotts topologi [19 ] .

Hovedværker

Noter

  1. ↑ 1 2 Ershov Yuri Leonidovich // Great Soviet Encyclopedia : [i 30 bind] / red. A. M. Prokhorov - 3. udg. — M .: Soviet Encyclopedia , 1969.
  2. ↑ Elev af Maltsev . Hentet 6. juli 2017. Arkiveret fra originalen 30. december 2018.
  3. ↑ Første diplomer . Hentet 12. august 2013. Arkiveret fra originalen 30. december 2018.
  4. ↑ Den første af NSU-kandidaterne, Yu. L. Ershov, forsvarede sin doktorafhandling (05/03/1966) . Filial af statens offentlige videnskabelige og tekniske bibliotek i den sibiriske afdeling af det russiske videnskabsakademi . Hentet 29. december 2018. Arkiveret fra originalen 30. december 2018.
  5. ↑ ERSHOV Yuri Leonidovich  (utilgængeligt link)
  6. ↑ [1] Anita Burdman Feferman og Solomon Feferman, Alfred Tarski: Liv og logik. Cambridge University Press, 2004, ISBN 0-521-80240-7 ; pp. 363-365
  7. ↑ Elevens bud er passion for naturvidenskab . Hentet 12. august 2013. Arkiveret fra originalen 30. december 2018.
  8. ↑ Liste over dem, der er tildelt A. I. Maltsev-prisen på webstedet for det russiske videnskabsakademi . Dato for adgang: 14. februar 2015. Arkiveret fra originalen 24. september 2015.
  9. ↑ NSU GRADUATES, RAS ACADEMICS Arkiveksemplar dateret 4. marts 2016 på Wayback Machine
  10. ↑ Dekret fra præsidenten for Den Russiske Føderation af 28. april 2000 nr. 774 "Om tildeling af fortjenstordenen for Fædrelandet, IV grad Yershov Yu. L." . // Ruslands præsidents officielle hjemmeside. Hentet 22. maj 2016. Arkiveret fra originalen 11. juni 2016.
  11. ↑ Dekret fra præsidenten for Den Russiske Føderation af 13. december 2003 nr. 1481 Arkiveksemplar af 10. maj 2013 på Wayback Machine
  12. ↑ Dekret fra præsidenten for Den Russiske Føderation af 16. juni 2010 nr. 745  (utilgængeligt link)
  13. ↑ Bekendtgørelse af 25. oktober 2010 nr. 1868-r "Om tildeling af priser fra regeringen i Den Russiske Føderation i 2010 på uddannelsesområdet"
  14. ↑ Demidov-priserne 2013 . Hentet 16. maj 2014. Arkiveret fra originalen 7. april 2022.
  15. ↑ Dekret fra præsidenten for Den Russiske Føderation af 20. september 2016 nr. 481 "Om tildeling af statspriser fra Den Russiske Føderation" . Hentet 20. september 2016. Arkiveret fra originalen 26. september 2016.
  16. ↑ INDEX TO BINDER hr-1980.tex  (engelsk)  (link utilgængeligt) . University of Maryland . Hentet 11. august 2013. Arkiveret fra originalen 20. august 2013.
  17. ↑ Anita Burdman Feferman, Solomon Feferman. Alfred Tarski: Liv og logik . - Cambridge University Press, 2004. - S. 363-365. — 425 s. — ISBN 9780521802406 .
  18. ↑ Institut for Matematik. S. L. Sobolev SB RAS . Hentet 26. oktober 2009. Arkiveret fra originalen 28. september 2009.
  19. ↑ Barendregt, Henk . Lambdaregning. Dens syntaks og semantik = The Lambda Calculus. Dens syntaks og semantik . — M .: Mir , 1985. — 606 s. - 4800 eksemplarer.

Links

  Gå til Wikidata-elementet  Tematiske steder
Ordbøger og encyklopædier
 Rektorer for NSU