Victor Shestakov

Victor Shestakov
Född	1907 Moskva
dog	1987
Nationalitet	sovjetisk
Alma mater	Moscow State University
Vetenskaplig karriär
Fält	Matematik , teknik
Doktorand rådgivare	Valery Glivenko

Victor Ivanovich Shestakov (ryska: Виктор Иванович Шестаков ) (1907–1987) var en rysk / sovjetisk logiker och teoretiker inom elektroteknik . 1935 upptäckte han den möjliga tolkningen av den booleska logikens algebra i elektromekaniska reläkretsar. Han tog examen från Moscow State University (1934) och arbetade där på General Physics Department nästan fram till sin död.

Shestakov föreslog en teori om elektriska strömbrytare baserad på boolesk logik tidigare än Claude Shannon (enligt certifiering av sovjetiska logiker och matematiker Sofya Yanovskaya , MG Gaaze-Rapoport, Roland Dobrushin , Oleg Lupanov , Yu. A. Gastev, Yu. T. Medvedev och Vladimir Andreevich Uspensky ), även om Shestakov och Shannon försvarade teser samma år (1938) och den första publiceringen av Shestakovs resultat ägde rum först 1941 (på ryska).

I början av 1900-talet började reläkretsar användas mer allmänt inom automatik, försvar av el- och kommunikationssystem. Varje reläkretsschema för praktisk användning var en distinkt uppfinning, eftersom den allmänna principen för simulering av dessa system inte var känd. Shestakovs kredit (och oberoende senare Claude Shannons) är den allmänna teorin om logisk simulering, inspirerad av den snabbt ökande komplexiteten hos tekniska krav. Logisk simulering kräver solida matematiska grunder. Dessa stiftelser grundades nämligen ursprungligen av Shestakov.

Shestakov presenterade en algebraisk logisk modell av elektriska tvåpoliga omkopplare (senare tre- och fyrpoliga omkopplare) med serie- och parallellkopplingar av schematiska element (motstånd, kondensatorer, magneter, induktiva spolar, etc.). Motståndet hos dessa element kan ha godtyckliga värden på den reella numeriska linjen, och på tvåelementsuppsättningen {0, ∞} degenererar detta till den bivalenta booleska logikens algebra.

Shestakov kan betraktas som en föregångare för kombinatorisk logik och dess tillämpning (och följaktligen även den booleska logikens algebra) inom elektroteknik, vars "språk" är tillräckligt brett för att simulera icke-elektriska objekt av någon tänkbar fysisk natur. Han var en pionjär inom studier av sammanslagna kontinuerliga algebraiska logik (parametriska) och topologiska (strukturella) modeller.

Se även

• Lista över pionjärer inom datavetenskap
• Boolesk differentialkalkyl

• Shestakov, VI Algebra av två poler Schemata (Algebra av A-Schemata). I: Automatik och telemekanik , 1941, N 2, sid. 15 – 24 (ryska)
• Shestakov, VI Algebra of Two Poles Schemata (Algebra of A-Schemata). I: Journal of Technical Physics, 1941, Vol. 11, N 6. sid. 532 – 549 (ryska)
• Bazhanov, VA, Volgin, LIVI Shestakov och C. Shannon: The Fate of One Brilliant Idea. I: Scientific and Technical Kaleidoscope, 2001, N2, s. 43 – 48. (ryska)
• Bazhanov, VA VI Shestakov och C. Shannon: Different Fates of One Brilliant Idea Architects [ . I: Problems of History of Science and Technology, 2005, N 2, s. 112– 121. (ryska)
•   Bazhanov, VA Logikens historia i Ryssland och Sovjetunionen . Moskva, Kanon+, 2007. (ryska) ISBN 5-88373-032-9
• Gaaze-Rapoport, MG The Making of Cybernetics in the USSR. I: Cybernetics: Past for the Future. Moskva, 1989, s. 46–85. (ryska)
• Gastev Yu. A., Medvedev, Yu. T. Några problem med elektriska kretsar. I: History of Russian Mathematics. Kiev, 1970, vol. 2, s. 443 – 446. (ryska)
• Dobrushin, RL, Lupanov, OB Förord ​​till boken: Shannon, C. Works of the Theory of Information and Cybernetics. Moskva, 1963, s. 9. (ryska)
• Yanovskaya SA Matematisk logik och grunden för matematik. I: Mathematics in the USSR Under de senaste 40 åren. Moskva, 1959, vol. 1, s. 13 – 120. (ryska)
•    Stanković, Radomir S.; Astola, Jaakko T.; Karpovsky, Mark G. (2007). Några historiska kommentarer om bytesteori . CiteSeerX 10.1.1.66.1248 . S2CID 10029339 .

externa länkar

• Victor Shestakov vid Mathematics Genealogy Project