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

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.