Andrey Muchnik

Last updated
Andrey Muchnik
Born(1958-02-24)February 24, 1958
DiedMarch 18, 2007 (2007-03-19) (aged 49)
CitizenshipUSSR
Russia
Alma mater Moscow State University
Awards Kolmogorov Prize (2006)
Scientific career
Fields Mathematical logic
Institutions Scientific Council of the Academy of Sciences of the USSR
Institute of New Technologies
Doctoral advisor Alexei Semyonov

Andrey Albertovich Muchnik (February 24, 1958 - March 18, 2007) was a Soviet and Russian mathematician known for his work in the field of mathematical logic. He was awarded the A. N. Kolmogorov Prize in 2006.

Contents

Biography

Andrey Muchnik (born on February 24, 1958) was a Soviet mathematician renowned for his contributions to various fields within mathematics. His parents were Albert Abramovich Muchnik and Nadezhda Mitrofanovna Ermolaeva in the Soviet Union. Both parents were mathematicians and students of P. S. Novikov, a Soviet mathematician. Muchnik's father, Albert Muchnik, notably 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, where he began working as a mathematician at the seminar of Evgenii Landis and Yulij Ilyashenko for junior 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 under the guidance of Ilyashenko.

Starting from his third year at the university, 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 at the International Congress of Mathematicians 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. [1] Using the original idea of Alfred Tarski, he introduced in the notion of self-definability to derive a short and elegant proof of the Cobham-Semenov theorem. He earned his Ph.D. in 2001. [2]

Subsequently, he worked at the Institute of New Technologies and the Scientific Council of the USSR Academy of Sciences in the field of cybernetics [ citation needed ]. Eventually, he became one of the leaders of the Kolmogorov seminar at Moscow State University [ citation needed ].

Muchnik also contributed fundamental results in the field of algorithmic information theory [ citation needed ]. A large number of his results and collaborations were published after his death. [3]

Awards

Andrey was awarded the A.N. Kolmogorov Prize (together with Alexei Semenov, 2006) for his achievements in the field of mathematics, for the series of works "On the refinement of A.N. Kolmogorov, related to the theory of chance". [4]

Related Research Articles

<span class="mw-page-title-main">Pavel Urysohn</span> Russian mathematician

Pavel Samuilovich Urysohn was a Soviet mathematician who is best known for his contributions in dimension theory, and for developing Urysohn's metrization theorem and Urysohn's lemma, both of which are fundamental results in topology. His name is also commemorated in the terms Urysohn universal space, Fréchet–Urysohn space, Menger–Urysohn dimension and Urysohn integral equation. He and Pavel Alexandrov formulated the modern definition of compactness in 1923.

<span class="mw-page-title-main">Andrey Kolmogorov</span> Soviet mathematician (1903–1987)

Andrey Nikolaevich Kolmogorov was a Soviet mathematician who contributed to the mathematics of probability theory, topology, intuitionistic logic, turbulence, classical mechanics, algorithmic information theory and computational complexity.

<span class="mw-page-title-main">Leonid Levin</span> Soviet-American mathematician

Leonid Anatolievich Levin is a Soviet-American mathematician and computer scientist.

<span class="mw-page-title-main">Nikolay Semyonov</span> Soviet physical chemist

Nikolay Nikolayevich Semyonov , sometimes Semenov, Semionov or Semenoff was a Soviet physicist and chemist. Semyonov was awarded the 1956 Nobel Prize in Chemistry for his work on the mechanism of chemical transformation.

<span class="mw-page-title-main">Nikolai Luzin</span> Russian mathematician

Nikolai Nikolayevich Luzin was a Soviet and Russian mathematician known for his work in descriptive set theory and aspects of mathematical analysis with strong connections to point-set topology. He was the eponym of Luzitania, a loose group of young Moscow mathematicians of the first half of the 1920s. They adopted his set-theoretic orientation, and went on to apply it in other areas of mathematics.

Boris Vladimirovich Gnedenko was a Soviet mathematician and a student of Andrey Kolmogorov. He was born in Simbirsk, Russia, and died in Moscow. He is perhaps best known for his work with Kolmogorov, and his contributions to the study of probability theory, particularly extreme value theory, with such results as the Fisher–Tippett–Gnedenko theorem. Gnedenko was appointed as Head of the Physics, Mathematics and Chemistry Section of the Ukrainian Academy of Sciences in 1949, and became Director of the NASU Institute of Mathematics in 1955.

Sergei Ivanovich Adian, also Adyan, was a Soviet and Armenian mathematician. He was a professor at the Moscow State University and was known for his work in group theory, especially on the Burnside problem.

The MSU Faculty of Mechanics and Mathematics is a faculty of Moscow State University.

<span class="mw-page-title-main">Yuri Prokhorov</span> Russian mathematician (1929–2013)

Yuri Vasilyevich Prokhorov was a Soviet and Russian mathematician, active in the field of probability theory. He was a PhD student of Andrey Kolmogorov at the Moscow State University, where he obtained his PhD in 1956.

<span class="mw-page-title-main">Albert Muchnik</span> Russian mathematician (1934–2019)

Albert Abramovich Muchnik was a Russian mathematician who worked in the field of foundations and mathematical logic.

<span class="mw-page-title-main">Vladimir Uspensky (mathematician)</span>

Vladimir Andreyevich Uspensky was a Russian mathematician, linguist, writer, doctor of physics and mathematics (1964). He was the author of numerous papers on mathematical logic and linguistics. In addition, he also penned a number of memoir essays. Uspensky initiated a reform of linguistic education in Russia.

Andrey Aleksandrovich Gonchar, was a Soviet and Russian mathematician, specializing in analysis.

<span class="mw-page-title-main">Yulij Ilyashenko</span> Russian mathematician (born 1943)

Yulij Sergeevich Ilyashenko is a Russian mathematician, specializing in dynamical systems, differential equations, and complex foliations.

Igor Dmitrievich Ado was a Soviet mathematician. He was born into the family of a state employee and he lived in Kazan till the end of his life. After leaving school Igor Ado entered the faculty of mathematics and physics at Kazan State University, named after V. I. Lenin, from which he graduated successfully in 1931. He was admitted to the PhD study at the Chair of Mathematics under the supervision of Nikolai Chebotaryov. Igor Ado finished successfully his PhD study by preparing a scientific qualifying work for the degree of a Candidate (PhD) of physical and mathematical sciences. The University board awarded him for this work the degree of Doctor nauk of physic-mathematical sciences. This is an analogue to the European Habilitation and is very unusual to receive for a PhD work.

Aleksei Ivanovich Markushevich was a Soviet mathematician, mathematical educator, and historian of mathematics. He is known for the Farrell–Markushevich theorem.

Yuri Mikhailovich Smirnov was a Soviet and Russian mathematician, specializing in topology.

<span class="mw-page-title-main">Alexei Semenov (mathematician)</span> Russian mathematician

Alexei L. Semenov is a Russian mathematician, educationalist, Academician of the Russian Academy of Sciences, Academician of the Russian Academy of Education, Head of the Department of Mathematical Logic and Theory of Algorithms, Lomonosov State University, Professor, and Dr. Sc.

The Kolmogorov Prize is a mathematical prize awarded by the Russian Academy of Sciences for outstanding results in the field of mathematics. It bears the name of the mathematician Andrey Kolmogorov.

Valeriy Oseledets is a Soviet and Russian mathematician. He was born on May 25, 1940, in the Soviet Union.

References

  1. Semenov, A. L. (1984). "Decidability of Monadic Theories". Mathematical Foundations of Computer Science, Praha, Czechoslovakia, September 3–7, 1984. Proceedings. Lecture Notes in Computer Science. Lecture Notes in Computer Science. 176. Berlin, Heidelberg: Springer: 162–175. doi:10.1007/BFb0030296. ISBN   978-3-540-38929-3.
  2. Steinhorn, Charles. "Sept 2008 Newsletter" (PDF).
  3. Адян, С. И.; Семёнов, А. Л.; Успенский, В. А. "Андрей Альбертович Мучник (некролог), УМН, 62:4(376) (2007), 140–144; Russian Math. Surveys, 62:4 (2007), 775–779". www.mathnet.ru. Retrieved 2023-01-02.
  4. "Nominal awards and medals". www.ras.ru.