Muchnik, Andrej Albertovics

A stabil verziót 2021. július 26-án nézték meg . Ellenőrizetlen változtatások vannak a sablonokban vagy a .
Andrej Albertovics Muchnik
Születési dátum 1958. február 24( 1958-02-24 )
Halál dátuma 2007. március 18. (49 éves)( 2007-03-18 )
Ország  Szovjetunió → Oroszország 
Tudományos szféra matematikai logika
Munkavégzés helye Az Orosz Tudományos Akadémia A. A. Dorodnyicin Számítástechnikai Központja
alma Mater Moszkvai Állami Egyetem (Mekhmat)
Akadémiai fokozat A fizikai és matematikai tudományok kandidátusa
tudományos tanácsadója A. L. Szemjonov
Díjak és díjak A. N. Kolmogorov-díj (2006)

Andrej Albertovics Muchnik ( 1958. február 24.  - 2007. március 18. ) - szovjet és orosz matematikus , A. N. Kolmogorov-díjas (2006).

Életrajz

1958. február 24-én született .

A szülők matematikusok, P. S. Novikov tanítványai . Apa - Albert Abramovics Muchnik , aki megoldotta Post problémáját - a Turing -redukálhatóság nem triviális megszámlálható fokáról , anyja - Nadezhda Mitrofanovna Ermolaeva.

Beiratkozott a Moszkvai Állami Egyetemre , ahol matematikusként kezdett dolgozni E. M. Landis és Yu szemináriumán . A differenciálegyenletekkel kapcsolatos első munkát a második évben végezték Yu. S. Ilyashenko irányítása alatt.

A dolgozat a Matematikai Logika Tanszéken készült, témája a M. Rabin által a Nemzetközi Matematikai Kongresszuson felvetett, a transzfinit indukciót kiküszöbölő feladat megoldása Rabin legfontosabb tételének bizonyítása során a monádikus elmélet megoldhatóságáról. következményei. Később ezt a munkát a Shelah és Stupp által bejelentett Rabin-tétel általánosításának bizonyítására használták fel .

A VC -nél dolgozott . A. A. Dorodnicin RAS , a Moszkvai Állami Egyetem Kolmogorov szemináriumának egyik tényleges vezetője volt.

2007. március 18- án halt meg .

Díjak

A. N. Kolmogorov-díj ( A. L. Szemjonovval együtt , 2006) - „Az A. N. Kolmogorov véletlenszerűség elméletével kapcsolatos becsléseinek finomításáról” című műsorozatért.

Linkek

  Ugrás a Wikidata elemre  Tematikus oldalak