Albert Muchnik
Albert Abramovich Muchnik (2 januari 1934 – 14 februari 2019) var en rysk matematiker som arbetade inom området stiftelser och matematisk logik .
0 Han fick sin Ph.D. från Moscow State Pedagogical Institute 1959 under ledning av Pjotr Novikov . Muchniks viktigaste bidrag var i ämnet relativ beräkningsbarhet . Han och Richard Friedberg introducerade oberoende av varandra prioritetsmetoden som gav ett jakande svar på Posts problem angående förekomsten av rekursivt uppräknade Turinggrader mellan och 0' . Detta resultat, nu känt som Friedberg-Muchnik-satsen , inledde studien av Turing-graderna för de rekursivt uppräknade mängderna som visade sig ha en mycket komplicerad och icke-trivial struktur.
Muchnik gav också betydande bidrag till Medvedevs teori om massproblem, och introducerade en generalisering av Turing-grader, kallade "Muchnik-grader", 1963. Muchnik utvecklade också Kolmogorovs förslag om att se intuitionism som "problemkalkyl" och bevisade att gallret av Muchnik grader är Brouwerian .
Muchnik var gift med den ryska matematikern Nadezhda Ermolaeva. Deras son Andrey Muchnik , som dog 2007, var också en matematiker som arbetade med matematikens grunder. Han dog i februari 2019.
Utvalda publikationer
- AA Muchnik, Om olösbarheten av problemet med reducerbarhet i teorin om algoritmer . (på ryska) Doklady Akademii Nauk SSSR (NS), vol. 108 (1956), s. 194–197
externa länkar
| Myndighetskontroll : Vetenskapliga databaser |
|---|
