Using Mathematical Logic in Engineering and Construction: Domestic Experience of the 20th Century
https://doi.org/10.18384/2949-5148-2024-4-51-59
Abstract
Aim. To consider the contribution of N. M. Gersevanov, a Russian engineer, to the practice of proof and justification of engineering projects. The author argues that Gersevanov’s approach was innovative for its time, because when classical logic was experiencing a certain crisis and mathematical logic and its novel approaches had not won the trust of specialists yet, the Russian engineer was the first to turn to formulas of logic algebra and apply them in structural analysis.
Methodology. The article uses the method of retrospective analysis of sources, as well as methods of modern mathematical logic.
Results. The result of the work is analysis of deductive inference schemes presented by the author. These schemes were translated by Gersevanov into the formalized language of mathematical logic of Louis Couture and used as the basis for the proof of stability of hydraulic structures.
Research implications. The article has applied and some theoretical significance. Its conclusions can be used to study the stages of development of domestic science and technology, logic and structural mechanics.
About the Author
I. P. Pryadko
Moscow State University of Civil Engineering
Russian Federation
Russian Federation
Igor P. Pryadko – Cand. Sci. (Culturology), Prof., Department of Social Sciences, Humanities and Technologies
Yaroslavskoye Shosse 26, Moscow 129337
References
1. Biryukov B. V., Kuzicheva Z. A. [From the history of logic applications: on Gersevanov’s work “Application of mathematical logic to the calculation of the stability of structures”]. In: Sovremennaya logika: materialy X nauchnoj konferencii, g. Sankt-Peterburg, 26–28 iyunya 2008 g. [Modern logic: materials of the 10th scientific conference, St. Petersburg, June 26-28, 2008]. St. Petersburg, St. Petersburg State University, 2008, pp. 194–196.
2. Blekhman I. I., Myshkis A. D., Ganovko Ya. G. Mekhanika i prikladnaya matematika: Logika i osobennosti prilozheniya matematiki [Mechanics and applied mathematics: Logic and features of the application of mathematics]. Moscow, Nauka Publ., 1990. 360 p.
3. Gersevanov N. M. [Application of mathematical logic to the calculation of structures]. In: Gersevanov N. M. Sobranie sochinenij. T. 1. Svajnye osnovaniya i raschyot fundamentov sooruzhenij [Collected Works. Vol. 1. Pile foundations and calculation of foundations of structures]. Moscow, Strojvoenmorizdat Publ., 1948, pp. 123–204.
4. Gersevanov N. M. Sobranie sochinenij. T. 1. Svajnye osnovaniya i raschyot fundamentov sooruzhenij [Collected Works. Vol. 1. Pile Foundations and Calculation of Foundations of Structures]. Moscow, Strojvoenmorizdat Publ., 1948. 270 p.
5. Guryanova A. V. Timofeev A. V. [Homo digital – subject of digital revolution]. In: Vestnik Moskovskogo gosudarstvennogo oblastnogo universiteta. Seriya: Filosofskie nauki [Bulletin of Moscow Region State University. Series: Philosophy], 2023, no. 2, pp. 120–129.
6. Ivlev Yu. V. Logika [Logics]. Moscow, Prospekt Publ., 2023. 304 p.
7. Lazareva N. V., Zinov’ev A. Yu., Oparina L. A. [Technical equipment for informatization of construction and technical expertise]. In: Promyshlennoe i grazhdanskoe stroitel’stvo [Industrial and civil engineering], 2023, no. 6, pp. 52–57.
8. Levin V. I. [Biryukov, philosopher and historian of science. On the 100th anniversary of his birth]. In: Rektor vuza [Rector of the University], 2022, no. 12, pp. 50–56.
9. Levin V. I. [History of the discovery of logical modeling of discrete systems]. In: Sovremennaya logika. Problemy teorii, istorii i primeneniya v nauke [Modern logic. Problems of theory, history and application in science]. St. Petersburg, St. Petersburg State University Publ., 2008, pp. 437–439.
10. Leontieva V. A. [Smart home technology, principles of operation and its advantages]. In: Perspektivy sovremennogo stroitel’stva: stat’i uchastnikov nauchno-tekhnicheskoj konferencii [Prospects of modern construction: articles by participants in the scientific and technical conference]. St. Petersburg, St. Petersburg State University of Architecture and Civil Engineering Publ., 2023, pp. 445–453.
11. Magina A. I. [Based on the results of a sociological survey: social networks and youth socialization]. In: Ekonomika i predprinimatel’stvo [Economy and Entrepreneurship], 2023, no. 10 (159), pp. 40–44. DOI 10.34925/EIP.2023.159.10.004
12. Popovskaya A. P. [How neural networks optimize the interface design approach]. In: Internauka [Internauka], 2024, no. 17 (334), pp. 27–29.
13. Pryadko I. P. [Logical techniques in construction calculations: N. M. Gersevanov’s experience]. In: Promyshlennoe i grazhdanskoe stroitel’stvo [Industrial and civil engineering], 2019, no. 10, pp. 60–64.
14. Sofronov Yu. V., Ivanova S. P., Petrov V. N. [60 years in constant search of the new]. In: Problemy i perspektivy razvitiya energetiki, elektrotekhniki i energoeffektivnosti: materialy VII Mezhdunarodnoj konferencii, 23–25 noyabrya 2023 g. [Problems and prospects for the development of energy, electrical engineering and energy efficiency: materials of the VII International Conference, November 23–25, 2023]. Cheboksary, Chuvash State University named after I. N. Ulyanov, 2023, pp. 561–569.
15. Stakh A. A., Barnyakova V. Yu. [Using neural networks to improve business]. In: Potencial rossijskoj ekonomiki i innovacionnye puti ego realizacii: materialy mezhdunarodnoj nauchno-prakticheskoj konferencii, Omsk, 27 aprelya 2023 g. [Potential of the Russian economy and innovative ways to implement it: materials of the international scientific and practical conference, Omsk, April 27, 2023]. Omsk, Financial University under the Government of the Russian Federation Publ., 2023, pp. 370–374.
16. Tamerzyan A. G., Medvedev A. E. [Artificial intelligence technology in the design and calculation of buildings]. In: Promyshlennoe i grazhdanskoe stroitel’stvo [Industrial and civil engineering], 2024, no. 7, pp. 17–24.
17. Cuturat L. L’Algbre de la logique. Paris, Rue de Medicis, 1906. 108 p.
Review
Views:
58
Email this article 