Family name

First name

Middle name (letters)

Biography

Victor Ivanovich Shestakov (1907, Moscow – 1987, Moscow) was a Russian/Soviet logician and theoretician of electrical engineering. In 1935 he discovered the possible interpretation of Boolean algebra of logic in electro-mechanical relay circuits. He graduated from Moscow State University (1934) and worked there in the General Physics Department almost until his death.

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

In the early 20th century, relay circuits began to be more widely used in automatics, defense of electric and communications systems. Every relay circuit schema for practical use was distinct invention, because 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.

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.