Víctor Ivánovich Shestakov (en ruso: Виктор Иванович Шестаков ) (1907–1987) fue un lógico y teórico ruso / soviético de la ingeniería eléctrica . En 1935 descubrió la posible interpretación del álgebra de Boole de la lógica en circuitos de relés electromecánicos. Se graduó en la Universidad Estatal de Moscú (1934) y trabajó allí en el Departamento de Física General casi hasta su muerte.
Shestakov propuso una teoría de interruptores eléctricos basada en la lógica booleana antes que Claude Shannon (según la certificación de los lógicos y matemáticos soviéticos Sofya Yanovskaya , MG Gaaze-Rapoport, Roland Dobrushin , Oleg Lupanov , Yu. A. Gastev, Yu. T. Medvedev y Vladimir Andreevich Uspensky ). Sin embargo, tanto Shestakov como Shannon defendieron sus tesis el mismo año (1938), [1] y la primera publicación del resultado de Shestakov tuvo lugar solo en 1941 (en ruso). [1] [2]
A principios del siglo XX, los circuitos de relés comenzaron a usarse más ampliamente en sistemas automáticos, de defensa de sistemas eléctricos y de comunicaciones. [ aclaración necesaria ] Cada esquema de circuito de relé para uso práctico era una invención distinta, porque no se conocía el principio general de simulación de estos sistemas. [ cita requerida ] El mérito de Shestakov (y más tarde de forma independiente de Claude Shannon) es la teoría general de simulación lógica, inspirada en la creciente complejidad de las demandas técnicas. La simulación lógica requiere fundamentos matemáticos sólidos. Es decir, estos fundamentos fueron establecidos originalmente por Shestakov.
Shestakov propuso un modelo lógico algebraico de interruptores eléctricos bipolares (posteriormente, interruptores tripolares y tetrapolares) con conexiones en serie y en paralelo de elementos esquemáticos (resistencias, condensadores, imanes, bobinas inductivas, etc.). La resistencia de estos elementos podía tomar valores arbitrarios en la línea de números reales y, en el conjunto de dos elementos {0, ∞}, esto degenera en el álgebra lógica booleana bivalente.
Shestakov puede ser considerado un precursor de la lógica combinatoria y su aplicación (y, por lo tanto, también del álgebra lógica de Boole) en la ingeniería eléctrica, cuyo "lenguaje" es lo suficientemente amplio como para simular objetos no eléctricos de cualquier naturaleza física concebible. Fue un pionero en el estudio de modelos fusionados de lógica algebraica continua (paramétrica) y topológica (estructural). [ cita requerida ]
Específico