Andrzej Muchnik

Andrzej Muchnik
Urodzić się	( 1958-02-24 ) 24 lutego 1958
Zmarł	18 marca 2007 ( 19.03.2007 ) (w wieku 49)
Obywatelstwo	ZSRR Rosja
Alma Mater	Uniwersytet Państwowy w Moskwie
Nagrody
Kariera naukowa
Pola	Logika matematyczna
Instytucje	Rada Naukowa Akademii Nauk ZSRR Instytut Nowych Technologii
Doradca doktorski	Aleksiej Siemionow

Muchnik Andrey Albertovich (24 lutego 1958 - 18 marca 2007) był radzieckim i rosyjskim matematykiem, laureatem nagrody AN Kołmogorowa (2006).

Biografia

Andriej Muchnik urodził się 24 lutego 1958 r.

Jego rodzice byli matematykami i byli uczniami PS Nowikowa . Jego ojcem był Albert Abramowicz Muchnik , który rozwiązał problem Posta - o istnieniu nietrywialnego przeliczalnego stopnia redukowalności Turinga , a matką Nadieżda Mitrofanowna Ermolajewa.

Wstąpił do Moskiewskiego Uniwersytetu Państwowego , gdzie rozpoczął pracę jako matematyk na seminarium Jewgienija Landisa i Julija Iljaszenki dla młodszych studentów Wydziału Mechaniki i Matematyki Moskiewskiego Uniwersytetu Państwowego im. Łomonosowa . Jego pierwsza praca, dotycząca równań różniczkowych, została wykonana na drugim roku pod kierunkiem Yu. S. Iljaszenko.

Od trzeciego roku specjalizował się w teorii definiowalności na Wydziale Logiki Matematycznej, gdzie jego promotorem był Aleksiej Semenow . Tematem jego dyplomu (1981) jest rozwiązanie problemu postawionego przez Michaela Rabina na Międzynarodowym Kongresie Matematyków w Nicei w celu wyeliminowania indukcji pozaskończonej w dowodzie najważniejszego twierdzenia Rabina o rozwiązywalności monadycznej teorii drzewa nieskończonego. Później An. A. Muchnik wykorzystał swoje podejście do udowodnienia. uogólnienie twierdzenia Rabina ogłoszone przez Szelacha i Stuppa. Wykorzystując oryginalny pomysł Alfreda Tarskiego wprowadził w pojęcie samookreślenia, aby otrzymać krótki i elegancki dowód [TCS] twierdzenia Cobhama - Semenova [Siber} (patrz też [Bes] ).

Jakiś. A. Muchnik wniósł również fundamentalne wyniki w dziedzinie algorytmicznej teorii informacji (złożoność Kołmogorowa). Wiele wyników uzyskanych przez niego samego i we współpracy z kolegami zostało opublikowanych po jego śmierci. Przegląd jego twórczości zawarty jest w nekrologu.

Pracował w Instytucie Nowych Technologii i Radzie Naukowej Akademii Nauk ZSRR nad złożonym problemem „Cybernetyki”, był jednym z faktycznych kierowników seminarium Kołmogorowa na Moskiewskim Uniwersytecie Państwowym .

Nagrody

Andriej otrzymał nagrodę AN Kołmogorowa (wraz z Aleksiejem Semenowem , 2006) - za wybitne osiągnięcia w dziedzinie matematyki za cykl prac „O udoskonaleniu AN Kołmogorowa, związanym z teorią przypadku”.

Linki zewnętrzne

• Muchnik, Andriej Albertowicz na oficjalnej stronie Rosyjskiej Akademii Nauk
• Osoby: Muchnik Andriej Albertowicz . mathnet.ru. Źródło 2016-3-15 .
• "С. И. Адян, А. Л. Семёнов, В. А. Успенский, «Андрей Альбертович Мучник (некролог)», УМН, 62:4(376) (20 07), 140–144" . mathnet.ru . Źródło 2016-03-15 .