Victor Ivanovich Shestakov (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 booleana 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 los 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 no tuvo lugar hasta 1941 (en ruso). [1] [2]
A principios del siglo XX, los circuitos de relés comenzaron a utilizarse más ampliamente en automatización, defensa de sistemas eléctricos y de comunicaciones. [ se necesita aclaración ] Cada esquema de circuito de relé para uso práctico fue una invención distinta, porque no se conocía el principio general de simulación de estos sistemas. [ cita necesaria ] El crédito de Shestakov (e independientemente más tarde de Claude Shannon) es la teoría general de la simulación lógica, inspirada en la complejidad cada vez mayor de las demandas técnicas. La simulación lógica requiere bases matemáticas sólidas. Es decir, estas fundaciones fueron establecidas originalmente por Shestakov.
Shestakov propuso un modelo lógico algebraico de interruptores eléctricos bipolares (más tarde 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 podría tomar valores arbitrarios en la recta de números reales, y en el conjunto de dos elementos {0, ∞} esto degenera en el álgebra booleana bivalente de la lógica.
Shestakov puede ser considerado como un precursor de la lógica combinatoria y su aplicación (y, por tanto, también del álgebra booleana de la lógica) en 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 necesaria ]
Específico