The Leningrad Branch of Stelkov's Mathematical Institute, 1960-1980. "Strict" Mathematical Constructivism and other Areas of Mathematics and Natural Sciences at the Seminar in Mathematical Logic.

In our talk we consider the works of the Seminar in Mathematical Logic in 1960es-80es. In this period the fundamental works in constructive mathematics and logics usually were published not as the proceedings of the seminar but elsewhere (example: N.A. Shanin. On a hierarchy of methods of interpreting propositions in constructive mathematics. Proc. Steklov Inst. Math.129(1973), 209-271, 1976). The scope of seminar talks was much larger, and related publications more « sketchy ». Some were devoted to the examples that were important to constructivism and its relationship with classical mathematics (many works by G.S. Tseitin, V.A. Lifshitz, V.P. Orevkov, V.P. Chernov et others). There were, however, numerous talks and publications, reflecting the interest to interdisciplinary research and, to some extent, going beyond the limits of constructivism as a mathematical “doctrine”, still using constructive methods. One may mention here the studies of transfinite deductions by G.E. Mints, the mutation calculus (with applications to biology) by S.Yu. Maslov, the talk on the theory of systems by the biologist A.A. Lubischev. In our talk a more complete survey of these aspects of the Seminar will be presented. *) The entrance is the same. We ask you when entering Zoom, to specify your name and surname.