Применение математической логики в технике и строительстве: отечественный опыт XX века

Цель.  Рассмотреть вклад отечественного инженера Н. М. Герсеванова в практику доказательства и обоснования технических проектов. В статье утверждается, что подход Герсеванова был новаторским для своего времени, поскольку в период, когда классическая логика испытывала определённый кризис, а математическая логика с её новыми подходами не завоевала доверия специалистов, русский инженер первым обратился к формулам алгебры логики, применяя их в строительных расчётах.

Процедура и методы. В статье использованы метод ретроспективного анализа источников, а также методы современной математической логики.

Результаты. Результатом работы следует считать представленный автором статьи анализ схем дедуктивных умозаключений, которые Герсевановым были переведены на формализованный язык математической логики Луи Кутюра и положены в основу доказательства устойчивости гидросооружений.

Теоретическая и/или практическая значимость. Статья имеет прикладное и отчасти теоретическое значение. Её выводы могут быть использованы в целях изучения этапов развития отечественной науки и техники, логики и строительной механики.

1. Бирюков Б. В., Кузичева З. А. Из истории приложений логики: о работе Герсеванова «Применение математической логики к расчёту устойчивости сооружений» // Современная логика: материалы X научной конференции, г. Санкт-Петербург, 26–28 июня 2008 г. / под ред. В. И. Кобзаря. СПб: Санкт-Петербургский государственный университет, 2008. С. 194–196.

2. Блехман И. И., Мышкис А. Д., Гановко Я. Г. Механика и прикладная математика: Логика и особенности приложения математики. М.: Наука, 1990. 360 с.

3. Герсеванов Н. М. Применение математической логики к расчёту сооружений // Герсеванов Н. М. Собрание сочинений. Т. 1. Свайные основания и расчёт фундаментов сооружений. М.: Стройвоенмориздат, 1948. С. 123–204.

4. Герсеванов Н. М. Собрание сочинений. Т. 1. Свайные основания и расчёт фундаментов сооружений. М.: Стройвоенмориздат, 1948. 270 c.

5. Гурьянова А. В., Тимофеев А. В. Homo digital – субъект цифровой революции // Вестник Московского государственного областного университета. Серия: Философские науки. 2023. № 2. С. 120–129.

6. Ивлев Ю. В. Логика. М.: Проспект, 2023. 304 с.

7. Лазарева Н. В., Зиновьев А. Ю., Опарина Л. А. Техническое оснащение информатизации строительно-технической экспертизы // Промышленное и гражданское строительство. 2023. № 6. С. 52–57.

8. Левин В. И. Б. В. Бирюков, философ и историк науки. К 100-летию со дня рождения // Ректор вуза. 2022. № 12. С. 50–56.

9. Левин В. И. История открытия логического моделирования дискретных систем // Современная логика. Проблемы теории, истории и применения в науке. СПб.: Санкт-Петербургский государственный университет, 2008. С. 437–439.

10. Леонтьева В. А. Технология «умный дом», принципы работы и её преимущества // Перспективы современного строительства: статьи участников научно-технической конференции. СПб.: Санкт-Петербургский государственный архитектурно-строительный университет, 2023. С. 445–453.

11. Магина А. И. По итогам социологического опроса: социальные сети и социализация молодёжи // Экономика и предпринимательство. 2023. № 10 (159). С. 40–44. DOI: 10.34925/EIP.2023.159.10.004

12. Поповская А. П. Как нейросети оптимизируют подход проектирования интерфейсов // Интернаука. 2024. № 17 (334). С. 27–29.

13. Прядко И. П. Логические приёмы в строительных расчётах: опыт Н. М. Герсеванова // Промышленное и гражданское строительство. 2019. № 10. С. 60–64.

14. Софронов Ю. В., Иванова С. П., Петров В. Н. 60 лет в постоянном поиске нового // Проблемы и перспективы развития энергетики, электротехники и энергоэффективности: материалы VII Международной конференции, 23–25 ноября 2023 г. Чебоксары: Чувашский государственный университет имени И. Н. Ульянова, 2023. С. 561–569.

15. Стах А. А., Барнякова В. Ю. Использование нейросетей для совершенствования бизнеса // Потенциал российской экономики и инновационные пути его реализации: материалы международной научно-практической конференции, Омск, 27 апреля 2023 г. Омск, Финансовый университет при правительстве РФ, 2023. С. 370–374.

16. Тамерзян А. Г., Медведев А. Е. Технология искусственного интеллекта в проектировании и расчете зданий // Промышленное и гражданское строительство. 2024. № 7. С. 17–24.

17. Cuturat L. L’Algbre de la logique. 2nd ed. Paris: Rue de Medicis, 1906. 108 p.