Ershov, Juri Leonidovitš

Juri Leonidovich Ershov
Englanti  Juri Leonidovich Ershov
Syntymäaika 1. toukokuuta 1940( 1940-05-01 ) [1] (82-vuotias)
Syntymäpaikka
Maa  Neuvostoliitto Venäjä 
Tieteellinen ala matematiikka
Työpaikka Matematiikan instituutti SB RAS
Alma mater Novosibirskin valtionyliopisto
Akateeminen tutkinto Fysikaalisten ja matemaattisten tieteiden tohtori  ( 1965 )
Akateeminen titteli Professori ,
Neuvostoliiton tiedeakatemian kirjeenvaihtajajäsen  ( 1970 )
Venäjän tiedeakatemian akateemikko  ( 1991 )
tieteellinen neuvonantaja A. I. Maltsev
Opiskelijat SS Goncharov , A. G. Pinus
Palkinnot ja palkinnot
Isänmaan ansiomerkki, 3. luokka - 2010 Isänmaan ansiomerkki, 4. luokka - 2000
Aleksanteri Nevskin ritarikunta - 2016 Työn punaisen lipun ritarikunta Kunniamerkin ritarikunta
Venäjän federaation valtionpalkinto - 2002 Venäjän federaation hallituksen koulutusalan palkinto - 2010

Juri Leonidovich Ershov (s . 1. toukokuuta 1940 , Novosibirsk ) on neuvosto- ja venäläinen matemaatikko , Venäjän tiedeakatemian akateemikko (1991), fysiikan ja matemaattisten tieteiden tohtori , professori , Venäjän tiedeakatemian neuvonantaja , tiedeakatemian johtaja Siperian algebran ja logiikan koulu .

Elämäkerta

Syntynyt rautatieinsinöörien perheeseen.

Hän valmistui lukiosta hopeamitalilla, loppuluokassa eksaktit tieteet korvasivat hänen pitkäaikaisen kiinnostuksensa geologiaan. Menemättä Moskovan fysiikan ja tekniikan instituuttiin (hän ​​sai epätyydyttävän arvosanan fysiikan pääsykokeesta - suullisesta [2] ), hän työskenteli vuoden karusellikääntäjänä Chkalovin tehtaalla Novosibirskissa ja vuonna 1958 hän tuli tiedekuntaan. Tomskin valtionyliopiston mekaniikan ja matematiikan kandidaatti , mutta vuonna 1961 hän siirtyi Novosibirskin valtionyliopistoon ja valmistui arvosanoin vuonna 1963 (ensimmäinen valmistuminen) [3] .

Vielä opiskellessaan NSU :ssa hän tuli tunnetuksi matemaatikoiden keskuudessa uusista mielenkiintoisista tieteellisistä tuloksistaan, ja muutama kuukausi yliopistosta valmistumisen jälkeen, vuonna 1963 , hän puolusti tohtorinsa . 3. toukokuuta 1966 Ershov oli ensimmäinen NSU:n valmistuneista, joka puolustaa väitöskirjaansa aiheesta "Elementary field theory" [4] .

Vuodesta 1967 vuoteen 2004 hän työskenteli matemaattisen logiikan osaston johtajana Neuvostoliiton tiedeakatemian Siperian osaston matematiikan instituutissa .

24. marraskuuta 1970 hänet valittiin Neuvostoliiton tiedeakatemian kirjeenvaihtajajäseneksi matematiikan osastolle.

Vuodesta 1973 vuoteen 1976 hän toimi Novosibirskin valtionyliopiston mekaniikan ja matematiikan tiedekunnan dekaanina [5] .

Toukokuussa 1980 hän vieraili Yhdysvalloissa Fulbright-ohjelman puitteissa . Tämä vierailu tuli tunnetuksi Yhdysvaltain matemaattisissa piireissä nimellä "Ershovin tapaus" [6] .

Vuonna 1985 Juri Ershov nimitettiin Novosibirskin valtionyliopiston rehtoriksi , ja hänestä tuli ensimmäinen NSU:n rehtori valmistuneiden joukosta [7] . Ershov työskenteli tässä tehtävässä vuosina 1985-1993.

Vuonna 1992 hänelle myönnettiin Venäjän tiedeakatemian AI Maltsev -palkinto monografiasta "Numeroinnin teoria" [8] .

Vuodesta 1991 vuoteen 2002 - Novosibirskin valtionyliopiston koulutuksen matemaattisten ja tietoisten perusteiden tutkimuslaitoksen johtaja (vuodesta 1998 - Venäjän federaation opetusministeriön diskreetin matematiikan ja informatiikan instituutti ).

7. joulukuuta 1991 lähtien - Venäjän tiedeakatemian jäsen matematiikan, mekaniikan, informatiikan (matematiikan) osastolla [9] .

Vuonna 2000 hänelle myönnettiin Isänmaan ansiomerkki , IV tutkinto - "työstä valtiolle, monivuotisesta hedelmällisestä tieteellisestä ja pedagogisesta toiminnasta [10] .

Vuodesta 2002 - Venäjän tiedeakatemian Siperian sivuliikkeen matematiikan instituutin vt. johtaja . Vuodesta 2003 vuoteen 2011 - Venäjän tiedeakatemian Siperian sivuliikkeen matematiikan instituutin johtaja .

Venäjän federaation valtion tieteen ja teknologian palkinnon saaja vuonna 2002 monografiassa "Multiple Normalized Fields" [11] .

Vuonna 2010 hänelle myönnettiin Isänmaan ansiomerkki , III astetta [12] . Samana vuonna hänestä tuli Venäjän federaation hallituksen koulutusalan palkinnon saaja teossyklistä "Loogisen ja matemaattisen koulutuksen muodostumisen käsite korkea-asteen koulutuksessa" [13] .

Vuonna 2013 hän sai Demidov-palkinnon erinomaisista saavutuksista matemaattisen logiikan kehittämisessä [14] .

Vuonna 2016 hän sai Aleksanteri Nevskin ritarikunnan [15] .

Akateemikko Yu. L. Ershov on Venäjän tiedeakatemian Siperian osaston matematiikan ja informatiikan yhteisen akateemisen neuvoston puheenjohtaja, väitöskirjaneuvoston puheenjohtaja D 003.015.02 (erikoisuus "01.01.06 - Matemaattinen logiikka, algebra ja Numeroteoria”) Venäjän tiedeakatemian Siperian sivuliikkeen matematiikan instituutissa ja päätoimittaja Siberian Mathematical Journal and Journal of Algebra and Logic .

Ristiriidat

Yershovin saapuminen Yhdysvaltoihin Fulbright-ohjelman puitteissa seurasi pikettejä ja julkisia mielenosoituksia. Neljäkymmentä matemaatikkoa Kalifornian yliopistossa Berkeleyssä ja muissa yliopistoissa boikotoivat Jeršovia hänen osallistuessaan juutalaisvastaiseen politiikkaan Neuvostoliiton juutalaisia ​​kollegoita vastaan. Nämä esitykset panivat merkille amerikkalaiset tiedotusvälineet, erityisesti The Boston Globe . Boikottikirjeet allekirjoittivat Henkin , Julia ja Raphael Robinson John KellyStephen Dreben Putnam , Akiro Kanamori , Hartley ( Richard Shore ( ja joukko muita kuuluisia tiedemiehet. Ershov itse kiisti syytökset ja väitti, ettei hän ollut koskaan työssään ohjannut rotuja ja kansallisia ennakkoluuloja [16] [17] .

Perhe

Äiti - Ariadna Artemjevna, kirjailija Artemy Ilyich Ershovin tytär .

Hän on naimisissa ja hänellä on kolme lasta [18] . Vanhempi veli on akateemikko V. L. Makarov (s. 1937).

Tieteelliset kiinnostuksen kohteet

Yu. L. Ershovin päätulokset olivat p -adisten lukujen alkeiskenttäteorian ratkeavuuden klassisen ongelman ratkaisu ja yleisen numerointiteorian luominen , joka on löytänyt lukuisia sovelluksia matemaattisessa logiikassa . Erityisesti yksi numerointiteorian tuloksista oli -avaruuskategorian rakentaminen, jonka avulla voidaan rakentaa tyypitttömästä λ-laskennasta johdonmukainen malli , joka on monessa suhteessa Scottin topologiaa kätevämpi [19] . ] .

Pääteokset

Muistiinpanot

  1. 1 2 Ershov Juri Leonidovitš // Suuri Neuvostoliiton Encyclopedia : [30 nidettä] / toim. A. M. Prokhorov - 3. painos. - M .: Neuvostoliiton tietosanakirja , 1969.
  2. Maltsevin oppilas . Haettu 6. heinäkuuta 2017. Arkistoitu alkuperäisestä 30. joulukuuta 2018.
  3. Ensimmäiset tutkintotodistukset . Haettu 12. elokuuta 2013. Arkistoitu alkuperäisestä 30. joulukuuta 2018.
  4. Ensimmäinen NSU:n valmistuneista, Yu. L. Ershov, puolusti väitöskirjaansa (03.5.1966) . Venäjän tiedeakatemian Siperian sivuliikkeen valtion julkisen tieteellisen ja teknisen kirjaston sivuliike . Haettu 29. joulukuuta 2018. Arkistoitu alkuperäisestä 30. joulukuuta 2018.
  5. ERSHOV Juri Leonidovich  (pääsemätön linkki)
  6. [1] Anita Burdman Feferman ja Solomon Feferman, Alfred Tarski: Elämä ja logiikka. Cambridge University Press, 2004, ISBN 0-521-80240-7 ; s. 363-365
  7. Opiskelijan käsky on intohimo tieteeseen . Haettu 12. elokuuta 2013. Arkistoitu alkuperäisestä 30. joulukuuta 2018.
  8. Luettelo A. I. Maltsev - palkinnon saajista Venäjän tiedeakatemian verkkosivuilla . Käyttöpäivä: 14. helmikuuta 2015. Arkistoitu alkuperäisestä 24. syyskuuta 2015.
  9. NSU DIREATES, RAS ACADEMICS Arkistokopio päivätty 4. maaliskuuta 2016 Wayback Machinessa
  10. Venäjän federaation presidentin asetus, 28. huhtikuuta 2000, nro 774 "Isänmaan ansiomerkki, IV asteen Yershov Yu. L." . // Venäjän presidentin virallinen verkkosivusto. Haettu 22. toukokuuta 2016. Arkistoitu alkuperäisestä 11. kesäkuuta 2016.
  11. Venäjän federaation presidentin asetus 13. joulukuuta 2003 nro 1481 Arkistokopio 10. toukokuuta 2013 Wayback Machinessa
  12. Venäjän federaation presidentin asetus, 16. kesäkuuta 2010, nro 745  (linkki ei saavutettavissa)
  13. Määräys 25. lokakuuta 2010 nro 1868-r "Venäjän federaation hallituksen palkintojen myöntämisestä vuonna 2010 koulutusalalla"
  14. Demidov-palkinnot 2013 . Haettu 16. toukokuuta 2014. Arkistoitu alkuperäisestä 7. huhtikuuta 2022.
  15. Venäjän federaation presidentin asetus, 20. syyskuuta 2016, nro 481 "Venäjän federaation valtionpalkintojen myöntämisestä" . Haettu 20. syyskuuta 2016. Arkistoitu alkuperäisestä 26. syyskuuta 2016.
  16. HAKEMISTO BINDERIN hr-1980.tex  (englanniksi)  (linkki ei ole käytettävissä) . Marylandin yliopisto . Haettu 11. elokuuta 2013. Arkistoitu alkuperäisestä 20. elokuuta 2013.
  17. Anita Burdman Feferman, Solomon Feferman. Alfred Tarski: Elämä ja logiikka . - Cambridge University Press, 2004. - P. 363-365. — 425 s. — ISBN 9780521802406 .
  18. Matematiikan instituutti. S. L. Sobolev SB RAS . Haettu 26. lokakuuta 2009. Arkistoitu alkuperäisestä 28. syyskuuta 2009.
  19. Barendregt, Henk . Lambda-laskenta. Sen syntaksi ja semantiikka = The Lambda Calculus. Sen syntaksi ja semantiikka . — M .: Mir , 1985. — 606 s. - 4800 kappaletta.

Linkit