Matiyasevich, Yuri Vladimirovich

Yuri Vladimirovich Matiyasevich (född 2 mars 1947 , Leningrad ) är en sovjetisk och rysk matematiker , forskare vid S:t Petersburg-avdelningen vid Mathematical Institute. V. A. Steklov RAS , medlem av expertkommissionen för RSOS i matematik, akademiker vid Ryska vetenskapsakademin , doktor i fysikaliska och matematiska vetenskaper . Han gjorde ett betydande bidrag till teorin om beräkningsbarhet och slutförde lösningen av Hilberts tionde problem .

Biografi

1962-1963 studerade han vid Fysik- och Matematikskolan nr 239 i Leningrad, 1963-1964 - vid Moscow Physics and Mathematics internatskola nr 18 vid Moscow State University (nu A. N. Kolmogorov SUNC ).

Från 1964 till 1969 - en student vid fakulteten för matematik och mekanik vid Leningrads universitet , som vinnare av den internationella olympiaden , skrevs han in på universitetet efter den näst sista klassen, förbi den sista. Han klarade studentexamen (på gymnasiet) som förstaårsstudent, där han gick in som vinnare av en matematisk olympiad [1] .

1966, under sitt andra år vid universitetet, avslutade han två artiklar om matematisk logik , senare publicerade i " Rapporter från USSR:s vetenskapsakademi " och gjorde en rapport om dem vid den internationella matematiska kongressen , som hölls i Moskva.

Efter examen från universitetet gick han in på forskarskolan i Leningrad-grenen av Steklov-institutet , 1970, under ledning av Sergey Yuryevich Maslov , försvarade han sin avhandling för graden av kandidat för fysikaliska och matematiska vetenskaper. Som doktorand löste han det tionde problemet med Hilbert. Sedan han avslutade sina forskarstudier har han arbetat i vetenskapliga positioner i Steklov-institutets Leningrad-gren.

1972, 25 år gammal, disputerade han på sin doktorsavhandling.

Sedan 1995 - professor vid St. Petersburgs universitet vid avdelningen för datorprogramvara, senare - vid avdelningen för algebra.

1997 valdes han till motsvarande medlem av Ryska vetenskapsakademin.

Sedan 1998 - Vice ordförande i St. Petersburg Mathematical Society [2] .

Sedan 2002 - ordförande i juryn för Mathematical Olympiad i St. Petersburg City . Sedan 2003 - meddirektör för den årliga rysk-tyska studentskolan JASS [3] .

2008 valdes han till fullvärdig medlem av Ryska vetenskapsakademin [4] . Samma år valdes han till ordförande för St Petersburg Mathematical Society .

Dotter - Daria Rusakova (född 1979), matematiker, lärare, sportspelare "Vad? Var? När?".

Huvudresultat

Som doktorand tog han i början av 1970, vid 22 års ålder, det sista steget för att bevisa den algoritmiska olösligheten av problemet med existensen av lösningar för en godtycklig diofantisk ekvation , även känd som Hilberts tionde problem , och slutförde därigenom ett forskningsprogram vars huvuddelen då hade utförts av Martin Davis , Hilary Putnam och Julia Robinson . Matiyasevichs bidrag till att lösa problemet ligger i det faktum att han presenterade 10 diofantiska ekvationer av första och andra graden, som satte villkoret , där det betecknas med -th Fibonacci-talet .

I talteorin fick han svar på en fråga som ställdes 1927 av György Poyi , angående ett oändligt system av ojämlikheter som förbinder Taylor-koefficienterna - Riemann-funktioner: han visade att alla dessa ojämlikheter är en konsekvens av en funktionell ojämlikhet som kopplar ihop Fouriertransformen av -funktionen och dess derivator.

I grafteorin föreslog han flera kriterier för graffärgning, etablerade ett oväntat samband mellan problemet med fyra färger och delbarheten av binomialkoefficienter och gav en probabilistisk tolkning av fyrfärgssatsen.

Gemenskaper

Medlem av American Mathematical Society och Symbolic Logic Association.

Ledamot i redaktionerna för tidskrifterna "Discrete Mathematics" och "Computer Tools in Education".

Priser och utmärkelser

• 1964, som en del av ett team av sovjetiska skolbarn, vann han ett första examensdiplom vid den internationella matematiska olympiaden , som hölls i Moskva [5] .
• 1970 tilldelades han Leningrad Mathematical Societys pris "Ung matematiker" [6] .
• 1980 fick han A. A. Markov -priset från USSR:s vetenskapsakademi .
• 1996 tilldelades han en hedersdoktor vid universitetet i Auvergne .
• 1998 vann han Humboldtpriset .
• 2003 erhöll han en hedersdoktor vid Paris VI-universitetet .

Bibliografi

Författare till en bok om Hilberts tionde problem och ett stort antal artiklar i vetenskapliga tidskrifter, bland annat med Julia Robinson , Richard Gee (tack vare den senare är Erdős personnummer  2).

Bok

• Yu. V. Matiyasevich , Hilberts tionde problem - M., Nauka, 1993.

Artiklar

• Yu. V. Matiyasevich. Erkännande i realtid av förhållandet mellan förekomst  // Anteckningar från seminarier från Leningrad-grenen av Mathematical Institute. V. A. Steklovs vetenskapsakademi i Sovjetunionen. - 1971. - T. 20 . - S. 104-114 .
• Yuri Matiyasevich och Julia Robinson, Reduktion av en godtycklig diofantisk ekvation till en av 13 okända , Acta Arithmetica, XXVII (1975), 521-549.
• Yuri Matiyasevich och Géraud Senizerguez, Beslutsproblem för Semi-Thue-system med några regler , LICS'96.
• Yuri Matiyasevich, Proof Procedures as Bases for Metamathematical Proofs in Discrete Mathematics , Personal Journal of Yury Matiyasevich.
• Yuri Matiyasevich, Eliminering av avgränsade universella kvantifierare som står framför en kvantifieringsfri aritmetisk formel , Personal Journal of Yuri Matiyasevich.
• Yuri Matiyasevich, En probabilistisk motsvarighet till fyrfärgsförmodan , sannolikhetsteori och dess tillämpningar, 48 (2003), 411-416.
• Artiklar av Yu. V. Matiyasevich i tidskriften Kvant (1971-1978)

Anteckningar

1. ↑ Ur kronologin för fakulteten för matematik och mekanik. . Hämtad 12 januari 2019. Arkiverad från originalet 4 augusti 2020. (obestämd)
2. ↑ Passage till en ny plats på sidan . Tillträdesdatum: 2 mars 2007. Arkiverad från originalet 5 februari 2007. (obestämd)
3. ↑ Joint Advanced Student School 2007 . Hämtad 2 mars 2007. Arkiverad från originalet 11 juni 2007. (obestämd)
4. ↑ Lista över valda medlemmar av RAS . Hämtad 17 augusti 2013. Arkiverad från originalet 17 augusti 2013. (obestämd)
5. ↑ Resultat av USSR-landslaget vid den 6:e MMO . Hämtad 19 augusti 2018. Arkiverad från originalet 3 oktober 2016. (obestämd)
6. ↑ SPb. Matematik. Samhälle: Priserna . Hämtad 11 januari 2010. Arkiverad från originalet 12 maj 2013. (obestämd)

Länkar

• Yuri Matiyasevichs hemsida .
• Profil för Yu. V. Matiyasevich på den officiella webbplatsen för den ryska vetenskapsakademin
• Varpakhovsky F., Kolmogorov A. Om lösningen av det tionde Hilbertproblemet  // Kvant . - 1970. - Nr 7 . - S. 38-44 .
• Historien om lösningen av Hilberts tionde problem (länk ej tillgänglig) . Hämtad 5 mars 2007. Arkiverad från originalet 16 december 2010. (obestämd) 
• Matiyasevichs teorem på Scholarpedia   (engelska) .
• Yuri Matiyasevich på DBLP  (engelska) .
• Biografi och samarbete med Frankrike  (fr.) . Hämtad 17 augusti 2013. Arkiverad från originalet 17 augusti 2013.
• Akademikern Matiyasevich Yuri Vladimirovich är 70 år gammal! Publicering på den officiella webbplatsen för den ryska vetenskapsakademin.

Tematiska platser	Matematisk släktforskning ORCID Forskar-ID Scopus zbMATH Öppna Helrysk matematisk portal Arkiv för matematikens historia MacTutor
Ordböcker och uppslagsverk	Stor ryss
I bibliografiska kataloger 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