Sergey Vsevolodovich Yablonsky ( ruso : Серге́й Все́володович Ябло́нский, 6 de diciembre de 1924 - 26 de mayo de 1998) fue un matemático soviético y ruso , uno de los fundadores de la escuela soviética de cibernética matemática y matemáticas discretas . Es autor de una serie de resultados clásicos sobre síntesis, confiabilidad y clasificación de sistemas de control ( ruso : Управляющие системы ), término utilizado en la URSS y Rusia para una generalización de autómatas de estados finitos , circuitos booleanos y lógica multivaluada. circuitos .
A Yablonsky se le atribuye haber ayudado a superar la presión de los ideólogos soviéticos contra el término y la disciplina de la cibernética y establecer lo que en la Unión Soviética se llamó cibernética matemática como un campo separado de las matemáticas . Yablonsky y sus estudiantes fueron uno de los primeros en el mundo en plantear las cuestiones de la inevitabilidad potencialmente inherente de la búsqueda de fuerza bruta para algunos problemas, el precursor del problema P = NP , aunque la carta de Gödel a von Neumann , fechada el 20 de marzo 1956 y descubierto en 1988, pueden haberlos precedido. [1]
En Rusia, un grupo liderado por Yablonsky tuvo la idea de que los problemas combinatorios son difíciles en proporción a la cantidad de búsqueda de fuerza bruta necesaria para encontrar una solución. En particular, notaron que para muchos problemas no podían encontrar una manera útil de organizar el espacio de posibles soluciones para evitar la búsqueda por fuerza bruta. Comenzaron a sospechar que estos problemas tenían un espacio de solución inherentemente desorganizado, y que el mejor método para resolverlos requeriría enumerar un número exponencial (en el tamaño del problema) de soluciones potenciales. Es decir, los problemas parecen requerir "disparos en la oscuridad" (para alguna constante ) cuando la longitud de la descripción del problema es . Sin embargo, a pesar de su gusto "de vanguardia" en matemáticas, el grupo de Yablonsky nunca formuló esta idea con precisión. [2]
Yablonsky nació en Moscú , en la familia de un profesor de mecánica. Sus talentos matemáticos se hicieron evidentes a una edad temprana. En 1940 ganó la sexta Olimpiada de Matemáticas de Escuelas Secundarias de Moscú . [3]
En agosto de 1942, después de completar su primer año en la Facultad de Mecánica y Matemáticas de la Universidad Estatal de Moscú , Yablonsky, que entonces tenía 17 años, fue a servir en el ejército soviético , luchando en la Segunda Guerra Mundial como miembro de la brigada de tanques 242. Por su servicio recibió dos Órdenes de la Guerra Patria , dos Órdenes de la Estrella Roja , la Orden de la Gloria de 3.ª clase y numerosas medallas. Regresó a sus estudios después de que terminó la guerra en 1945 y se graduó con honores.
Yablonsky se graduó en la Facultad de Mecánica y Matemáticas de la Universidad Estatal de Moscú en 1950. Durante sus años de estudiante trabajó bajo la supervisión de Nina Bari . Esta colaboración resultó en su primer trabajo de investigación, "Sobre las secuencias convergentes de funciones continuas" (1950).
Se incorporó al programa de posgrado de la Facultad de Mecánica y Matemáticas en 1950, donde su asesor era Pyotr Novikov . Allí se centró la investigación de Yablonsky sobre la cuestión de la expresabilidad en la lógica matemática. Abordó este problema en términos de la teoría de funciones discretas con valores k . Entre los problemas que se abordaron en su tesis doctoral titulada "Problemas de completitud funcional en el cálculo con valores k" (1953) se encuentra la respuesta definitiva a la cuestión de la completitud en la lógica de 3 valores.
A partir de 1953, Yablonsky trabajó en el Departamento de Matemáticas Aplicadas del Instituto de Matemáticas Steklov , que en 1966 se convirtió en un Instituto independiente de Matemáticas Aplicadas . Durante los años 1950 y 1960, junto con Alexey Lyapunov , Yablonsky organizó el seminario sobre cibernética, mostrando su apoyo al nuevo campo de las matemáticas que había sido objeto de una importante controversia alimentada por los ideólogos soviéticos. Participó activamente en la creación de la publicación periódica Problemas de la cibernética, con Lyapunov como su primer editor en jefe. Yablonsky sucedió a Lyapunov como editor en jefe de Problems of Cybernetics en 1974 (la publicación cambió su nombre a Mathematical Issues of Cybernetics en 1989). En 1966, Yablonsky (junto con Yuri Zhuravlyov y Oleg Lupanov ) recibió el Premio Lenin por su trabajo sobre la teoría de los sistemas de control (en el sentido matemático discreto, como se explicó anteriormente). En 1968, Yablonsky fue elegido miembro correspondiente de la Academia de Ciencias de la Unión Soviética (división de matemáticas).
Yablonsky jugó un papel activo en la creación de la Facultad de Matemática Computacional y Cibernética de la Universidad Estatal de Moscú en 1970. En 1971 se convirtió en el director fundador del departamento de cibernética matemática (inicialmente departamento de teoría de autómatas y lógica matemática ) en la Facultad de Matemática Computacional y Cibernética . [4]
