Muchnik, Andrey Albertovich

Den stabile version blev tjekket ud den 26. juli 2021 . Der er ubekræftede ændringer i skabeloner eller .
Andrey Albertovich Muchnik
Fødselsdato 24. februar 1958( 24-02-1958 )
Dødsdato 18. marts 2007 (49 år)( 2007-03-18 )
Land  USSR → Rusland 
Videnskabelig sfære matematisk logik
Arbejdsplads A. A. Dorodnitsyn Computing Center fra Det Russiske Videnskabsakademi
Alma Mater Moskva statsuniversitet (Mekhmat)
Akademisk grad Kandidat for fysiske og matematiske videnskaber
videnskabelig rådgiver A. L. Semyonov
Priser og præmier A.N. Kolmogorov-prisen (2006)

Andrei Albertovich Muchnik ( 24. februar 1958  - 18. marts 2007 ) - sovjetisk og russisk matematiker , vinder af A. N. Kolmogorov-prisen (2006).

Biografi

Født 24. februar 1958 .

Forældre er matematikere, elever af P. S. Novikov . Far - Albert Abramovich Muchnik , der løste Posts problem - om eksistensen af ​​en ikke-triviel utallige grad af Turing -reducerbarhed , mor - Nadezhda Mitrofanovna Ermolaeva.

Kom ind på Moscow State University , hvor han begyndte at arbejde som matematiker på et seminar af E. M. Landis og Yu . Det første arbejde med differentialligninger blev udført i det andet år under vejledning af Yu. S. Ilyashenko.

Specialet er skrevet ved Institut for Matematisk Logik, dets emne er løsningen af ​​det problem, som M. Rabin stillede ved International Mathematical Congress for at eliminere transfinit induktion i beviset for Rabins vigtigste sætning om løsbarheden af ​​den monadiske teori for flere konsekvenser. Senere blev dette arbejde brugt til at bevise generaliseringen af ​​Rabins teorem, annonceret af Shelah og Stupp.

Arbejdede på VC. A. A. Dorodnitsyn RAS , var en af ​​de faktiske ledere af Kolmogorov-seminaret ved Moskvas statsuniversitet.

Død 18. marts 2007 .

Priser

A. N. Kolmogorov-prisen (sammen med A. L. Semyonov , 2006) - for en række værker "Om forfining af A. N. Kolmogorovs skøn relateret til teorien om tilfældighed".

Links

  Gå til Wikidata-elementet  Tematiske steder