User:ValBaz

Shestakov, Victor Ivanovich (1907, Moscow – 1987, Moscow) – Russian/Soviet logician, theoretician of electrical engineering. In 1935 he discovered the interpretation of Boole algebra of logic on the electromechanical relays circuits. Graduated from Moscow State University (1934) and worked there at General Physics Department almost until he has gone.

Shestakov proposed a theory of electric switches based on Boolean logic earlier than Claude Shannon {(due to certification of Soviet logicians and mathematicians S.A. Yanovskaya, Gaaze-Rapoport, Dobrushin, Lupanov, Gastev, Medvedev, and Uspensky), though they defended Theses the same year (1938) } but the first publication of Shestakov's result took place only in 1941 (in Russian).

At early XX century relay circuits have been more and more widely used in automatics, defense of electric and communications systems. Every relay circuit schema for practical use was distinct invention for the general principle of simulation of these systems was not known. Shestakov's credit (and independently later Claude Shannon) is the general theory of logical simulation inspired by rapidly increasing complexity of technical demands. Logical simulation require solid mathematical foundations. Namely these foundations were created by Shestakov.

Shestakov put forward logico-algebraic model of electrical two poles switchers (later three, and four poles switchers) with consecutive and parallel junctions of schemata elements (resistors, condensers, magnet, inductive coils, etc.). Resistance of these elements might take arbitrary values upon the real line, and upon the two elements set {0, ∞} degenerates into the bivalent Boolean algebra of logic.

Thus Shestakov may be considered as a forerunner of continual logic and its applicationы (and, hence, Boolean algebra of logic as well) in electric engineering, the 'language' of which is reach enough to simulate non-electrical objects of any conceivable physical nature. He was a pioneer of study of merged continual logico-algebraic (parametrical) and topological (structural) models.