Juri Matiassevich

Juri Matiassevich. Muotokuva vuonna 1969. Elämäkerta

Syntymä	2. maaliskuuta 1947 Pietari
Nimi äidinkielellä	Юрий Владимирович Матиясевич
Kansalaisuudet	Venäjän Neuvostoliitto
Koulutus	Pietarin valtionyliopiston matematiikan ja mekaniikan tiedekunta ( d ) Pietarin lyceum 239 ( en ) Steklov Mathematics Institute
Toiminta	Matemaatikko , tietojenkäsittelytieteen tutkija , yliopiston professori

Muita tietoja

Työskenteli	Pietarin Steklovin laitos, Venäjän tiedeakatemian matematiikan instituutti ( en ) , Krasnojarskin kesäkoulu ( d ) , Pietarin valtionyliopisto
Tuoli	Venäjän tiedeakatemian varsinainen jäsen ( d )
Alueet	Matemaattinen logiikka , graafiteoria , lukuteoria , laskentateoria , teoreettinen tietokone
Jonkin jäsen	Baijerin tiedeakatemia Venäjän tiedeakatemia Academia Europaea (2014)
Opinnäytetyön ohjaajat	Sergey Yuryevich Maslov ( d ) , Nikolai Alexandrowitsch Schanin ( en )
Verkkosivusto	(en) logic.pdmi.ras.ru/~yumat/
Palkinnot	Markov-palkinnon kunniatohtorin tutkinto Pierre-et-Marie-Curie -yliopistosta (2003)

Juri Vladimirovich Matiassevich ( venäjäksi : Юрий Владимирович Матиясевич , syntynyt2. maaliskuuta 1947in Leningrad , Venäjä) on venäläinen matemaatikko , joka ratkaisi Hilbertin kymmenes ongelma .

Elämäkerta

Hän opiskeli Leningrad koulussa N O 239 (in) , joka on erikoistunut matematiikan ja fysiikan (jossa myös tutkittu esimerkiksi Perelman ja Stanislav Smirnov ). Vuonna 1964 hän voitti kultamitalin Neuvostoliiton klo International Matemaattinen olympialaiset , joka pidettiin Moskovassa . Vuonna 1966 hän esitteli konferenssiin kansainvälisen kongressin Matematiikan vuonna Moskovassa . Hän oli toista vuotta yliopistossa. Vuonna 1967 hän työskenteli sanaryhmän parissa ryhmille ja puoliryhmille ja rakensi puoliryhmän, jossa oli kolme suhdetta ja kaksi generaattoria, mikä oli ratkaisematonta.

Vuonna 1969 koulutuksen jälkeen laitoksella matematiikan ja mekaniikan , hän valmistui Leningradin State University. Hän jatkaa jatko-opintoja Pietarin Steklov-matematiikan instituutissa ( Sergei Maslovin valvonnassa ) LOMI: ssa .

Suurelta osin Julia Robinsonin työhön perustuen hän osoitti vuonna 1970 Hilbertin kymmenennen ongelman , joka on hänen kansainvälisen maineensa pääasiallinen lähde, ratkaisemattomuuden : hän piti tästä aiheesta vierailevaa luentoa Nizzassa vuonna 1970 järjestetyssä kansainvälisessä matemaatikkojen kongressissa. , hän löysi myös Knuth-Morris-Pratt -algoritmin ennen näitä.

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

Hän on tällä hetkellä Pietarin LOMI: n matemaattisen logiikan laboratorion johtaja.

Youri Matiiassevitch, Hilbertin kymmenes ongelma: hänen päättämättömyys , Masson-painos, 1995. ( ISBN 22-2584-835-1 ) .
Ю. В. Матиясевич Распознавание в реальное время отношения вхождения, Записки семинаров Ленинградскоининотинградскоичинотинградскоичинотинградскоичинотинградскоичинотинградскоичинотинградскоиния В. А. Стеклова Академии Наук СССР, т. 20, 1971, 104-114
Juri Matiyasevich ja Julia Robinson, mielivaltaisen diofantiinisen yhtälön pelkistäminen yhdeksi 13 tuntemattomasta , Acta Arithmetica, XXVII (1975), 521-549.
Yuri Matiyasevich ja Géraud Senizerguez, Puoli-systeemien päätöksenteko-ongelmat, muutama sääntö, LICS'96.
Juri Matiyasevich, Proof Procedures as Bases for Metamathematical Proofs in Discrete Mathematics , Personal Journal of Yury Matiyasevich.
Juri Matiyasevich, Rajoitettujen universaalien kvanttoreiden poistaminen seisomaan kvanttoreista vapaan aritmeettisen kaavan edessä , Personal Journal of Yuri Matiyasevich.
Juri Matiyasevich, Yksi todennäköisyysvastaava neljän värin oletuksesta, Теория вероятности и её применения, 48 (2003), 411-416.
Статьи Ю. В. Матиясевича в журнале "Квант" (1971—1978)

(fr) Tämä artikkeli on osittain tai kokonaan otettu englanninkielisestä Wikipedia- artikkelista " Yuri Matiyasevich " ( katso kirjoittajaluettelo ) .

Pietarin kaupunki nimettiin uudelleen Petrogradiksi ja sitten Leningradiksi ennen alkuperäisen nimensä palauttamista. Paikannimiä käytetään sellaisina kuin ne olivat olemassa tässä artikkelissa mainittujen tosiseikkojen aikaan.

Stephen Wolfram , uudenlainen tiede , Wolfram Media, Inc.,2002( ISBN 1-57955-008-8 , luettu verkossa ) , 1141
Instituutin nimi, katso instituutin verkkosivuston tarkkuus: [1] . LOMI on alkuperäinen venäläinen lyhenne. Nykyiset lyhenteet ovat: POMI RAN venäjäksi ja PDMI RAS englanniksi.
(ru) Юрий Матиясевич , " О распознавании в реальное время отношения вхождения " , Записки научных семинаров Ленинградского отделения Математического института им. В.А.Стеклова , voi. 20,1971, s. 104--114 ( lue verkossa ), sen venäjänkielisessä versiossa, käännettynä englanniksi nimellä (en) Juri Matiyasevich , " Reaaliaikainen tunnustaminen inkluusiosuhteesta " , Journal of Soviet Mathematics , voi. 1,1973, s. 64--70 ( lue verkossa )
Knuth mainitsee sen kirjansa Selected Papers on Algorithms Design virheissä : ”Sain vuonna 2012 tietää, että Juri Matiyasevich oli ennakoinut tämän paperin lineaarisen ajan mallien sovittamista ja kuvion esikäsittelyalgoritmeja, binäärejä aakkosia koskevassa erityistapauksessa, jo vuonna 1969. Hän esitti ne rakenteina Turing-koneelle, jossa oli kaksiulotteinen työmuisti. "