Про знаменитості
Віктор Іванович Шестаков: біографія
-
радянський логік і теоретик-електротехнік, який у середині 1930-х рр.
Закінчив Московський державний університет і там же працював усе життя на фізичному факультеті.
В. І. Шестаков висловив ідею і сформулював теорію релейно-контактних схем у 1934-35 роках (за свідченням С. А. Яновської, Гаазе-Рапопорта, Добрушино, Лупанова, Гастєва, Медведєва, Успенського), раніше Шеннона, хоча дисертації (відповідно, кандидатську і магістерську) обидва захистили в 1938 році, а В. І. Шестаков опублікував статті, излагавшие його ідею, тільки в 1941 р.
На початку XX століття релейно-контактні схеми починають все ширше і ширше застосовуватися в системах автоматики, захисту електротехнічних систем, у зв'язку. Кожна релейно-контактна схема, призначена для практичних цілей, була окремим винаходом, оскільки не було загальної теоретичної концепції та принципу відповідного моделювання. Заслуга В. І. Шестакова полягає в тому, що він (і трохи пізніше К. Шеннон) запропонував таку концепцію логічного моделювання. Каталізатором створення такої концепції з'явилися всі зростаючі запити технічного застосування, зростання складності технічних пристроїв. Прості технічні пристрої (електричні мережі) не вимагали особливого теоретичного апарату; останній ставав необхідним при конструюванні складних електричних мереж.
Ця ідея була пов'язана з проблемою синтезу керуючих систем. Технічна сторона цієї проблеми (конструювання тих чи інших пристроїв) вимагала серйозних математичних підстав. Цією математичної стороні проблеми власне і присвятив свої роботи В. І. Шестаков.
В. І. Шестаков відкрив логіко-алгебраїчну модель електричних двухполюсников (пізніше і трьох-і чотириполюсників) з послідовно-паралельними сполуками двополюсних схемних елементів (резисторів, конденсаторів, котушок індуктивності та ін), опору яких можуть приймати будь-які позитивні значення на осі дійсних чисел і яка на двоелементною множині {0, нескінченність} вироджується в двозначну булеву алгебру логіки.
Шестаков, таким чином, є першовідкривачем континуальної логіки і її застосування (а, отже, і булевої алгебри логіки) в електротехніці, мовою якої можуть бути представлені (змодельовані) неелектричні об'єкти будь-якої фізичної природи. У зазначеному сенсі він є першовідкривачем застосування логіки в самих різних областях техніки. Він також є першовідкривачем суміщених континуальних логіко-алгебраїчних (параметричних) і топологічних (структурних, схемних) моделей. Їм зроблені оригінальні спроби порівняння логічних систем і розробки принципових основ дії «рахункових обчислювальних машин».
