Skip to main content
SpringerLink
Log in

Mathematical logic in the Soviet Union (1917–1947 and 1947–1957)

  • Published:
Studies in Soviet Thought Aims and scope Submit manuscript

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

References

  1. Matematika v SSSR za pjatnadcat' let. Moskva. 1932.Matematika v SSSR za tridcat' let. Moskva. 1948.Matematika v SSSR za sorok let. Moskva. 1959 (2 vols.).

  2. For the bibliography of the works in the field of mathematical logic which are reviewed there, see G. Küng:A Bibliography of Soviet Mathematical Logic. Ms. in the Institute of East-European Studies, University of Fribourg, Switzerland.

  3. Marx, K.:Matematičeskie rukopisi. Moskva. 1932.

  4. One must remember that on 24 June 1947, on the occasion of the condemnation of G. F. Aleksandrov's “History of Philosophy in Western Europe”, A. A. Ždanov, the son-in-law of Stalin, had addressed the philosophers in a well-known speech where he demanded more active and more belligerent work and, thereby, inaugurated a new period in Soviet philosophy.

  5. The logician A. A. Markov (b. 1903) is not to be confused with A. A. Markov (1856–1922), the theoretician of probability.

  6. Stjažkin, N. I.:O logičeskix paradoksax i ix otnošenii k dialektičeskim protivorečijam. VF 1958, 1, 145–147. Quoted by Janovskaja on pp. 117–118. (Incidentally, the reference given by Janovskaja is false.) As we shall see, what has been said does not mean that philosophers are no longer interested in the question of formal logic — the contrary is the case.

    Google Scholar 

  7. Already since 1946 A. V. Kuznecov has kept a record of the proceedings of the seminars in Moscow. A collection of the works of the Leningrad “school” was published as volume 52 of “Trudy matematičeskogo instituta” (AN SSSR 1958).

  8. The 1959 report on mathematics in the SU contains a special section on cybernetics and this section is not a sub-division of that on mathematical logic.

  9. See N. Lobkowicz:Das Widerspruchsprinzip in der neueren sowjetischen Philosophie (Sovietica). Dordrecht. 1959 and his paper in the present volume.

  10. Markov, A. A.:Teorija algorifmov. (1954) Novikov, P. S.:Ob algoritmičeskoj nerazrešimosti problemy toždestva slov v teorii grupp. (1955) Šanin, N. A.:O nekotoryx logičeskix problemax arifmetiki. (1955)

  11. Namely: Hilbert-Ackerman, Tarski, Kleene (see notes 25, 26 and 27 in “Soviet Logic” in this volume) and Péter, R.:Rekursivnye funkcii. Moskva. 1954.

  12. After this article had been written, the author learned, through the kindness of Dr. Buchholz, that a paper by V. Richter, “Mathematische Logik in der Sowjetunion”, is forthcoming in “Osteuropa-Naturwissenschaft”.

Download references

Authors
  1. G. Küng
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Küng, G. Mathematical logic in the Soviet Union (1917–1947 and 1947–1957). Studies in Soviet Thought 1, 39–43 (1961). https://doi.org/10.1007/BF02412996

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02412996

Keywords

Search

Navigation