Ershov, Jurij Leonidovics

Jurij Leonidovics Ershov
angol  Jurij Leonidovics Ershov
Születési dátum 1940. május 1.( 1940-05-01 ) [1] (82 évesen)
Születési hely
Ország  Szovjetunió Oroszország 
Tudományos szféra matematika
Munkavégzés helye Matematikai Intézet SB RAS
alma Mater Novoszibirszki Állami Egyetem
Akadémiai fokozat A fizikai és matematikai tudományok doktora  ( 1965 )
Akadémiai cím Professzor ,
a Szovjetunió Tudományos Akadémia levelező tagja  ( 1970 )
, az Orosz Tudományos Akadémia akadémikusa  ( 1991 )
tudományos tanácsadója A. I. Malcev
Diákok SS Goncsarov , A. G. Pinus
Díjak és díjak
3. osztályú Hazáért Érdemrend 2010 A Hazáért Érdemrend 4. osztály - 2000
Alekszandr Nyevszkij-rend - 2016 A Munka Vörös Zászlójának Rendje A Becsületrend rendje
Az Orosz Föderáció Állami Díja - 2002 Az Orosz Föderáció kormányának díja az oktatás területén - 2010

Jurij Leonidovics Ersov ( 1940. május 1., Novoszibirszk ) szovjet és orosz matematikus , az Orosz Tudományos Akadémia akadémikusa (1991), a fizikai és matematikai tudományok doktora , professzor , az Orosz Tudományos Akadémia tanácsadója, az Orosz Tudományos Akadémia vezetője . Szibériai algebrai és logikai iskola .

Életrajz

Vasútmérnök családban született.

A középiskolát ezüstéremmel fejezte be, az utolsó osztályban a geológia iránti régóta fennálló érdeklődését az egzakt tudományok váltották fel. A Moszkvai Fizikai és Technológiai Intézetbe való belépés nélkül (a felvételi vizsgán elégtelen osztályzatot kapott - fizikából szóbeli [2] ), egy évig körhintaforgatóként dolgozott a novoszibirszki Chkalov üzemben , majd 1958-ban beiratkozott a karra. a Tomszki Állami Egyetem mechanika és matematika szakán , de 1961-ben átigazolt a Novoszibirszki Állami Egyetemre , ahol 1963-ban kitüntetéssel végzett (első érettségi) [3] .

Még az NSU hallgatójaként ismertté vált a matematikusok körében új érdekes tudományos eredményeivel, és néhány hónappal az egyetem elvégzése után, 1963 - ban megvédte Ph.D. fokozatát . 1966. május 3-án Ershov az NSU-t végzettek közül elsőként védte meg doktori disszertációját "Elementary field theory" [4] címmel .

1967 és 2004 között a Szovjetunió Tudományos Akadémia Szibériai Kirendeltsége Matematikai Intézetének Matematikai Logikai Tanszékének vezetőjeként dolgozott .

1970. november 24-én a Szovjetunió Tudományos Akadémia Matematikai Tanszékének levelező tagjává választották.

1973 és 1976 között a Novoszibirszki Állami Egyetem Mechanikai és Matematikai Karának dékánja volt [5] .

1980 májusában a Fulbright program keretében az Egyesült Államokba látogatott . Ez a látogatás az amerikai matematikai körökben "Ershov-ügyként" [6] vált ismertté .

1985-ben Jurij Ershovot kinevezték a Novoszibirszki Állami Egyetem rektorává , aki az NSU első rektora lett a diplomások közül [7] . Ershov 1985 és 1993 között dolgozott ebben a pozícióban.

1992-ben elnyerte az Orosz Tudományos Akadémia AI Maltsev-díját a " Számozás elmélete" [8] monográfiájáért .

1991-től 2002-ig a Novoszibirszki Állami Egyetem Oktatási Matematikai és Információs Alapjai Kutatóintézetének igazgatója (1998-tól az Orosz Föderáció Oktatási Minisztériumának Diszkrét Matematikai és Informatikai Intézete ).

1991. december 7. óta az Orosz Tudományos Akadémia matematika, mechanika, informatika (matematika) szekciójának tagja [9] .

2000-ben megkapta a Hazáért Érdemrend IV. fokozatát – „az állam érdekében végzett szolgálataiért, sokéves eredményes tudományos és pedagógiai tevékenységéért [10] .

2002 óta - az Orosz Tudományos Akadémia Szibériai Kirendeltsége Matematikai Intézetének megbízott igazgatója . 2003 és 2011 között az Orosz Tudományos Akadémia Szibériai Kirendeltsége Matematikai Intézetének igazgatója .

Az Orosz Föderáció Tudományos és Technológiai Állami Díjának kitüntetettje 2002 -ben a "Többszörös normalizált mező" [11] című monográfiájáért .

2010-ben megkapta a Hazáért Érdemrend III. fokozatát [12] . Ugyanebben az évben az Orosz Föderáció kormányának oktatási díjának kitüntetettje lett "A logikai és matematikai oktatás kialakításának koncepciója a felsőoktatásban" [13] művek ciklusáért .

2013-ban Demidov-díjat kapott a matematikai logika fejlesztésében elért kiemelkedő teljesítményekért [14] .

2016-ban Alekszandr Nyevszkij-renddel tüntették ki [15] .

Yu. L. Ershov akadémikus az Orosz Tudományos Akadémia Szibériai Tagozata Matematikai és Informatikai Közös Akadémiai Tanácsának elnöke, a Disszertációs Tanács D 003.015.02 elnöke (szakterület: „01.01.06 – Matematikai logika, algebra és Számelmélet”) az Orosz Tudományos Akadémia Szibériai Fiókjának Matematikai Intézetében, valamint a Siberian Mathematical Journal és Journal of Algebra and Logic főszerkesztője .

Konfliktusok

Jeršov USA-ba érkezését a Fulbright program keretében piketések és nyilvános tiltakozások kísérték. A Berkeley-i Kaliforniai Egyetem és más egyetemek negyven matematikusa bojkottálta Jeršovot a Szovjetunióbeli zsidó kollégák elleni antiszemita politikában való részvételével kapcsolatban . Ezeket az előadásokat az amerikai média, különösen a The Boston Globe felfigyelte . A bojkottleveleket Henkin Julia és Raphael Robinson , John KellyStephen Dreben Putnam , Akiro Kanamori , Friedman , Richard Shore és számos más híres ember írta alá . tudósok. Ershov maga tagadta a vádakat, és azt állította, hogy munkája során soha nem faji és nemzeti előítéletek irányították [16] [17] .

Család

Anya - Ariadna Artemjevna, Artemy Ilyich Ershov író lánya .

Nős, három gyermeke van [18] . Az idősebb testvér V. L. Makarov akadémikus (született 1937-ben).

Tudományos érdeklődési kör

Yu. L. Ershov fő eredményei a p -adikus számok elemi térelmélete eldönthetőségének klasszikus problémájának megoldása és egy általános számozási elmélet megalkotása volt , amely számos alkalmazásra talált a matematikai logikában . Konkrétan a számelmélet egyik eredménye egy -terek kategóriájának felépítése volt, melynek segítségével a típus nélküli λ-kalkulus konzisztens modellje konstruálható meg, ami sok tekintetben kényelmesebb, mint Scott topológiája [19 ] .

Főbb munkái

Jegyzetek

  1. 1 2 Ershov Jurij Leonidovics // Nagy Szovjet Enciklopédia : [30 kötetben] / szerk. A. M. Prohorov – 3. kiadás. - M .: Szovjet Enciklopédia , 1969.
  2. Maltsev tanítványa . Letöltve: 2017. július 6. Az eredetiből archiválva : 2018. december 30.
  3. Első oklevelek . Letöltve: 2013. augusztus 12. Az eredetiből archiválva : 2018. december 30.
  4. Az NSU-ban végzettek közül az első, Yu. L. Ershov megvédte doktori disszertációját (1966.03.05.) . Az Orosz Tudományos Akadémia Szibériai Fióktelepe Állami Nyilvános Tudományos és Műszaki Könyvtárának fiókja . Letöltve: 2018. december 29. Az eredetiből archiválva : 2018. december 30.
  5. ERSHOV Jurij Leonidovics  (elérhetetlen link)
  6. [1] Anita Burdman Feferman és Solomon Feferman, Alfred Tarski: Élet és logika. Cambridge University Press, 2004, ISBN 0-521-80240-7 ; pp. 363-365
  7. A tanuló parancsa a tudomány iránti szenvedély . Letöltve: 2013. augusztus 12. Az eredetiből archiválva : 2018. december 30.
  8. Az A. I. Maltsev-díjjal kitüntetettek listája az Orosz Tudományos Akadémia honlapján . Hozzáférés időpontja: 2015. február 14. Az eredetiből archiválva : 2015. szeptember 24.
  9. NSU DIPLASTOK, RAS ACADEMICS Archív másolat 2016. március 4-én a Wayback Machine -nél
  10. Az Orosz Föderáció elnökének 2000. április 28-i 774. sz. rendelete „A Hazáért Érdemrend IV. fokozatának adományozásáról Yershov Yu. L.” . // Oroszország elnökének hivatalos honlapja. Letöltve: 2016. május 22. Az eredetiből archiválva : 2016. június 11.
  11. Az Orosz Föderáció elnökének 2003. december 13-i 1481. sz. rendelete A Wayback Machine 2013. május 10-i archív példánya
  12. Az Orosz Föderáció elnökének 2010. június 16-i 745. sz. rendelete  (hozzáférhetetlen hivatkozás)
  13. 2010. október 25-i, 1868-r számú rendelet „Az Orosz Föderáció kormányának 2010. évi díjak odaítéléséről az oktatás területén”
  14. Demidov-díjak 2013 . Letöltve: 2014. május 16. Az eredetiből archiválva : 2022. április 7..
  15. Az Orosz Föderáció elnökének 2016. szeptember 20-i 481. számú rendelete „Az Orosz Föderáció állami kitüntetéseinek odaítéléséről” . Letöltve: 2016. szeptember 20. Az eredetiből archiválva : 2016. szeptember 26..
  16. A BINDER TÁRGYMUTATÓJA hr-1980.tex  (angol)  (hivatkozás nem érhető el) . Marylandi Egyetem . Letöltve: 2013. augusztus 11. Az eredetiből archiválva : 2013. augusztus 20..
  17. Anita Burdman Feferman, Solomon Feferman. Alfred Tarski: Élet és logika . - Cambridge University Press, 2004. - P. 363-365. — 425 p. — ISBN 9780521802406 .
  18. Matematikai Intézet. S. L. Sobolev SB RAS . Letöltve: 2009. október 26. Az eredetiből archiválva : 2009. szeptember 28..
  19. Barendregt, Henk . Lambda kalkulus. Szintaxisa és szemantikája = The Lambda Calculus. Szintaxisa és szemantikája . — M .: Mir , 1985. — 606 p. - 4800 példány.

Linkek