Skip to main content
SpringerLink
Log in

Georg Cantor as the author of constructions playing fundamental roles in constructive mathematics

  • Published:
Journal of Mathematical Sciences Aims and scope Submit manuscript

Abstract

An extended version of the author's talk at the meeting of the St. Petersburg Mathematical Society (March 3, 1995), dedicated to the 150th anniversary of G. Cantor's birth, is presented. The following inventions of Cantor and their roles in constructive mathematics are discussed: the system of notation for order-types less than ɛ0, a constructive (in essence) definition of the notion of real number, and Cantor's “diagonal” construction. Bibliography: 22 titles.

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

Similar content being viewed by others

References

  1. D. Hilbert, “Über das Unendliche,”Math. Ann.,95, 161–190 (1926).

    Article  MathSciNet  Google Scholar 

  2. D. Hilbert and P. Bernays,Grundlagen der Mathematik, I (2 Aufl.), Springer-Verlag (1968).

  3. D. Hilbert and P. Bernays,Grundlagen der Mathematik, II (2 Aufl.), Springer-Verlag (1970).

  4. J. G. Corput van der, “On the fundamental theorem of algebra. I,”Indagat. Math.,8, 430–440 (1946).

    MATH  Google Scholar 

  5. K. Gödel, “Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes,”Dialectica,12, 280–287 (1958).

    MATH  MathSciNet  Google Scholar 

  6. G. Gentzen, “Die Widerspruchsfreiheit der reinen Zahlentheorie,”Math. Ann.,112, 493–565 (1936).

    Article  MATH  MathSciNet  Google Scholar 

  7. G. Gentzen, “Neue Fassung der Widerspruchsfreiheitsbeweises für die reine Zahlentheorie,”Forch. Logik u. Grundleg. Exak. Wiss.,4, 19–44 (1938).

    MATH  Google Scholar 

  8. Mathematical Theory of Logical Inference [in Russian], Collection of translations, ed. A. V. Idel'son and G. E. Mints, Moscow (1967).

  9. N. A. Shanin, “Constructible real numbers and constructible functional spaces,”Trudy Mat. Inst. Akad. Nauk SSSR,67, 15–294 (1962), English translation: Transl. Math. Monographs,21, Am. Math. Soc., Providence (1968).

    MATH  Google Scholar 

  10. A. A. Markov, “On constructible functions,”Trudy Mat. Inst. Akad. Nauk SSSR,52, 315–348 (1958).

    MATH  Google Scholar 

  11. R. L. Goodstein, “Function theory in an axiom-free equation calculus,”Proc. London Math. Soc., Ser. 2,48, 401–434 (1945).

    MATH  MathSciNet  Google Scholar 

  12. R. L. Goodstein,Recursive Analysis, North-Holland, Amsterdam (1961).

    Google Scholar 

  13. “Problems of constructive direction in mathematics. 2,”Trudy Mat. Inst. Akad. Nauk SSSR,67 (1962).

  14. E. Bishop,Foundations of Constructive Analysis, New York (1967).

  15. E. Ya. Dantsin, “On approximative version of notion of constructible analytical fuction,”Zap. Nauchn. Semin. LOMI,60, 49–58 (1976).

    Google Scholar 

  16. N. A. Shanin, “On finitary development of mathematical analysis on the base of Euler's notion of function,” in:8 Intern. Cong. of Logic, Method. and Philos. of Science, Sect. 1. Abstracts, Vol. 1, Moscow (1987), pp. 60–63.

  17. R. L. Goodstein,Recursive Number Theory, North-Holland, Amsterdam (1957).

    Google Scholar 

  18. N. A. Shanin, “On recursive mathematical analysis and R. L. Goodstein's calculus of arithmetical equalities,” in: R. L. Goodstein,Recursive Analysis [Russian translation], Moscow (1970), pp. 7–76.

  19. V. A. Lifshits, “On the study of constructible functions by the method of filling,”Zap. Nauchn. Semin. LOMI,20, 67–79 (1971).

    Google Scholar 

  20. J. Mikusinski and R. Sikorski,The Elementary Theory of Distributions, I, II, Warsaw (1957, 1961).

  21. J. Korevaar, “Distributions defined from the point of view of applied mathematics,”Indagat. Math.,17, 368–389 (1955).

    MathSciNet  Google Scholar 

  22. N. A. Shanin, “A finitary version of notion of generalized function,” in:9th All-Union Conf. Math. Logic. Abstracts of Reports [in Russian], Leningrad (1988), pp. 179.

Download references

Authors
  1. N. A. Shanin
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 220, 1995, pp. 5–22.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Shanin, N.A. Georg Cantor as the author of constructions playing fundamental roles in constructive mathematics. J Math Sci 87, 3183–3191 (1997). https://doi.org/10.1007/BF02358991

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation