Первые приложения логики к технике: Эренфест, Герсеванов и Шестаков. От применения логики к расчету сооружений и релейным схемам к логической теории размерностей физических величин

##plugins.themes.bootstrap3.article.main##

B.V. Biryukov
V.I. Shakhov

Abstract

We show that the idea of applying logic to technology, proposed at the beginning of the 20th century by the theoretical physicist P. Erenfest, has not, at the time it was put forward, found a following. The work, published in 1923, of the Russian scientist N. V. Gersevanov, the founder of the Russian school of ground mechanics, which applied the algebra of logic developed in the book by L. Couturat to the construction of buildings, was not influenced by Erenfest’s ideas. We also show that the ideas that guided the research of Viktor I. Shestakov, the founder of the logical theory of relay schemes, were different from those of Gersevanov; to wit, Shestakov followed in the steps of Erenfest, and he went on from an application of logic to technology, the theory of relay schemes, to applying logic to physics. Lastly, we show why Shestakov needed a three-valued logic to express relationships between physical entities and their measurements.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Статьи

References

Бажанов В.А. История логики в России и СССР (Концептуальный контекст университетской философии).М.: КАНОН, 2007.
Бажанов В.А., Волгин Л.И. В.И. Шестаков и К. Шеннон: различные судьбы авторов одной красивой идеи // Современная логика: проблемы теории, истории и применения в науке. Материалы VII Общероссийской научной конференции. СПб., 2002.
Бирюков Б.В. Кибернетика, информатика, вычислительная техника, автоматика: проблемы становления и развития. Вклад отечественной науки // Кибернетика: прошлое для будущего. Этюды по истории отечественной кибернетики. Теория управления. Автоматика. Биокибернетика. Научная редакция Б.В.Бирюкова. М.: Наука, 1989.
Бирюков Б.В., Борисова О.А., Левин В.И. О вкладе Виктора Ивановича Шестакова в создание логической теории релейных схем // «Вопросы философии» (в печати).
Бирюков Б.В., Верстин И.С., Левин В.И.О приоритете В.И. Шестакова в создании логической теории релейных схем // Логические исследования. Вып. 13. М., 2006.
Бирюков Б.В., Левин В.И. Еще раз об открытии логических моделей технических устройств // Вестник Моск, ун-та. Серия 7: философия (в печати).
Бочвар Д.А. К вопросу о непротиворечивости одного трехзначного исчисления // Математич. сб. 1943. Т. 12(54), вып. 1.
Бочвар Д.А. Об одном трехзначном исчислении и его применении к анализу парадоксов классического расширенного функционального исчисления // Математич. сб. 1938. Т. 4(46), вып. 2.
[9] Гаврилов М.А. Теория релейно-контактных схем. М.: Изд-во АН СССР, 1950.
[10] Гаазе-Рапопорт М.Г. О становлении кибернетики в СССР // Кибернетика: прошлое для будущего. Этюды по истории отечественной кибернетики. Теория управления. Автоматика. Биокибернетика. Научная редакция Б.В.Бирюкова. М.: Наука, 1989.
[11] Герсрванов Н.М. Собр. соч. Том I. М.: Стройвоенмориздат, 1948.
[12] Кибернетика: прошлое для будущего. Этюды по истории отечественной кибернетики. Теория управления. Автоматика. Биокибернетика. Научная редакция Б.В.Бирюкова. М.: Наука, 1989.
[13] Кулаков Ю.И. Теория размерностей физических величин // Вычислительные системы. Вып. 118: Машинный анализ сложных структур. Новосибирск, 1986.
[14] Кутюра Л. Алгебра логики / Пер. с франц. с прибавлениями проф. И.Слешинского. Одесса: Изд-во Mathesis, 1909.
[15] Ляпунов А.А. О логических схемах программ // Проблемы кибернетики Под ред. А.А. Ляпунова. Вып. 1, М.: Физматгиз, 1958.
[16] Ляпунов А.А. О некоторых общих вопросах кибернетики // Проблемы кибернетики / Под ред. А.А. Ляпунова. Вып. 1. М.: Физматгиз, 1958.
[17] Ляпунов А.А., Шестопал Г.А. Об алгоритмическом описании процессов управления // Математическое просвещение. Вып. 2. М.: Гостехиздат, 1957.
[18] Поваров Г.Н. Предисловие редактора перевода // Э.Беркли. Символическая логика и разумные машины / Перев. с англ. Под ред. и с предисловием Г.Н. Поварова. М.: ИЛ, 1961.
[19] Предводителев А.С. К истории применения алгебры Буля в технике. Письмо в редакцию // Вести. МГУ. Серю 5: Физика, астрономия. № 5, 1968.
[20] Трахтенброт Б.А. Памяти С.А. Яновской // Историко-математические исследования. Вып. 2 (37), 1997. С. 111.
[21] Тьюринг А. Может ли машина мыслить? М.: Физматгиз, 1960.
[22] Финн В.К. Интеллектуальные системы и общество. М., 2001.
[23] Хантли Г Анализ размерностей. М., 1970.
[24] Шеннон К. Работы по теории информации и кибернетике / Перев. с англ, с предисловием А.Н.Колмогорова. М.: ИЛ, 1963.
[25] Шестаков В.И. Моделирование операций исчисления высказываний посредством релейно-контактных схем // Логические исследования. Сб. статей. Редколлегия: Э.Кольман, Г.Н. Поваров, П.В. Таванец и С. А. Яновская. М.: Изд-во АН СССР, 1959.
[26] Шестаков В.И. Моделирование операций исчисления предложений посредством простейших четырехполюсных схем // Вычислительная математика и вычислительная техника. Вып. 1. М., 1953.
[27] Шестаков В.И. О применении трехзначной логики для анализа отношений между физическими величинами // Там же. 1983. Т. 24, № 4.
[28] Шестаков В.И. О применении трехзначной логики в теории размерностей физических величин // Там же. 1987. Т. 28, № 3.
[29] Шестаков В.И. Операции обращения и инверсии комплексных физических величин // Вести. Моск. ун-та. Серия 3: Физика. Астрономия. 1979. Т. 20, № 6.
[30] Эренфест П. Рецензия на книгу Л.Кутюра «Алгебра логики» // Журнал русск. физико-химич. общ-ва, 1910. Т. 42, отделение 2. Вып. 10.
[31] Янов Ю.И. О логических схемах алгоритмов // Вопросы кибернетики. Вып. 1. Физматгиз, 1958.
[32] Яновская С.А. Основания математики и математическая логика // Математика в СССР за тридцать лет (1917-1947). М.;Л., Физматгиз, 1947.
[33] Яновская С.А. Математическая логика и основания математики // Математика в СССР за сорок лет. 1917-1957. Том 1: Обзорные статьи. М.: Физматгиз, 1959.
[34] Couturat L. L’Algebre de la logique. Paris, 1906 (второе издание).
[35] Fleischmann R. Einfuhrung in die Physik. Weinheim, 1973.
[36] Spencer Moon Jnl. Franklin Inst. Dec. 1949.

##plugins.generic.recommendByAuthor.heading##