Matiyaševič, Jurij Vladimirovič

Yuri Vladimirovich Matiyasevich (narozen 2. března 1947 , Leningrad ) je sovětský a ruský matematik , výzkumník na katedře St. Petersburg Matematického institutu. V. A. Steklov RAS , člen odborné komise RSOS pro matematiku, akademik Ruské akademie věd , doktor fyzikálních a matematických věd . Významně přispěl k teorii vyčíslitelnosti , když dokončil řešení Hilbertova desátého problému .

Životopis

V letech 1962-1963 studoval na Fyzikálně-matematické škole č. 239 v Leningradu, v letech 1963-1964 - na Moskevské fyzikálně-matematické internátní škole č. 18 Moskevské státní univerzity (nyní A. N. Kolmogorov SUNC ).

Od roku 1964 do roku 1969 - student Fakulty matematiky a mechaniky Leningradské univerzity , jako vítěz Mezinárodní olympiády byl zapsán na univerzitu po předposlední třídě, minule poslední. Jako student prvního ročníku složil maturitu (ze středního vzdělání), kam vstoupil jako vítěz matematické olympiády [1] .

V roce 1966, ve svém druhém ročníku na univerzitě, dokončil dvě práce o matematické logice , později publikované ve „ Zprávách Akademie věd SSSR “ a podal o nich zprávu na Mezinárodním matematickém kongresu , který se konal v Moskvě.

Po absolvování univerzity nastoupil na postgraduální školu leningradské pobočky Steklovova institutu , v roce 1970 pod vedením Sergeje Jurijeviče Maslova obhájil disertační práci na titul kandidáta fyzikálních a matematických věd. Jako postgraduální student vyřešil desátý Hilbertův problém. Od ukončení postgraduálního studia působí ve vědeckých funkcích v leningradské pobočce Steklovova ústavu.

V roce 1972 ve svých 25 letech obhájil doktorskou disertační práci.

Od roku 1995 - profesor Petrohradské univerzity na katedře počítačového softwaru, později - na katedře algebry.

V roce 1997 byl zvolen členem korespondentem Ruské akademie věd.

Od roku 1998 - viceprezident Petrohradské matematické společnosti [2] .

Od roku 2002 - předseda poroty Městské matematické olympiády v Petrohradě . Od roku 2003 - spoluředitel každoroční rusko-německé studentské školy JASS [3] .

V roce 2008 byl zvolen řádným členem Ruské akademie věd [4] . Ve stejném roce byl zvolen prezidentem St. Petersburg Mathematical Society .

Dcera - Daria Rusakova (nar. 1979), matematička, učitelka, sportovní hráčka "Co? Kde? Když?".

Hlavní výsledky

Jako postgraduální student na začátku roku 1970, ve věku 22 let, udělal poslední krok k prokázání algoritmické neřešitelnosti problému existence řešení pro libovolnou diofantinskou rovnici , známou také jako Hilbertův desátý problém , čímž dokončil výzkumný program, jehož hlavní část do té doby provedli Martin Davis , Hilary Putnam a Julia Robinson . Matiyaševičův příspěvek k řešení problému spočívá v tom, že předložil 10 diofantických rovnic prvního a druhého stupně, které stanovily podmínku , kde je značeno -tým Fibonacciho číslem .

V teorii čísel dostal odpověď na otázku , kterou položil v roce 1927 György Poyi , týkající se nekonečného systému nerovností spojujících Taylorovy koeficienty - Riemannovy funkce: ukázal, že všechny tyto nerovnosti jsou důsledkem jedné funkční nerovnosti spojující Fourierovu transformaci. -funkce a její deriváty .

V teorii grafů navrhl několik kritérií pro zbarvení grafu, vytvořil neočekávanou souvislost mezi problémem čtyř barev a dělitelností binomických koeficientů a poskytl pravděpodobnostní výklad čtyřbarevné věty.

Komunity

Člen American Mathematical Society a Symbolic Logic Association.

Člen redakčních rad časopisů „Diskrétní matematika“ a „Počítačové nástroje ve vzdělávání“.

Ceny a ocenění

• V roce 1964 jako součást týmu sovětských školáků získal diplom prvního stupně na Mezinárodní matematické olympiádě , která se konala v Moskvě [5] .
• V roce 1970 mu byla udělena cena „Mladého matematika“ Leningradské matematické společnosti [6] .
• V roce 1980 obdržel cenu A. A. Markova Akademie věd SSSR .
• V roce 1996 mu byl udělen čestný doktorát na univerzitě v Auvergne .
• V roce 1998 vyhrál Humboldtovu cenu .
• V roce 2003 získal čestný doktorát na Univerzitě Paris VI .

Bibliografie

Autor knihy o Hilbertově desátém problému a velkého množství článků ve vědeckých časopisech, mimo jiné s Julií Robinsonovou , Richardem Geem (díky druhému jmenovanému je Erdősovo osobní číslo  2).

Kniha

• Yu. V. Matiyasevich , Hilbertův desátý problém - M., Nauka, 1993.

Články

• Yu. V. Matiyaševič. Rozpoznávání vztahu výskytu v reálném čase  // Poznámky ze seminářů leningradské pobočky Matematického ústavu. Akademie věd V. A. Steklova SSSR. - 1971. - T. 20 . - S. 104-114 .
• Yuri Matiyasevich a Julia Robinson, Redukce libovolné diofantické rovnice na jednu ze 13 neznámých , Acta Arithmetica, XXVII (1975), 521-549.
• Yuri Matiyasevich a Géraud Senizerguez, Rozhodovací problémy pro systémy Semi-Thue s několika pravidly , LICS'96.
• Yuri Matiyasevich, Důkazní postupy jako základ pro metamatematické důkazy v diskrétní matematice , Osobní žurnál Yury Matiyasevich.
• Yuri Matiyasevich, Eliminace omezených univerzálních kvantifikátorů stojících před aritmetickým vzorcem bez kvantifikátoru , Osobní deník Jurije Matiyaseviče.
• Yuri Matiyasevich, One Probabilistic Equivalent of the Four Color Conjecture , Probability Theory and its Applications, 48 ​​​​(2003), 411-416.
• Články Yu. V. Matiyaseviche v časopise Kvant (1971-1978)

Poznámky

1. ↑ Z chronologie Matematicko-mechanické fakulty. . Staženo 12. ledna 2019. Archivováno z originálu 4. srpna 2020. (neurčitý)
2. ↑ Přechod na nové umístění stránky . Datum přístupu: 2. března 2007. Archivováno z originálu 5. února 2007. (neurčitý)
3. ↑ Joint Advanced Student School 2007 . Získáno 2. března 2007. Archivováno z originálu 11. června 2007. (neurčitý)
4. ↑ Seznam zvolených členů RAS . Získáno 17. srpna 2013. Archivováno z originálu 17. srpna 2013. (neurčitý)
5. ↑ Výsledky reprezentace SSSR na 6. MMO . Získáno 19. srpna 2018. Archivováno z originálu 3. října 2016. (neurčitý)
6. ↑ SPb. Matematika. Společnost: Ocenění . Získáno 11. ledna 2010. Archivováno z originálu 12. května 2013. (neurčitý)

Odkazy

• Domovská stránka Jurije Matiyaševiče .
• Profil Yu.V. Matiyaseviče na oficiálních stránkách Ruské akademie věd
• Varpakhovsky F., Kolmogorov A. K řešení desátého Hilbertova problému  // Kvant . - 1970. - č. 7 . - S. 38-44 .
• Historie řešení Hilbertova desátého problému (odkaz není k dispozici) . Získáno 5. března 2007. Archivováno z originálu 16. prosince 2010. (neurčitý) 
• Matiyasevichova věta o Scholarpedii   (anglicky) .
• Yuri Matiyasevich ve společnosti DBLP  (anglicky) .
• Životopis a spolupráce s Francií  (fr.) . Získáno 17. srpna 2013. Archivováno z originálu 17. srpna 2013.
• Akademik Matiyaševič Jurij Vladimirovič má 70 let! Publikace na oficiálních stránkách Ruské akademie věd.

Tematické stránky	Matematická genealogie ORCID ResearcherID Scopus zbMATH Otevřeno Všeruský matematický portál Archiv pro historii matematiky MacTutor
Slovníky a encyklopedie	Velký Rus
V bibliografických katalozích BIBSYS: 90775890 BNF : 13482897t GND : 141156538 ICCU : UFIV088040 ISNI : 0000 0001 1609 2497 J9U : 987007447885605171 LCCN : n93057388 NTA : 123555531 NUKAT : n97028488 SUDOC : 034478809 VIAF : 24753185 WorldCat VIAF : 24753185