Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik

  • Gerhard Gentzen
Article

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. 4.
    A. Heyting. Die formalen Regeln der intuitionistischen Logik und Mathematik, Sitzungsber. d. Preuß. Akad. d. Wiss., Phys.-Math. Kl., 1930.Google Scholar
  2. 5.
    J. Herbrand, Sur la non-contradiction de l'arithmétique, Crelles Journ. f. d. reine u. angew. Math.166 (1932) (§ 2).Google Scholar
  3. 7.
    D. Hilbert, Über das Unendliche, Math. Annalen95 (1926).Google Scholar
  4. 8.
    K. Gödel, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, Monatsh. f. Math. u. Phys.38 (1931).Google Scholar

Copyright information

© Verlag W. Kohlhammer 1974

Authors and Affiliations

  • Gerhard Gentzen
    • 1
  1. 1.Göttingen

Personalised recommendations