Jurij Matijasevič - Yuri Matiyasevich - Wikipedia
 | Tento životopis živé osoby potřebuje další citace pro ověření. (Červen 2017) (Zjistěte, jak a kdy odstranit tuto zprávu šablony) |
Jurij Matijasevič | |
|---|---|
 | |
| narozený | 2. března 1947 |
| Národnost | sovětský ruština |
| Alma mater | Leningradská státní univerzita |
| Známý jako | jeho příspěvek k teorie vypočítatelnosti, zejména řešení Hilbertův desátý problém |
| Ocenění | Petersburgská matematická společnost Cena (1970), Markovova cena (1980), Humboldtova cena (1998) |
| Vědecká kariéra | |
| Pole | Matematika a Teoretická informatika |
| Instituce | Peterské oddělení z Steklovův matematický ústav |
Jurij Vladimirovič Matijasevič, (ruština: Юрий Влади́мирович Матиясе́вич; narozen 2. března 1947 v Leningrad ) je ruština matematik a počítačový vědec. On je nejlépe známý pro jeho negativní řešení Hilbertův desátý problém (Matijasevičova věta ), který byl uveden v jeho disertační práce na LOMI (Leningradské oddělení Steklovův matematický ústav ).
Životopis
 |
- V letech 1962–1963 Matiyasevich studoval na Petrohradské lyceum 239;
- V letech 1963–1964 studoval na Kolmogorovova škola; v roce 1964 byl absolutním vítězem All-Union olympiáda v matematice
- V letech 1964–1969 studoval Matijasevič na Fakulta matematiky a mechaniky z Leningradská státní univerzita. Kvalifikací pro tým SSSR do Mezinárodní matematická olympiáda (kde získal zlatou medaili) byl Jurij Matijasevič přijat bez zkoušek Leningradská státní univerzita, přeskočil poslední ročník studia na střední škole.
- V roce 1966 přednesl přednášku na adrese Mezinárodní kongres matematiků držen v Moskva. V té době byl vysokoškolským studentem druhého ročníku.
- V roce 1967 při práci na slovní úloha pro poloskupiny, zkonstruoval poloskupinu se třemi vztahy, která je nerozhodnutelná.[1]
- V letech 1969–1970 pokračoval v doktorském studiu na Leningradské oddělení z Steklovův matematický ústav pod dohledem Sergej Maslov.
- V roce 1970 získal doktorát (Kandidát stupně, což odpovídá Ph.D) při LOMI.
- V letech 1970–1974 působil jako vědecký pracovník ve společnosti LOMI.
- V roce 1972 získal druhý doktorský titul (ekvivalent habilitace nebo D.Sc, zvaný „doktor nauk“ Sovětský svaz ).
- V letech 1974–1980 působil jako vedoucí výzkumný pracovník ve společnosti LOMI.
- V letech 1980–2018 byl vedoucím Jurij Matijasevič Laboratoř matematické logiky na LOMI.
- Od roku 1995 je profesorem Státní univerzita v Petrohradu, zpočátku u předsedy softwarového inženýrství, později u předsedy algebry a teorie čísel.
- V roce 1997 byl zvolen za příslušného člena Ruská akademie věd.
- Od roku 1998 je Jurij Matijasevič viceprezidentem Matematická společnost v Petrohradě.
- Od roku 2002 je vedoucím Matematická olympiáda v Petrohradě.
- Od roku 2003 je Matijasevič spolurežisérem každoroční německo-ruské studentské školy JASS.
- V roce 2008 byl zvolen řádným členem Ruská akademie věd.
Ceny a vyznamenání
- 1964: Zlatá medaile na Mezinárodní matematická olympiáda držen v Moskva.
- 1970: "Cena mladého matematika" Leningradská matematická společnost.[2]
- 1980: Markovova cena Akademie věd SSSR.
- 1996: čestný titul, Université d'Auvergne.
- 1998: Získal Humboldtova cena za výzkum.
- 2003: čestný titul, Université Pierre et Marie Curie (UPMC).
- 2007: člen Bavorská akademie věd.
Pozoruhodná fakta
- Polynomial příbuzný barvení triangulace koule byl pojmenoval Matiyasevich; vidět Matiyasevichův polynom, čtyři barevné věty a váhové systémy.
- Byl členem Americká matematická společnost a Sdružení pro symbolickou logiku; a také redakčních rad pro časopisy Diskrétní matematika a aplikace a Počítačové nástroje ve vzdělávání.
- Pozoruhodné studenti zahrnují: Eldar Musajev, Maxim Vsemirnov, Alexej Pastor, Dmitrij Karpov.
Vybraná díla
Rezervovat
- Jurij Matijasevič Hilbertův 10. problém Předmluva Martin Davis a Hilary Putnam, The MIT Press, 1993. ISBN 0-262-13295-8.
Doklady
- Jurij Matijasevič (1973). „Rozpoznání inkluzního vztahu v reálném čase“ (PDF). Journal of Sovjet Mathematics. 1 (1): 64–70. doi:10.1007 / bf01117471. ISSN 0090-4104.
- Jurij Matijasevič, Julia Robinson (1975). „Redukce libovolné diofantické rovnice na jednu ze 13 neznámých“. Acta Arithmetica. XXVII: 521–549.
- Jurij Matijasevič, Géraud Sénizergues (1996). „Problémy s rozhodováním pro systémy s poloviční úrovní s několika pravidly“. LICS.
- Jurij Matijasevič, Důkazní postupy jako základy metamatematických důkazů v diskrétní matematice, Osobní deník Jurije Matijaseviče.
- Jurij Matijasevič, Eliminace ohraničených univerzálních kvantifikátorů stojících před aritmetickým vzorcem bez kvantifikátoru, Osobní deník Jurije Matijaseviče.
- Jurij Matijasevič, Polynomial vztahující se k barvení Triangulace koule, Osobní deník Jurije Matijaseviče.
- Yuri Matiyasevich (2004). „Některá pravděpodobnostní přepracování čtyřbarevné domněnky“. Journal of Graph Theory. 46 (3): 167–179. doi:10,1002 / jgt.10178.
Viz také
Reference
- ^ Wolfram, Stephen (2002). Nový druh vědy. Wolfram Media, Inc. str.1141. ISBN 1-57955-008-8.
- ^ „SPb. Matematika. Soc. Ceny“. www.mathsoc.spb.ru.
externí odkazy
- Domovská stránka Jurije Matijaseviče.
- Yuri Matiyasevich ve společnosti DBLP.
- Hilbertův desátý problém: Historie matematického objevu.
- Výsledky Jurije Matijaseviče na Mezinárodní matematická olympiáda
- Matijasevičova věta na Scholarpedia.
- Vita a spolupráce s Francií (francouzsky).
- O'Connor, John J.; Robertson, Edmund F., "Jurij Matijasevič", MacTutor Historie archivu matematiky, University of St Andrews.
- Superpočítač pro superproblém: Výpočetní cesta do čisté matematiky
