Yuri Matiyasevich - Yuri Matiyasevich
Yuri Matiyasevich | |
|---|---|
 | |
| Urodzony |
2 marca 1947 |
| Narodowość | Radziecki rosyjski |
| Alma Mater | Leningrad State University |
| Znany z | jego wkład w teorię obliczalności , zwłaszcza rozwiązanie dziesiątego problemu Hilberta |
| Nagrody |
Nagroda Petersburskiego Towarzystwa Matematycznego (1970), Nagroda Markowa (1980), Nagroda Humboldta (1998) |
| Kariera naukowa | |
| Pola | Matematyka i informatyka teoretyczna |
| Instytucje | Petersburg Department of Stiekłow Instytutu Matematyki |
Yuri Vladimirovich Matiyasevich ( ros . Ю́рий Владимирович Матиясе́вич ; ur. 2 marca 1947 r. W Leningradzie ) jest rosyjskim matematykiem i informatykiem . Najbardziej znany jest z negatywnego rozwiązania dziesiątego problemu Hilberta ( twierdzenie Matiyasevicha ), które zostało przedstawione w jego pracy doktorskiej na LOMI (Leningradzki Oddział Instytutu Matematycznego im . Steklowa ).
Biografia
- W latach 1962–1963 Matiyasevich uczył się w Sankt Petersburgu Liceum 239 ;
- W latach 1963–1964 uczył się w szkole Kołmogorowa ; w 1964 roku był absolutnym zwycięzcą Ogólnounijnej Olimpiady matematycznej
- W 1964-1969, studiował na Matiyasevich Matematyki i Mechaniki Wydziału z Leningradzkiego Uniwersytetu Państwowego . Kwalifikując się do drużyny ZSRR na Międzynarodową Olimpiadę Matematyczną (gdzie zdobył złoty medal), Yuri Matiyasevich został przyjęty bez egzaminów na Leningrad State University , pomijając ostatni rok liceum.
- W 1966 r. Wygłosił referat na Międzynarodowym Kongresie Matematyków w Moskwie . Był wówczas studentem drugiego roku studiów licencjackich.
- W latach 1969-1970, on wykonywał studia doktoranckie w Leningradzie Department of Stiekłow Instytutu Matematycznego pod kierunkiem Siergieja Masłowa .
- W 1970 r. Uzyskał stopień doktora ( stopień kandydata , odpowiednik doktora) w LOMI i wygłosił referat na zaproszenie na Międzynarodowym Kongresie Matematyków w Nicei na temat nierozstrzygalności dziesiątego problemu Hiberta.
- W latach 1970–1974 był pracownikiem naukowym LOMI .
- W 1972 r. Uzyskał stopień doktora drugiego stopnia (równoważny z habilitacją lub tytułem doktora habilitowanego , w Związku Radzieckim nazywany „doktor nauk” ).
- W latach 1974–1980 był starszym badaczem w LOMI .
- W latach 1980-2018 Yuri Matiyasevich był kierownikiem Laboratorium logiki matematycznej w LOMI .
- Od 1995 roku jest profesorem na Uniwersytecie Państwowym w Sankt Petersburgu , początkowo na katedrze inżynierii oprogramowania , później na katedrze algebry i teorii liczb .
- W 1997 roku został wybrany członkiem korespondentem Rosyjskiej Akademii Nauk .
- Od 1998 roku Yuri Matiyasevich jest wiceprezesem Petersburskiego Towarzystwa Matematycznego .
- Od 2002 roku jest kierownikiem Miejskiej Olimpiady Matematycznej w Petersburgu .
- Od 2003 roku Matiyasevich jest współdyrektorem corocznej niemiecko-rosyjskiej szkoły uczniowskiej JASS .
- W 2008 roku został wybrany pełnoprawnym członkiem Rosyjskiej Akademii Nauk .
Nagrody i wyróżnienia
- 1964: Złoty medal na Międzynarodowej Olimpiadzie Matematycznej w Moskwie .
- 1970: „Nagroda dla młodych matematyków” Leningradzkiego Towarzystwa Matematycznego .
- 1980: Nagroda im. Markowa Akademii Nauk ZSRR .
- 1996: Honorowy Stopień, Université d'Auvergne .
- 1998: Otrzymał nagrodę Humboldt Research Award .
- 2003: Honorowy Stopień, Université Pierre et Marie Curie (UPMC).
- 2007: Członek Bawarskiej Akademii Nauk .
Godne uwagi fakty
- Na cześć Matiyasevicha nazwano wielomian związany z zabarwieniami triangulacji kuli; patrz Wielomian Matiyasevicha, twierdzenie o czterech kolorach i układy wag .
- Był członkiem American Mathematical Society i Association for Symbolic Logic ; a także z redakcji czasopism Discrete Mathematics and Applications and Computer Instruments in Education .
- Znani uczniowie to: Eldar Musayev , Maxim Vsemirnov , Alexei Pastor , Dmitri Karpov .
Wybrane prace
Książka
- Yuri Matiyasevich Hilbert's 10th Problem , Przedmowa Martina Davisa i Hilary Putnam , The MIT Press, 1993. ISBN 0-262-13295-8 .
Dokumenty tożsamości
- Yuri Matiyasevich (1973). „Rozpoznawanie relacji włączenia w czasie rzeczywistym” (PDF) . Journal of Sovjet Mathematics . 1 (1): 64–70. doi : 10.1007 / bf01117471 . ISSN 0090-4104 . S2CID 121919479 .
- Yuri Matiyasevich, Julia Robinson (1975). „Redukcja dowolnego równania diofantycznego do jednej na 13 niewiadomych” . Acta Arithmetica . XXVII : 521–549.
- Yuri Matiyasevich, Géraud Sénizergues (1996). „Problemy decyzyjne dla systemów semi-Thue z kilkoma regułami” . LICS .
- Yuri Matiyasevich, Proof Procedures as Bases for Metamathematical Proofs in Discrete Mathematics , Personal Journal of Yury Matiyasevich.
- Yuri Matiyasevich, Eliminacja ograniczonych uniwersalnych kwantyfikatorów stojących przed formułą arytmetyczną bez kwantyfikatorów , Personal Journal of Yuri Matiyasevich.
- Yuri Matiyasevich, A Polynomial related to Colorings of Triangulation of Sphere , Personal Journal of Yuri Matiyasevich.
- Yuri Matiyasevich (2004). „Niektóre probabilistyczne powtórzenia hipotezy czterech kolorów” . Journal of Graph Theory . 46 (3): 167–179. doi : 10.1002 / jgt.10178 .
Zobacz też
Bibliografia
Linki zewnętrzne
- Strona domowa Jurija Matiyasevicha .
- Yuri Matiyasevich w DBLP .
- Wyniki Jurija Matiyasevicha na Międzynarodowej Olimpiadzie Matematycznej
- Twierdzenie Matiyasevicha o Scholarpedii.
- Vita i współpraca z Francją (po francusku) .
- O'Connor, John J .; Robertson, Edmund F. , „Yuri Matiyasevich” , archiwum MacTutor History of Mathematics , University of St Andrews .
- Superkomputery dla superproblemu: obliczeniowa podróż do czystej matematyki