Matiyasevics, Jurij Vlagyimirovics

Jurij Vlagyimirovics Matiyasevics ( Leningrád , 1947. március 2. ) szovjet és orosz matematikus , a Matematikai Intézet szentpétervári osztályának kutatója. V. A. Steklov RAS , az RSOS matematikai szakértői bizottságának tagja, az Orosz Tudományos Akadémia akadémikusa, a fizikai és matematikai tudományok doktora . Jelentősen hozzájárult a kiszámíthatóság elméletéhez , befejezve Hilbert tizedik problémájának megoldását .

Életrajz

1962-1963-ban a leningrádi 239-es Fizikai és Matematikai Iskolában , 1963-1964-ben a Moszkvai Állami Egyetem 18-as Fizikai és Matematikai Kollégiumában tanult (ma A. N. Kolmogorov SUNC ).

1964-től 1969-ig a Leningrádi Egyetem Matematikai és Mechanikai Karának hallgatójaként, mint a Nemzetközi Olimpia győztese , az utolsó előtti óra után beiratkozott az egyetemre, az utolsót megkerülve. Elsőévesként letette az érettségit (középfokú oktatásból), ahová matematikai olimpia győzteseként lépett be [1] .

1966-ban, az egyetem második évében, két matematikai logikával foglalkozó dolgozatot készített, amelyeket később a Szovjetunió Tudományos Akadémiájának jelentései publikáltak, és jelentést készített róluk a Moszkvában tartott Nemzetközi Matematikai Kongresszuson .

Az egyetem elvégzése után a Szteklov Intézet leningrádi filiáléjának posztgraduális iskolájába lépett , 1970-ben Szergej Jurjevics Maszlov irányításával megvédte a fizikai és matematikai tudományok kandidátusi fokozatát. Végzős hallgatóként megoldotta Hilbert tizedik feladatát. Posztgraduális tanulmányai befejezése óta tudományos pozíciókban dolgozik a Szteklov Intézet leningrádi részlegében.

1972-ben, 25 évesen védte meg doktori disszertációját.

1995 óta a Szentpétervári Egyetem professzora a Számítógépes Szoftver Tanszéken, később az Algebra Tanszéken.

1997-ben az Orosz Tudományos Akadémia levelező tagjává választották.

1998 óta - a Szentpétervári Matematikai Társaság alelnöke [2] .

2002-től a Szentpétervári Városi Matematikai Olimpia zsűrijének elnöke . 2003 óta az éves JASS orosz-német diákiskola társigazgatója [3] .

2008-ban az Orosz Tudományos Akadémia rendes tagjává választották [4] . Ugyanebben az évben a Szentpétervári Matematikai Társaság elnökévé választották .

Lánya - Daria Rusakova (született 1979), matematikus, tanár, sportoló "Mi? Ahol? Mikor?".

Fő eredmények

Végzős hallgatóként, 1970 elején , 22 évesen megtette az utolsó lépést egy tetszőleges Diofantusz-egyenlet , más néven Hilbert tizedik feladat megoldásának létezésének problémájának algoritmikus megoldhatatlanságának bizonyítása érdekében , és ezzel befejezte. kutatási program, amelynek nagy részét addigra Martin Davis , Hilary Putnam és Julia Robinson végezte . Matiyasevics hozzájárulása a probléma megoldásához abban rejlik, hogy bemutatott 10 első és másodfokú diofantin egyenletet, amelyek beállították a feltételt , ahol a -edik Fibonacci-szám jelöli .

Számelméletben választ kapott Poyi György 1927 - ben feltett kérdésére , amely a Taylor-együtthatókat – Riemann-függvényeket összekötő végtelen egyenlőtlenség-rendszerrel kapcsolatban – megmutatta, hogy mindezek az egyenlőtlenségek a Fourier-transzformációt összekötő egyetlen funkcionális egyenlőtlenség következményei. a -függvény és származékai.

A gráfelméletben számos kritériumot javasolt a gráf színezésére, váratlan összefüggést hozott létre a négy szín problémája és a binomiális együtthatók oszthatósága között , és megadta a négyszín tétel valószínűségi értelmezését.

Közösségek

Tagja az Amerikai Matematikai Társaságnak és a Symbolic Logic Associationnek.

A "Diszkrét matematika" és a "Számítógépes eszközök az oktatásban" folyóiratok szerkesztőbizottságának tagja.

Díjak és díjak

• 1964-ben a szovjet iskolásokból álló csapat tagjaként elsőfokú oklevelet szerzett a Moszkvában megrendezett Nemzetközi Matematikai Olimpián [5] .
• 1970-ben megkapta a Leningrádi Matematikai Társaság "Fiatal Matematikus" díját [6] .
• 1980 - ban megkapta a Szovjetunió Tudományos Akadémia A. A. Markov - díját .
• 1996 - ban az Auvergne - i Egyetem díszdoktorává nyilvánította .
• 1998-ban elnyerte a Humboldt-díjat .
• 2003 - ban a Párizs VI Egyetem díszdoktora címet kapott .

Bibliográfia

Hilbert tizedik problémájáról szóló könyv és számos tudományos folyóiratban megjelent cikk szerzője, köztük Julia Robinsonnal , Richard Gee -vel (utóbbinak köszönhetően Erdős személyi száma  2).

könyv

• Yu. V. Matiyasevics , Hilbert tizedik problémája - M., Nauka, 1993.

Cikkek

• Yu. V. Matiyasevics. Az előfordulás összefüggésének valós idejű felismerése  // A Matematikai Intézet leningrádi részlegének szemináriumainak feljegyzései. V. A. Steklov Szovjetunió Tudományos Akadémia. - 1971. - T. 20 . - S. 104-114 .
• Jurij Matijasevics és Julia Robinson : Egy tetszőleges diofantusz-egyenlet redukciója egy a 13 ismeretlenből , Acta Arithmetica, XXVII (1975), 521-549.
• Jurij Matiyasevics és Géraud Senizerguez, Döntési problémák félig-csütörtök rendszereknél néhány szabály mellett, LICS'96.
• Jurij Matijasevics, Bizonyítási eljárások, mint metamatematikai bizonyítások alapjai a diszkrét matematikában , Jurij Matijasevics személyes folyóirata.
• Jurij Matijasevics, A korlátos univerzális kvantorok megszüntetése kvantormentes aritmetikai képlet előtt, Jurij Matijasevics személyes folyóirata.
• Jurij Matijasevics, A négyszínű sejtés egyik valószínűségi egyenértéke , Valószínűségelmélet és alkalmazásai, 48 (2003), 411-416.
• Yu. V. Matiyasevics cikkei a Kvant folyóiratban (1971-1978)

Jegyzetek

1. ↑ A Matematika-Mechanikai Kar kronológiájából. . Letöltve: 2019. január 12. Az eredetiből archiválva : 2020. augusztus 4.. (határozatlan)
2. ↑ Átlépés az oldal új helyére . Hozzáférés dátuma: 2007. március 2. Az eredetiből archiválva : 2007. február 5. (határozatlan)
3. ↑ Közös Haladó Diákiskola 2007 . Letöltve: 2007. március 2. Az eredetiből archiválva : 2007. június 11. (határozatlan)
4. ↑ A RAS választott tagjainak listája . Letöltve: 2013. augusztus 17. Az eredetiből archiválva : 2013. augusztus 17.. (határozatlan)
5. ↑ A Szovjetunió válogatottjának eredményei a 6. MMO-n . Letöltve: 2018. augusztus 19. Az eredetiből archiválva : 2016. október 3. (határozatlan)
6. ↑ SPb. Math. Társadalom: A díjak . Letöltve: 2010. január 11. Az eredetiből archiválva : 2013. május 12.. (határozatlan)

Linkek

• Jurij Matijasevics honlapja .
• Yu. V. Matiyasevics profilja az Orosz Tudományos Akadémia hivatalos honlapján
• Varpakhovsky F., Kolmogorov A. A tizedik Hilbert-probléma megoldásáról  // Kvant . - 1970. - 7. sz . - S. 38-44 .
• Hilbert tizedik problémája megoldásának története (hivatkozás nem elérhető) . Letöltve: 2007. március 5. Az eredetiből archiválva : 2010. december 16.. (határozatlan) 
• Matiyasevics-tétel a Scholarpediáról   (angol) .
• Jurij Matijasevics a DBLP-nél  (angol) .
• Életrajz és együttműködés Franciaországgal  (fr.) . Letöltve: 2013. augusztus 17. Az eredetiből archiválva : 2013. augusztus 17..
• Jurij Vladimirovics Matiyasevics akadémikus 70 éves! Megjelenés az Orosz Tudományos Akadémia hivatalos honlapján.

Tematikus oldalak	Matematikai genealógia ORCID Kutatóazonosító Scopus zbMATH Nyitva Össz-orosz matematikai portál Archívum a matematika történetéhez MacTutor
Szótárak és enciklopédiák	Nagy orosz
Bibliográfiai katalógusokban 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