Новосибирский государственный университет Факультет информационных технологий Современные проблемы информатики и вычислительной техники

А.М.Федотов

Персоны в коллекции "Современные проблемы информатики"

Виктор Иванович Шестаков
1907—1987

Основные достижения:

Виктор Иванович Шестаков — советский логик и электротехник, который в середине 1930-х годов предложил интерпретацию логики булевой алгебры на релейно-контактных схемах.

В. И. Шестаков высказал идею и сформулировал теорию релейно-контактных схем в 1934—35 годах, раньше Шеннона, хотя диссертации (соответственно, кандидатскую и PhD) оба защитили в 1938 году. В.И. Шестаков опубликовал статьи, излагавшие его идею, только в 1941 году.

В начале XX века релейно-контактные схемы начинают все шире и шире применяться в системах автоматики, защиты электротехнических систем, в связи. Каждая релейно-контактная схема, предназначенная для практических целей, являлась отдельным изобретением, поскольку не имелось общей теоретической концепции и принципа соответствующего моделирования. Заслуга В. И. Шестакова состоит в том, что он (и чуть позже К. Шеннон, который использовал идеи Чарлза Пирса) предложил концепцию логического моделирования.

Эта идея была связана с проблемой синтеза управляющих систем. Техническая сторона этой проблемы (конструирование тех или иных устройств) требовала серьёзных математических оснований. Этой математической стороне проблемы собственно и посвятил свои работы В. И. Шестаков.

В. И. Шестаков открыл логико-алгебраическую модель электрических двухполюсников (позже и трех- и четырехполюсников) с последовательно-параллельными соединениями двухполюсных схемных элементов (резисторов, конденсаторов, катушек индуктивности и др.), сопротивления которых могут принимать любые положительные значения на оси действительных чисел и которая на двухэлементном множестве {0, бесконечность} вырождается в двузначную булеву алгебру логики.

Шестаков, таким образом, является первооткрывателем континуальной логики и ее применения (а, следовательно, и булевой алгебры логики) в электротехнике, на языке которой могут быть представлены (смоделированы) неэлектрические объекты любой физической природы. В указанном смысле он является первооткрывателем применения логики в самых различных областях техники. Он также является первооткрывателем совмещенных континуальных логико-алгебраических (параметрических) и топологических (структурных, схемных) моделей. Им предприняты оригинальные попытки сравнения логических систем и разработки принципиальных основ действия «счетных вычислительных машин».

Публикации o жизни и деятельности персоны:

1. Бажанов В.А. В.И. Шестаков и К. Шеннон. Разные судьбы творцов одной красивой идеи // Вопросы истории естествознания и техники, 2005, №2. С. 112-121.
2. Левин В.И. Виктор Иванович Шестаков и логическое моделирование // Логическое моделирование. Вып. 16, 2010, с. 67-95.

Ключевые термины:  логическое моделирование;   релейно-контактные схемы;   история ИТ;

Контекстный поиск: Задайте образец для поиска:

Федотов Анатолий Михайлович

НГУ ФИТ НГУ ИВТ СО РАН