Andrey Albertovich Muchnik (February 24, 1958 - March 18, 2007) was a
Soviet and
Russian mathematician who practiced
mathematical logic. He was awarded the
A. N. Kolmogorov Prize in 2006.
Biography
Andrey Muchnik was born on February 24, 1958, in the Soviet Union. His parents were
Albert Abramovich Muchnik and Nadezhda Mitrofanovna Ermolaeva. Both of his parents were mathematicians and students of
P. S. Novikov, a Soviet mathematician. Muchnik's father, Albert Muchnik, solved Post's problem regarding the existence of a non-trivial enumerable degree of
Turing reducibility.
Andrey Muchnik began his academic journey at
Moscow State University. Muchnik began working as a mathematician at the seminar of
Evgenii Landis
Evgenii Mikhailovich Landis (russian: Евге́ний Миха́йлович Ла́ндис, ''Yevgeny Mikhaylovich Landis''; 6 October 1921 – 12 December 1997) was a Soviet mathematician who worked mainly on partial differential equations.
...
and
Yulij Ilyashenko
Yulij Sergeevich Ilyashenko (Юлий Сергеевич Ильяшенко, 4 November 1943, Moscow) is a Russian mathematician, specializing in dynamical systems, differential equations, and complex foliations.
Ilyashenko received in 1969 from ...
for third year students of the
Faculty of Mechanics and Mathematics of Lomonosov Moscow State University. In his second year, he published his first work on
differential equations
In mathematics, a differential equation is an equation that relates one or more unknown functions and their derivatives. In applications, the functions generally represent physical quantities, the derivatives represent their rates of change, an ...
under the guidance of Ilyashenko.
Starting in his third year, he specialized in definability theory at the Department of Mathematical Logic, under the supervision of
Alexei Semenov. In 1981, he completed his diploma on the solution to a problem posed by
Michael Rabin
Michael Rabin ( ; May 2, 1936January 19, 1972) was an American violinist. He has been described as "one of the most talented and tragic violin virtuosi of his generation". His complete Niccolò Paganini, Paganini "24 Caprices" for solo violin are ...
at the
International Congress of Mathematicians
The International Congress of Mathematicians (ICM) is the largest conference for the topic of mathematics. It meets once every four years, hosted by the International Mathematical Union (IMU).
The Fields Medals, the Nevanlinna Prize (to be rename ...
in Nice. The problem involved eliminating transfinite induction in the proof of Rabin's theorem on the solvability of the monadic theory of infinite trees. Later on, Muchnik applied his approach to prove a generalization of Rabin's theorem, which had been announced by Shelah and Stupp. Using the original idea of
Alfred Tarski, he introduced in the notion of self-definability to derive a proof of the Cobham-Semenov theorem. He earned his Ph.D. in 2001.
Subsequently, he worked at the Institute of New Technologies and the Scientific Council of the USSR Academy of Sciences in the field of
cybernetics
Cybernetics is a wide-ranging field concerned with circular causality, such as feedback, in regulatory and purposive systems. Cybernetics is named after an example of circular causal feedback, that of steering a ship, where the helmsperson m ...
. He eventually became one of the leaders of the Kolmogorov seminar at
Moscow State University.
Muchnik also contributed results to the field of
algorithmic information theory. Many of his results and collaborations were published after his death.
Awards
Andrey Muchnik was awarded the A.N. Kolmogorov Prize (along with
Alexei Semenov, 2006) for his work in the field of mathematics and for the series of works "On the Refinement of A.N. Kolmogorov, Related to the Theory of Chance.”
References
External links
Muchnik, Andrei Albertovichon the official website of the
Russian Academy of Sciences
Persons: Muchnik Andrey Albertovich mathnet.ru. Retrieved 2016-3-15.
*
{{DEFAULTSORT:Muchnik, Andrey
Russian mathematicians
Soviet mathematicians
Moscow State University alumni
Academic staff of Moscow State University
1958 births
2007 deaths