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 (en ruso : Управляющие системы ), el término utilizado en la URSS y Rusia para una generalización de autómatas de estado finito , circuitos booleanos ycircuitos lógicos de valores múltiples . (El término es ambiguo, ya que convencionalmente en Occidente los sistemas de control se entienden como una disciplina de ingeniería. La ambigüedad proviene del hecho de que los nombres de las dos disciplinas que difieren en ruso, a saber, Системы управления y Управляющие системы , se traducen al inglés como sistemas de control .)
Sergey Vsevolodovich Yablonsky | |
---|---|
![]() Sergey Yablonsky | |
Nació | |
Fallecido | 26 de mayo de 1998 Moscú, Rusia | (73 años)
Nacionalidad | ruso |
alma mater | Universidad estatal de Moscú |
Premios | Premio Lenin |
Carrera científica | |
Campos | Matemáticas y matemáticas discretas |
Instituciones | Universidad estatal de Moscú Instituto de Matemáticas Steklov |
Asesor de doctorado | Nina Bari Pyotr Novikov |
Estudiantes de doctorado | Oleg Lupanov , Rafail Krichevskii |
A Yablonsky se le atribuye el mérito de ayudar 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 los primeros en el mundo en plantear los problemas de la inevitabilidad potencialmente inherente de la búsqueda por fuerza bruta de 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, puede 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 requerida para encontrar una solución. En particular, notaron que para muchos problemas no podían encontrar una forma ú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 el mejor método para resolverlos requeriría enumerar un número exponencial (en el tamaño de la instancia del problema) de posibles soluciones. Es decir, los problemas parecen requerir "disparos en la oscuridad" (para algunas constantes ) cuando la longitud de la descripción del problema es . Sin embargo, a pesar de su gusto "vanguardista" por las matemáticas, el grupo de Yablonsky nunca formuló esta idea con precisión. [2]
Biografía
Infancia
Yablonsky nació en Moscú , en la familia de un profesor de mecánica. Su talento matemático se hizo evidente a temprana edad. En 1940 se convirtió en el ganador de la sexta olimpiada matemática de la escuela secundaria de Moscú . [3]
Guerra
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, entonces de 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 por su servicio recibió dos Órdenes de la Guerra Patriótica , dos Órdenes de la Estrella Roja , la Orden de la Gloria de tercera clase y numerosas medallas. Regresó a sus estudios después de que terminó la guerra en 1945 y se graduó con distinción.
Período de posguerra
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 fue Pyotr Novikov . Allí, la investigación de Yablonsky se centró en las cuestiones de la expresibilidad 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 tres 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 el Instituto de Matemáticas Aplicadas independiente . Durante el período de las décadas de 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 Problems of Cybernetics, 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áticas Computacionales y Cibernética en 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]
Referencias
- ^ Sipser, M. (1992), La historia y el estado de la pregunta P versus NP, en "Actas del 24º Simposio Anual de ACM sobre la Teoría de la Computación", págs. 603–618.
- ^ Teoría de la complejidad computacional (2004), Steven Rudich , Avi Wigderson , Editores, American Mathematical Society , página 12.
- ^ История информатики в России. Ученые и их школы. Сергей Всеволодович Яблонский (2003) [1] , Валерий Борисович Алексеев, Nauka Publishers, página 241.
- ^ Яблонский Biografía de SV Yablonsky en el sitio web del departamento de Cibernética Matemática, Universidad Estatal de Moscú (en ruso)