Шестаков, Виктор Иванович
Виктор Иванович Шестаков (1907—1987) — советский логик и теоретик-электротехник, который в середине 1930-х гг. предложил интерпретацию логики булевой алгебры на релейно-контактных схемах.
| Виктор Иванович Шестаков | |
|---|---|
 | |
| Дата рождения | 15 октября 1907 |
| Место рождения | |
| Дата смерти | 3 мая 1987 (79 лет) |
| Место смерти | |
| Страна | |
| Род деятельности | математик |
| Научная сфера | математика |
| Место работы | ИТМиВТ, МГУ |
| Альма-матер | МГУ |
| Учёное звание | профессор |
| Научный руководитель | Гливенко, Валерий Иванович |
Биография
правитьОкончил Московский государственный университет в 1934 году и там же работал всю жизнь на физическом факультете.
В. И. Шестаков высказал идею и сформулировал теорию релейно-контактных схем в 1934—35 годах (по свидетельству С. А. Яновской, Гаазе-Рапопорта, Добрушина, Лупанова, Гастева, Медведева, Успенского), раньше Шеннона, хотя диссертации (соответственно, кандидатскую и магистерскую) оба защитили в 1938 году, а В. И. Шестаков опубликовал статьи, излагавшие его идею, только в 1941 г.
В начале XX века релейно-контактные схемы начинают всё шире и шире применяться в системах автоматики, защиты электротехнических систем, в связи. Каждая релейно-контактная схема, предназначенная для практических целей, являлась отдельным изобретением, поскольку не имелось общей теоретической концепции и принципа соответствующего моделирования. Заслуга В. И. Шестакова состоит в том, что он (и чуть позже К. Шеннон) предложил такую концепцию логического моделирования. Катализатором создания такой концепции явились всё возрастающие запросы технического применения, рост сложности технических устройств. Простые технические устройства (электрические сети) не требовали особого теоретического аппарата; последний становился необходимым при конструировании сложных электрических сетей.
Эта идея была связана с проблемой синтеза управляющих систем. Техническая сторона этой проблемы (конструирование тех или иных устройств) требовала серьёзных математических оснований. Этой математической стороне проблемы собственно и посвятил свои работы В. И. Шестаков.
В. И. Шестаков открыл логико-алгебраическую модель электрических двухполюсников (позже и трёх- и четырёхполюсников) с последовательно-параллельными соединениями двухполюсных схемных элементов (резисторов, конденсаторов, катушек индуктивности и др.), сопротивления которых могут принимать любые положительные значения на оси действительных чисел и которая на двухэлементном множестве {0, бесконечность} вырождается в двузначную булеву алгебру логики.
Шестаков, таким образом, является первооткрывателем континуальной логики и её применения (а, следовательно, и булевой алгебры логики) в электротехнике, на языке которой могут быть представлены (смоделированы) неэлектрические объекты любой физической природы. В указанном смысле он является первооткрывателем применения логики в самых различных областях техники. Он также является первооткрывателем совмещённых континуальных логико-алгебраических (параметрических) и топологических (структурных, схемных) моделей. Им предприняты оригинальные попытки сравнения логических систем и разработки принципиальных основ действия «счётных вычислительных машин».
Труды
правитьВ. И. Шестаков является автором не менее чем 41 научного труда, включая а/c на изобретение (№ 35435 от 31.03.1934 г.) Подробный список приведён в статье В. И. Левина[1].
- Шестаков В. И. Алгебра двухполюсных схем, построенных исключительно из двухполюсников (алгебра А-схем) // Автоматика и телемеханика, 1941, № 2. — С. 15-24.
- Шестаков В. И. Алгебра двухполюсных схем, построенных исключительно из двухполюсников (алгебра А-схем) // Журнал техн. физики, 1941, Т.11, № 6. — С. 532—549.
Примечания
править- ↑ Левин В. И. Виктор Иванович Шестаков и логическое моделирование Архивная копия от 10 апреля 2016 на Wayback Machine // Ин-т философии РАН, научные издания.
Литература
править- Бажанов В. А., Волгин Л. И. В. И. Шестаков и К. Шеннон: судьба одной замечательной идеи // Научно-технический калейдоскоп — 2002. — вып. 2. — С. 43—48.
- Бажанов В. А. В. И. Шестаков и К. Шеннон. Разные судьбы творцов одной красивой идеи (недоступная ссылка) // Вопросы истории естествознания и техники, 2005, № 2. С. 112—121.
- Бажанов В. А. История логики в России и СССР. Концептуальный контекст университетской философии. М.: Канон+, 2007. — 336 с. ISBN 5-88-373-032-9
- Гаазе-Рапопорт М. Г. О становлении кибернетики в СССР // Кибернетика: прошлое для будущего. М.: Наука, 1989, с. 46 — 85.
- Гастев Ю. А., Медведев Ю. Т. Некоторые вопросы теории электрических систем // История отечественной математики. — Киев: Наукова думка, 1970, Т.4, кн. 2. — С. 443—446.
- Добрушин Р. Л., Лупанов О. Б. Примечание // Шеннон К. Работы по теории информации и кибернетике. М., 1963. — С. 9.
- Левин В. И. Виктор Иванович Шестаков и логическое моделирование // Ин-т философии РАН, научные издания.
- Яновская С. А. Математическая логика и основания математики // Математика в СССР за сорок лет. — М.: Физматгиз, 1959. Т. 1. — С. 13 — 120.