Victor Shestakov
 | Эта статья включает список общих ссылок , но в ней отсутствуют достаточные соответствующие встроенные цитаты . ( Март 2015 г. ) |
Victor Shestakov | |
|---|---|
| Рожденный | 1907 |
| Умер | 1987 |
| Национальность | советский |
| Альма-матер | Московский Государственный Университет |
| Научная карьера | |
| Поля | Математика , Инженерное дело |
| Докторантура | Валерий Гливенко |
Виктор Иванович Шестаков (русский: Виктор Иванович Шестаков ) (1907–1987) — российский / советский логик и теоретик электротехники . В 1935 году он обнаружил возможную интерпретацию булевой алгебры логики в электромеханических релейных схемах. Он окончил Московский государственный университет (1934 г.) и работал там на кафедре общей физики почти до самой смерти.
Шестаков предложил теорию электрических выключателей, основанную на булевой логике, раньше, чем Клод Шеннон (по свидетельству советских логиков и математиков Софьи Яновской , М.Г. Гаазе-Рапопорта, Роланда Добрушина , Олега Лупанова , Ю.А.Гастева, Ю.Т.Медведева, и Владимир Андреевич Успенский ). Однако и Шестаков, и Шеннон защитили свои диссертации в один и тот же год (1938 г.). [1] а первая публикация результата Шестакова состоялась только в 1941 г. (на русском языке). [1] [2]
В начале 20 века релейные схемы стали более широко применяться в автоматике, защите электросетей и систем связи. [ нужны разъяснения ] Каждая схема релейной схемы для практического использования была отдельным изобретением, поскольку общий принцип моделирования этих систем не был известен. [ нужна ссылка ] Заслугой Шестакова (и независимо позднее Клода Шеннона) является общая теория логического моделирования, вдохновленная быстро растущей сложностью технических требований. Логическое моделирование требует прочной математической основы. Именно эти фонды изначально были созданы Шестаковым.
Шестаков изложил алгебро-логическую модель электрических двухполюсных выключателей (позже трех- и четырехполюсных) с последовательным и параллельным соединением схемных элементов (резисторов, конденсаторов, магнитов, катушек индуктивности и др.). Сопротивление этих элементов может принимать произвольные значения на линии действительных чисел, а на двухэлементном множестве {0, ∞} оно вырождается в бивалентную булеву алгебру логики.
Шестакова можно считать предшественником комбинаторной логики и ее применения (а, следовательно, и булевой алгебры логики) в электротехнике, «язык» которой достаточно широк, чтобы моделировать неэлектрические объекты любой мыслимой физической природы. Он был пионером изучения объединенных моделей континуальной алгебраической логики (параметрических) и топологических (структурных) моделей. [ нужна ссылка ]
См. также
[ редактировать ]Ссылки
[ редактировать ]- Шестаков В.И. Алгебра двухполюсных схем (Алгебра А-схем). В: Автоматика и телемеханика , 1941, № 2, с. 15 – 24 (русский)
- Шестаков, В. И. Алгебра двухполюсных схем (Алгебра А-схем). В: Журнал технической физики, 1941, Том. 11, № 6. с. 532 – 549 (русский)
- Бажанов В.А., Волгин, ЛИВИ Шестаков и К. Шеннон: судьба одной гениальной идеи. В: Научно-технический калейдоскоп, 2001, №2, с. 43 – 48. (рус.)
- Bazhanov, V. A. V. I. Shestakov and C. Shannon: Different Fates of One Brilliant Idea Architects [ постоянная мертвая ссылка ] . В: Проблемы истории науки и техники, 2005, № 2, с. 112–121.
- Бажанов В.А. История логики в России и СССР . Москва, Канон+, 2007. (рус.) ISBN 5-88373-032-9
- Гаазе-Рапопорт, М.Г. Становление кибернетики в СССР. В: Кибернетика: прошлое для будущего. Москва, 1989, стр. 46–85. (Русский)
- Гастев Ю. А., Медведев Ю. Т. Некоторые проблемы электрических цепей. В кн.: История русской математики. Киев, 1970, Вып. 2, с. 443 – 446. (Русский)
- Добрушин Р.Л., Лупанов О.Б. Предисловие к книге: Шеннон К. Труды по теории информации и кибернетике. Москва, 1963, стр. 9. (рус.)
- Яновская С.А. Математическая логика и основания математики. В кн.: Математика в СССР за последние 40 лет. Москва, 1959, Вып. 1, с. 13 – 120. (рус.)
- Станкович, Радомир С.; Астола, Яакко Т.; Карповский, Марк Г. (2007). Некоторые исторические замечания по теории переключения . CiteSeerX 10.1.1.66.1248 . S2CID 10029339 .
Специфический
- ^ Перейти обратно: а б Мойсил, гр. С. (1969). Алгебраическая теория коммутационных цепей . Пергамон Пресс. стр. 12, 17. ISBN. 9781483160764 .
- ^ Джонс, Каперс (2014). Техническая и социальная история разработки программного обеспечения . Пирсон Образование. п. 39. ИСБН 9780321903426 .
