Первые приложения логики к технике: Эренфест, Герсеванов и Шестаков. От применения логики к расчету сооружений и релейным схемам к логической теории размерностей физических величин
Article Sidebar
Опубликован:
04.12.2007
Main Article Content
Аннотация
Мы показываем, что идея применения логики к технике, предложенная в начале 20-го века физиком-теоретиком П. Эренфестом, на момент выдвижения не нашла последователей. На работу русского ученого Н.В. Герсеванова, основателя русской школы механики грунта, в которой была применена алгебра логики, разработанная в книге Л. Кутурата, для строительства зданий, не оказали влияния идеи Эренфеста. Мы также показываем, что идеи, которые направляли исследования В.И. Шестакова, основателя логической теории релейных схем, отличались от идей Герсеванова; Шестаков, следуя шагам Эренфеста, прошел путь от применения логики к технике и теории релейных схем до применения логики к физике. Наконец, мы показываем, почему Шестакову потребовалась трехзначная логика для выражения отношений между физическими объектами и их измерениями.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Бирюков Б., Шахов В. Первые приложения логики к технике: Эренфест, Герсеванов и Шестаков. От применения логики к расчету сооружений и релейным схемам к логической теории размерностей физических величин // Логические исследования / Logical Investigations. 2007. Т. 14. C. 73-104.
Выпуск
Раздел
Статьи
Литература
Бажанов В.А. История логики в России и СССР (Концептуальный контекст университетской философии).М.: КАНОН, 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.
Бажанов В.А., Волгин Л.И. В.И. Шестаков и К. Шеннон: различные судьбы авторов одной красивой идеи // Современная логика: проблемы теории, истории и применения в науке. Материалы 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.