Matiyasevich, Yuri Vladimirovich
| Yuri Matiyasevich | |
|---|---|
| Under JASS 08 | |
| Navn ved fødslen | Yuri Vladimirovich Matiyasevich |
| Fødselsdato | 2. marts 1947 (75 år) |
| Fødselssted | Leningrad , russisk SFSR , USSR |
| Land | |
| Videnskabelig sfære | teoretisk datalogi |
| Arbejdsplads | POMI |
| Alma Mater | LSU (mathmech) |
| Akademisk grad | Doktor i fysiske og matematiske videnskaber |
| Akademisk titel | Akademiker fra Det Russiske Videnskabsakademi ( 2008 ) |
| videnskabelig rådgiver |
S. Yu. Maslov N. A. Shanin |
| Kendt som |
forfatter til løsningen på Hilberts tiende problem |
| Priser og præmier |
Markov-prisen (1980), Humboldt-prisen (1998) |
| Internet side | logic.pdmi.ras.ru/~yumat/ |
| Mediefiler på Wikimedia Commons | |
Yuri Vladimirovich Matiyasevich (født 2. marts 1947 , Leningrad ) er en sovjetisk og russisk matematiker , forsker ved Skt. Petersborgs afdeling af Matematisk Institut. V. A. Steklov RAS , medlem af ekspertkommissionen for RSOS i matematik, akademiker ved det russiske videnskabsakademi , doktor i fysiske og matematiske videnskaber . Han ydede et væsentligt bidrag til teorien om beregningsevne , og afsluttede løsningen af Hilberts tiende problem .
Biografi
I 1962-1963 studerede han på fysik- og matematikskole nr. 239 i Leningrad, i 1963-1964 - på Moskva fysik- og matematikkostskole nr. 18 ved Moskvas statsuniversitet (nu A. N. Kolmogorov SUNC ).
Fra 1964 til 1969 - en studerende ved Fakultetet for Matematik og Mekanik ved Leningrad Universitet , som vinder af den internationale olympiade , blev han indskrevet på universitetet efter den næstsidste klasse, uden om den sidste. Han bestod studentereksamenerne (på ungdomsuddannelserne) som førsteårselev, hvor han meldte sig ind som vinder af en matematisk olympiade [1] .
I 1966, på sit andet år på universitetet, afsluttede han to artikler om matematisk logik , senere offentliggjort i " Reports of the Academy of Sciences of the USSR " og lavede en rapport om dem på den internationale matematiske kongres , der blev afholdt i Moskva.
Efter sin eksamen fra universitetet gik han ind på kandidatskolen i Leningrad-afdelingen af Steklov Institute , i 1970, under vejledning af Sergey Yuryevich Maslov , forsvarede han sin afhandling for graden af kandidat for fysiske og matematiske videnskaber. Som kandidatstuderende løste han det tiende problem med Hilbert. Siden han afsluttede sine postgraduate studier, har han arbejdet i videnskabelige stillinger i Leningrad-afdelingen af Steklov Instituttet.
I 1972 forsvarede han som 25-årig sin doktordisputats.
Siden 1995 - Professor ved St. Petersborg Universitet ved Institut for Computersoftware, senere - ved Institut for Algebra.
I 1997 blev han valgt til et tilsvarende medlem af det russiske videnskabsakademi.
Siden 1998 - Vicepræsident for St. Petersburg Mathematical Society [2] .
Siden 2002 - formand for juryen for St. Petersburg City Mathematical Olympiad . Siden 2003 - meddirektør for den årlige russisk-tyske elevskole JASS [3] .
I 2008 blev han valgt til fuldgyldigt medlem af Det Russiske Videnskabsakademi [4] . I samme år blev han valgt til præsident for St. Petersburg Mathematical Society .
Datter - Daria Rusakova (født 1979), matematiker, lærer, sportsspiller "Hvad? Hvor? Hvornår?".
Hovedresultater
Som kandidatstuderende tog han i begyndelsen af 1970, i en alder af 22, det sidste skridt i at bevise den algoritmiske uløselighed af problemet med eksistensen af løsninger til en vilkårlig diophantinsk ligning , også kendt som Hilberts tiende problem , og afsluttede derved et forskningsprogram, hvis hovedpart på det tidspunkt var blevet udført af Martin Davis , Hilary Putnam og Julia Robinson . Matiyasevichs bidrag til at løse problemet ligger i det faktum, at han præsenterede 10 diophantinske ligninger af første og anden grad, som sætter betingelsen , hvor angivet med -th Fibonacci-tal .
I talteori modtog han et svar på et spørgsmål stillet i 1927 af György Poyi , om et uendeligt system af uligheder, der forbinder Taylor-koefficienterne - Riemann-funktioner: han viste, at alle disse uligheder er en konsekvens af en funktionel ulighed, der forbinder Fourier-transformationen af -funktionen og dens afledte.
I grafteori foreslog han flere kriterier for graffarvning, etablerede en uventet sammenhæng mellem problemet med fire farver og deleligheden af binomiale koefficienter og gav en sandsynlighedsfortolkning af firefarvesætningen.
Fællesskaber
Medlem af American Mathematical Society og Symbolic Logic Association.
Medlem af redaktionerne for tidsskrifterne "Diskret Matematik" og "Computerværktøjer i undervisningen".
Priser og priser
- I 1964, som en del af et hold af sovjetiske skolebørn, vandt han et førstegradsdiplom ved den internationale matematiske olympiade , der blev afholdt i Moskva [5] .
- I 1970 blev han tildelt prisen "Unge matematiker" af Leningrad Mathematical Society [6] .
- I 1980 modtog han A. A. Markov -prisen fra USSR's Videnskabsakademi .
- I 1996 blev han tildelt en æresdoktorgrad fra universitetet i Auvergne .
- I 1998 vandt han Humboldtprisen .
- I 2003 modtog han en æresdoktorgrad fra Paris VI Universitetet .
Bibliografi
Forfatter til en bog om Hilberts tiende problem og et stort antal artikler i videnskabelige tidsskrifter, herunder med Julia Robinson , Richard Gee (takket være sidstnævnte er Erdős' personnummer 2).
Bog
- Yu. V. Matiyasevich , Hilberts tiende problem - M., Nauka, 1993.
Artikler
- Yu. V. Matiyasevich. Anerkendelse i realtid af forholdet mellem forekomst // Noter fra seminarer i Leningrad-afdelingen af Matematisk Institut. V. A. Steklov Academy of Sciences i USSR. - 1971. - T. 20 . - S. 104-114 .
- Yuri Matiyasevich og Julia Robinson, Reduktion af en vilkårlig diofantisk ligning til én ud af 13 ukendte , Acta Arithmetica, XXVII (1975), 521-549.
- Yuri Matiyasevich og Géraud Senizerguez, Beslutningsproblemer for Semi-Thue-systemer med nogle få regler , LICS'96.
- Yuri Matiyasevich, Bevisprocedurer som grundlag for metamatematiske beviser i diskret matematik , Personal Journal of Yury Matiyasevich.
- Yuri Matiyasevich, Elimination af afgrænsede universelle kvantificerere, der står foran en kvantifier-fri aritmetisk formel , Personal Journal of Yuri Matiyasevich.
- Yuri Matiyasevich, En sandsynlighedsækvivalent af de fire farveformodninger , sandsynlighedsteori og dens anvendelser, 48 (2003), 411-416.
- Artikler af Yu. V. Matiyasevich i tidsskriftet Kvant (1971-1978)
Noter
- ↑ Fra det matematiske og mekaniske fakultets kronologi. . Hentet 12. januar 2019. Arkiveret fra originalen 4. august 2020.
- ↑ Passage til en ny placering af siden . Dato for adgang: 2. marts 2007. Arkiveret fra originalen 5. februar 2007.
- ↑ Fælles videregående elevskole 2007 . Hentet 2. marts 2007. Arkiveret fra originalen 11. juni 2007.
- ↑ Liste over valgte medlemmer af RAS . Hentet 17. august 2013. Arkiveret fra originalen 17. august 2013.
- ↑ Resultater af USSR-landsholdet ved den 6. MMO . Hentet 19. august 2018. Arkiveret fra originalen 3. oktober 2016.
- ↑ SPb. Matematik. Samfundet: Priserne . Hentet 11. januar 2010. Arkiveret fra originalen 12. maj 2013.
Links
- Yuri Matiyasevichs hjemmeside .
- Profil af Yu. V. Matiyasevich på den officielle hjemmeside for det russiske videnskabsakademi
- Varpakhovsky F., Kolmogorov A. Om løsningen af det tiende Hilbert-problem // Kvant . - 1970. - Nr. 7 . - S. 38-44 .
- Historien om løsningen af Hilberts tiende problem (link utilgængeligt) . Hentet 5. marts 2007. Arkiveret fra originalen 16. december 2010.
- Matiyasevich-sætning om Scholarpedia (engelsk) .
- Yuri Matiyasevich hos DBLP (engelsk) .
- Biografi og samarbejde med Frankrig (fr.) . Hentet 17. august 2013. Arkiveret fra originalen 17. august 2013.
- Akademiker Matiyasevich Yuri Vladimirovich er 70 år gammel! Offentliggørelse på den officielle hjemmeside for det russiske videnskabsakademi.
 Tematiske steder | ||||
|---|---|---|---|---|
| Ordbøger og encyklopædier | ||||
| ||||