Matiyasevitš, Juri Vladimirovich

Juri Vladimirovitš Matiyasevitš (s . 2. maaliskuuta 1947 , Leningrad ) on neuvostoliittolainen ja venäläinen matemaatikko , Matemaattisen instituutin Pietarin osaston tutkija . V. A. Steklov RAS , RSOS :n matematiikan asiantuntijakomitean jäsen, Venäjän tiedeakatemian akateemikko , fysiikan ja matemaattisten tieteiden tohtori . Hän antoi merkittävän panoksen laskettavuuden teoriaan ja viimeisteli Hilbertin kymmenennen ongelman .

Elämäkerta

Vuosina 1962-1963 hän opiskeli Leningradin fysiikan ja matematiikan koulussa nro 239 , vuosina 1963-1964 Moskovan fysiikan ja matematiikan sisäoppilaitoksessa nro 18 Moskovan valtionyliopistossa (nykyinen A. N. Kolmogorov SUNC ).

Vuodesta 1964 vuoteen 1969 - Leningradin yliopiston matematiikan ja mekaniikan tiedekunnan opiskelija, kansainvälisen olympiadin voittajana , hän ilmoittautui yliopistoon toiseksi viimeisen luokan jälkeen, ohittaen viimeisen. Hän suoritti ylioppilastutkinnon (toisen asteen koulutuksesta) ensimmäisen vuoden opiskelijana, johon hän pääsi matemaattisen olympian voittajana [1] .

Vuonna 1966, toisena yliopistovuotessaan, hän suoritti kaksi matemaattista logiikkaa käsittelevää paperia , jotka myöhemmin julkaistiin Neuvostoliiton tiedeakatemian raporteissa, ja teki niistä raportin Moskovassa pidetyssä kansainvälisessä matemaattisessa kongressissa .

Valmistuttuaan yliopistosta hän tuli Steklovin instituutin Leningradin sivukonttorin tutkijakouluun, vuonna 1970 Sergei Jurjevitš Maslovin johdolla hän puolusti väitöskirjaansa fysiikan ja matemaattisten tieteiden kandidaatin tutkinnosta. Jatko-opiskelijana hän ratkaisi Hilbertin kymmenennen ongelman. Jatko-opintojensa jälkeen hän on työskennellyt tieteellisissä tehtävissä Steklov-instituutin Leningradin sivuliikkeessä.

Vuonna 1972, 25-vuotiaana, hän puolusti väitöskirjaansa.

Vuodesta 1995 - Pietarin yliopiston professori tietokoneohjelmistojen laitoksella, myöhemmin - algebran laitoksella.

Vuonna 1997 hänet valittiin Venäjän tiedeakatemian kirjeenvaihtajajäseneksi.

Vuodesta 1998 - Pietarin matematiikan seuran varapuheenjohtaja [2] .

Vuodesta 2002 lähtien Pietarin kaupungin matemaattisten olympialaisten tuomariston puheenjohtaja . Vuodesta 2003 - vuosittaisen venäläis-saksalaisen opiskelijakoulun JASSin toinen johtaja [3] .

Vuonna 2008 hänet valittiin Venäjän tiedeakatemian täysjäseneksi [4] . Samana vuonna hänet valittiin presidentiksi St. Petersburg Mathematical Society .

Tytär - Daria Rusakova (s. 1979), matemaatikko, opettaja, urheilija "Mitä? Missä? Kun?".

Päätulokset

Jatko-opiskelijana hän otti vuoden 1970 alussa, 22-vuotiaana, viimeisen askeleen todistaakseen ratkaisujen olemassaolon ongelman algoritmisesti ratkaisemattomalle mielivaltaiselle diofantiiniyhtälölle , joka tunnetaan myös Hilbertin kymmenentenä ongelmana . tutkimusohjelma, josta suurimman osan olivat tuolloin toteuttaneet Martin Davis , Hilary Putnam ja Julia Robinson . Matiyasevichin panos ongelman ratkaisemiseen on siinä, että hän esitti 10 ensimmäisen ja toisen asteen diofantiiniyhtälöä, jotka asettivat ehdon , jossa on merkitty -th Fibonacci-luku .

Lukuteoriassa hän sai vastauksen György Poyin vuonna 1927 esittämään kysymykseen , joka koski Taylor-kertoimia yhdistävää ääretöntä epäyhtälöjärjestelmää - Riemannin funktioita: hän osoitti, että kaikki nämä epäyhtälöt ovat seurausta yhdestä toiminnallisesta epäyhtälöstä, joka yhdistää Fourier-muunnoksen -funktio ja sen johdannaiset.

Graafiteoriassa hän ehdotti useita kriteerejä graafin värjäykseen, loi odottamattoman yhteyden neljän värin ongelman ja binomikertoimien jaollisuuden välille ja antoi todennäköisyyspohjaisen tulkinnan nelivärilauseesta.

Yhteisöt

American Mathematical Societyn ja Symbolic Logic Associationin jäsen .

"Discrete Mathematics"- ja "Computer Tools in Education" -lehtien toimituskunnan jäsen.

Palkinnot ja palkinnot

• Vuonna 1964 hän voitti Neuvostoliiton koululaisten ryhmässä ensimmäisen asteen tutkintotodistuksen Moskovassa pidetyssä kansainvälisessä matematiikan olympialaisissa [5] .
• Vuonna 1970 hänelle myönnettiin Leningradin matemaattisen seuran "Nuori matemaatikko" -palkinto [6] .
• Vuonna 1980 hän sai Neuvostoliiton tiedeakatemian A. A. Markov - palkinnon .
• Vuonna 1996 hänelle myönnettiin Auvergnen yliopiston kunniatohtorin arvo .
• Vuonna 1998 hän voitti Humboldt - palkinnon .
• Vuonna 2003 hän sai kunniatohtorin arvoni Paris VI -yliopistosta .

Bibliografia

Kirjoittanut kirjan Hilbertin kymmenestä ongelmasta ja suuren määrän artikkeleita tieteellisissä julkaisuissa, mukaan lukien Julia Robinsonin ja Richard Geen kanssa (viimeksi mainitun ansiosta Erdősin henkilönumero  on 2).

Kirja

• Yu. V. Matiyasevitš , Hilbertin kymmenes ongelma - M., Nauka, 1993.

Artikkelit

• Yu. V. Matiyasevitš. Reaaliaikainen esiintymissuhteen tunnistaminen  // Matemaattisen instituutin Leningradin haaran seminaarien muistiinpanot. V. A. Steklovin Neuvostoliiton tiedeakatemia. - 1971. - T. 20 . - S. 104-114 .
• Juri Matiyasevitš ja Julia Robinson, mielivaltaisen diofantiiniyhtälön pelkistys yhdeksi 13:sta tuntemattomasta , Acta Arithmetica, XXVII (1975), 521-549.
• Juri Matiyasevitš ja Géraud Senizerguez, Päätösongelmia puoli-Thue-järjestelmille muutamalla säännöllä, LICS'96.
• Juri Matiyasevitš, Todistusmenettelyt metamatematiikan perusteina diskreetissä matematiikassa , Yury Matiyasevichin henkilökohtainen lehti.
• Juri Matiyasevitš, Rajattujen universaalien kvantorien eliminointi kvantisoijattoman aritmeettisen kaavan edessä , Juri Matiyasevitšin henkilökohtainen lehti.
• Juri Matiyasevitš, yksi todennäköisyysekvivalentti neljän värin oletukselle, todennäköisyysteoria ja sen sovellukset, 48 (2003), 411-416.
• Yu. V. Matiyasevichin artikkelit Kvant -lehdessä (1971-1978)

Muistiinpanot

1. ↑ Matematiikan ja mekaniikan tiedekunnan kronologiasta. . Haettu 12. tammikuuta 2019. Arkistoitu alkuperäisestä 4. elokuuta 2020. (määrätön)
2. ↑ Siirtyminen sivun uuteen paikkaan . Käyttöpäivä: 2. maaliskuuta 2007. Arkistoitu alkuperäisestä 5. helmikuuta 2007. (määrätön)
3. ↑ Yhteinen jatko-opiskelijakoulu 2007 . Haettu 2. maaliskuuta 2007. Arkistoitu alkuperäisestä 11. kesäkuuta 2007. (määrätön)
4. ↑ Luettelo RAS:n valituista jäsenistä . Haettu 17. elokuuta 2013. Arkistoitu alkuperäisestä 17. elokuuta 2013. (määrätön)
5. ↑ Neuvostoliiton maajoukkueen tulokset 6. MMO:ssa . Haettu 19. elokuuta 2018. Arkistoitu alkuperäisestä 3. lokakuuta 2016. (määrätön)
6. ↑ SPb. Matematiikka. Yhteiskunta: Palkinnot . Haettu 11. tammikuuta 2010. Arkistoitu alkuperäisestä 12. toukokuuta 2013. (määrätön)

Linkit

• Juri Matiyasevitšin kotisivu .
• Yu. V. Matiyasevitšin profiili Venäjän tiedeakatemian virallisella verkkosivustolla
• Varpakhovsky F., Kolmogorov A. Kymmenennen Hilbert-tehtävän ratkaisusta  // Kvant . - 1970. - Nro 7 . - S. 38-44 .
• Hilbertin kymmenennen ongelman ratkaisuhistoria (linkki ei ole käytettävissä) . Haettu 5. maaliskuuta 2007. Arkistoitu alkuperäisestä 16. joulukuuta 2010. (määrätön) 
• Matiyasevichin teoreema Scholarpediasta (   englanniksi) .
• Juri Matiyasevitš, DBLP  (englanti) .
• Elämäkerta ja yhteistyö Ranskan kanssa  (fr.) . Haettu 17. elokuuta 2013. Arkistoitu alkuperäisestä 17. elokuuta 2013.
• Akateemikko Matiyasevitš Juri Vladimirovich on 70-vuotias! Julkaisu Venäjän tiedeakatemian virallisella verkkosivustolla.

Temaattiset sivustot	Matemaattinen sukututkimus ORCID Tutkijan ID Scopus zbMATH Avoinna Koko venäläinen matemaattinen portaali Matematiikan historian arkisto MacTutor
Sanakirjat ja tietosanakirjat	Iso venäläinen
Bibliografisissa luetteloissa 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