Andrey Albertovich Muchnik (24 de febrero de 1958 - 18 de marzo de 2007) fue un matemático soviético y ruso que practicó la lógica matemática . Fue galardonado con el Premio AN Kolmogorov en 2006.
Andrey Muchnik nació el 24 de febrero de 1958 en la Unión Soviética. Sus padres fueron Albert Abramovich Muchnik y Nadezhda Mitrofanovna Ermolaeva. Ambos eran matemáticos y estudiantes de P. S. Novikov , un matemático soviético. El padre de Muchnik, Albert Muchnik, resolvió el problema de Post sobre la existencia de un grado enumerable no trivial de reducibilidad de Turing .
Andrey Muchnik comenzó su carrera académica en la Universidad Estatal de Moscú . Muchnik comenzó a trabajar como matemático en el seminario de Evgenii Landis y Yulij Ilyashenko para estudiantes de tercer año de la Facultad de Mecánica y Matemáticas de la Universidad Estatal Lomonosov de Moscú . En su segundo año, publicó su primer trabajo sobre ecuaciones diferenciales bajo la guía de Ilyashenko.
A partir de su tercer año, se especializó en teoría de definibilidad en el Departamento de Lógica Matemática, bajo la supervisión de Alexei Semenov . En 1981, completó su diploma sobre la solución de un problema planteado por Michael Rabin en el Congreso Internacional de Matemáticos en Niza. El problema implicaba eliminar la inducción transfinita en la prueba del teorema de Rabin sobre la solubilidad de la teoría monádica de árboles infinitos. Más tarde, Muchnik aplicó su enfoque para demostrar una generalización del teorema de Rabin, que había sido anunciado por Shelah y Stupp. [1] Utilizando la idea original de Alfred Tarski , introdujo la noción de autodefinibilidad para derivar una prueba del teorema de Cobham-Semenov. Obtuvo su doctorado en 2001. [2]
Posteriormente trabajó en el Instituto de Nuevas Tecnologías y en el Consejo Científico de la Academia de Ciencias de la URSS en el campo de la cibernética [ cita requerida ] . Finalmente se convirtió en uno de los líderes del seminario Kolmogorov en la Universidad Estatal de Moscú . [ cita requerida ]
Muchnik también contribuyó con resultados al campo de la teoría de la información algorítmica . [ cita requerida ] Muchos de sus resultados y colaboraciones fueron publicados después de su muerte. [3]
Andrey Muchnik fue galardonado con el Premio AN Kolmogorov (junto con Alexei Semenov , 2006) por su trabajo en el campo de las matemáticas y por la serie de trabajos "Sobre el refinamiento de AN Kolmogorov, relacionado con la teoría del azar". [4]