Eršov, Jurij Leonidovič

Jurij Leonidovič Eršov
Angličtina  Jurij Leonidovič Eršov
Datum narození 1. května 1940( 1940-05-01 ) [1] (ve věku 82 let)
Místo narození
Země  SSSR → Rusko 
Vědecká sféra matematika
Místo výkonu práce Matematický ústav SB RAS
Alma mater Novosibirská státní univerzita
Akademický titul doktor fyzikálních a matematických věd  ( 1965 )
Akademický titul Profesor ,
člen korespondent Akademie věd SSSR  ( 1970 )
Akademik Ruské akademie věd  ( 1991 )
vědecký poradce A. I. Malcev
Studenti SS Gončarov , A. G. Pinus
Ocenění a ceny
Řád za zásluhy o vlast, 3. třída - 2010 Řád za zásluhy o vlast, 4. třída - 2000
Řád Alexandra Něvského - 2016 Řád rudého praporu práce Řád čestného odznaku
Státní cena Ruské federace - 2002 Cena vlády Ruské federace v oblasti vzdělávání - 2010

Yuri Leonidovich Ershov (narozen 1. května 1940 , Novosibirsk ) je sovětský a ruský matematik , akademik Ruské akademie věd (1991), doktor fyzikálních a matematických věd , profesor , poradce Ruské akademie věd , vůdce Ruské akademie věd. Sibiřská škola algebry a logiky .

Životopis

Narodil se v rodině železničních inženýrů.

Střední školu absolvoval se stříbrnou medailí, v závěrečné třídě exaktní vědy nahradily jeho dlouholetý zájem o geologii. Aniž by nastoupil na Moskevský fyzikálně- technologický institut (u přijímací zkoušky - ústní z fyziky [2] ), rok pracoval jako soustružník kolotočů v závodě Čkalov v Novosibirsku a v roce 1958 nastoupil na fakultu. mechaniky a matematiky na Tomské státní univerzitě , ale v roce 1961 přešel na Novosibirskou státní univerzitu , kterou v roce 1963 promoval s vyznamenáním (první promoce) [3] .

Ještě jako student NSU se stal známým mezi matematiky pro své nové zajímavé vědecké výsledky a několik měsíců po absolvování univerzity v roce 1963 obhájil titul Ph.D. 3. května 1966 Ershov jako první z absolventů NSU obhájil svou doktorskou práci na téma „Elementární teorie pole“ [4] .

V letech 1967 až 2004 působil jako vedoucí katedry matematické logiky v Ústavu matematiky Sibiřské pobočky Akademie věd SSSR .

24. listopadu 1970 byl zvolen členem korespondentem Akademie věd SSSR na katedře matematiky.

V letech 1973 až 1976 působil jako děkan Fakulty mechaniky a matematiky Novosibirské státní univerzity [5] .

V květnu 1980 navštívil USA v rámci Fulbrightova programu . Tato návštěva se stala známou v amerických matematických kruzích jako „Ershovova aféra“ [6] .

V roce 1985 byl Yuri Ershov jmenován rektorem Novosibirské státní univerzity a stal se prvním rektorem NSU z řad jejích absolventů [7] . Ershov pracoval v této pozici od roku 1985 do roku 1993.

V roce 1992 mu byla udělena cena AI ​​Maltseva Ruské akademie věd za monografii „Teorie číslování“ [8] .

Od roku 1991 do roku 2002 - ředitel Výzkumného ústavu matematických a informačních základů vzdělávání na Novosibirské státní univerzitě (od roku 1998 - Institut diskrétní matematiky a informatiky Ministerstva školství Ruské federace ).

Od 7. prosince 1991 - člen Ruské akademie věd v sekci matematiky, mechaniky, informatiky (matematika) [9] .

V roce 2000 byl vyznamenán Řádem za zásluhy o vlast IV. stupně – „za zásluhy o stát, mnohaletou plodnou vědeckou a pedagogickou činnost [10] .

Od roku 2002 - úřadující ředitel Ústavu matematiky sibiřské pobočky Ruské akademie věd . Od roku 2003 do roku 2011 - ředitel Ústavu matematiky sibiřské pobočky Ruské akademie věd .

Laureát Státní ceny Ruské federace v oblasti vědy a techniky za rok 2002 za monografii „Multiple Normalized Fields“ [11] .

V roce 2010 mu byl udělen Řád za zásluhy o vlast III. stupně [12] . V témže roce se stal laureátem Ceny vlády Ruské federace v oblasti vzdělávání za cyklus prací „Koncepce formování logického a matematického vzdělání ve vysokoškolském vzdělávání“ [13] .

V roce 2013 obdržel cenu Demidov za vynikající výsledky v rozvoji matematické logiky [14] .

V roce 2016 mu byl udělen Řád Alexandra Něvského [15] .

Akademik Yu. L. Ershov je předsedou Společné akademické rady pro matematiku a informatiku Sibiřské pobočky Ruské akademie věd, předseda Rady pro disertační práce D 003.015.02 (odbor „01.01.06 — Matematická logika, algebra a Teorie čísel”) v Ústavu matematiky sibiřské pobočky Ruské akademie věd a hlavní redaktor Siberian Mathematical Journal a Journal of Algebra and Logic .

Konflikty

Yershovův příjezd do USA v rámci Fulbrightova programu provázely demonstrace a veřejné protesty. Čtyřicet matematiků na Kalifornské univerzitě v Berkeley a dalších univerzitách Yershova bojkotovalo v souvislosti s jeho účastí v antisemitské politice proti židovským kolegům v SSSR. Tyto výkony zaznamenala americká média, zejména The Boston Globe . Bojkotové dopisy podepsali Leon , a Raphael Robinsonovi , John Kelly ,Smale , , Akiro Kanamori , Hartley ( ) , Shore ( a řada dalších slavných vědci. Sám Ershov obvinění popřel a tvrdil, že se ve své práci nikdy neřídil rasovými a národnostními předsudky [16] [17] .

Rodina

Matka - Ariadna Artemyevna, dcera spisovatele Artemy Ilyich Ershov .

Je ženatý a má tři děti [18] . Starším bratrem je akademik V. L. Makarov (narozen 1937).

Vědecké zájmy

Hlavními výsledky Yu.L. Ershova bylo řešení klasického problému rozhodnutelnosti elementární teorie pole p -adických čísel a vytvoření obecné teorie číslování , která našla četné aplikace v matematické logice . Zejména jedním z výsledků teorie číslování byla konstrukce kategorie -prostorů, s jejíž pomocí lze sestavit konzistentní model beztypového λ-kalkulu , který je v mnoha ohledech pohodlnější než Scottova topologie [19 ] .

Hlavní práce

Poznámky

  1. ↑ 1 2 Ershov Jurij Leonidovič // Velká sovětská encyklopedie : [ve 30 svazcích] / ed. A. M. Prochorov - 3. vyd. — M .: Sovětská encyklopedie , 1969.
  2. ↑ Malcevův žák . Získáno 6. července 2017. Archivováno z originálu 30. prosince 2018.
  3. ↑ První diplomy . Získáno 12. srpna 2013. Archivováno z originálu 30. prosince 2018.
  4. ↑ První z absolventů NSU Yu.L. Ershov obhájil doktorskou disertační práci (5. 3. 1966) . Pobočka Státní veřejné vědecké a technické knihovny Sibiřské pobočky Ruské akademie věd . Získáno 29. prosince 2018. Archivováno z originálu 30. prosince 2018.
  5. ↑ ERSHOV Jurij Leonidovič  (nepřístupný odkaz)
  6. ↑ [1] Anita Burdman Feferman a Solomon Feferman, Alfred Tarski: Život a logika. Cambridge University Press, 2004, ISBN 0-521-80240-7 ; str. 363-365
  7. ↑ Studentovým přikázáním je vášeň pro vědu . Získáno 12. srpna 2013. Archivováno z originálu 30. prosince 2018.
  8. ↑ Seznam oceněných cenou A. I. Malceva na webu Ruské akademie věd . Datum přístupu: 14. února 2015. Archivováno z originálu 24. září 2015.
  9. ↑ NSU GRADUATES, RAS ACADEMICS Archivní kopie ze 4. března 2016 na Wayback Machine
  10. ↑ Dekret prezidenta Ruské federace ze dne 28. dubna 2000 č. 774 „O udělení Řádu za zásluhy o vlast, IV. stupně Yershova Yu. L.“ . // Oficiální stránky prezidenta Ruska. Staženo 22. 5. 2016. Archivováno z originálu 11. 6. 2016.
  11. ↑ Dekret prezidenta Ruské federace ze dne 13. prosince 2003 č. 1481 Archivní kopie z 10. května 2013 o Wayback Machine
  12. ↑ Dekret prezidenta Ruské federace ze dne 16. června 2010 č. 745  (nepřístupný odkaz)
  13. ↑ Nařízení ze dne 25. října 2010 č. 1868-r „O udělování cen vlády Ruské federace v roce 2010 v oblasti vzdělávání“
  14. ↑ Ceny Demidov 2013 . Získáno 16. května 2014. Archivováno z originálu dne 7. dubna 2022.
  15. ↑ Dekret prezidenta Ruské federace ze dne 20. září 2016 č. 481 „O udělování státních vyznamenání Ruské federace“ . Získáno 20. září 2016. Archivováno z originálu 26. září 2016.
  16. ↑ INDEX TO BINDER hr-1980.tex  (anglicky)  (odkaz není k dispozici) . University of Maryland . Získáno 11. srpna 2013. Archivováno z originálu dne 20. srpna 2013.
  17. ↑ Anita Burdman Feferman, Solomon Feferman. Alfred Tarski: Život a logika . - Cambridge University Press, 2004. - S. 363-365. — 425 s. — ISBN 9780521802406 .
  18. ↑ Matematický ústav. S. L. Sobolev SB RAS . Získáno 26. října 2009. Archivováno z originálu 28. září 2009.
  19. ↑ Barendregt, Henk . Lambda kalkul. Jeho syntaxe a sémantika = Lambda kalkul. Jeho syntaxe a sémantika . — M .: Mir , 1985. — 606 s. - 4800 výtisků.

Odkazy

  Přejděte na položku Wikidata  Tematické stránky
Slovníky a encyklopedie
 Rektoři NSU