Literatur
A. Heyting. Die formalen Regeln der intuitionistischen Logik und Mathematik, Sitzungsber. d. Preuß. Akad. d. Wiss., Phys.-Math. Kl., 1930.
J. Herbrand, Sur la non-contradiction de l'arithmétique, Crelles Journ. f. d. reine u. angew. Math.166 (1932) (§ 2).
D. Hilbert, Über das Unendliche, Math. Annalen95 (1926).
K. Gödel, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I, Monatsh. f. Math. u. Phys.38 (1931).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Gentzen, G. Über das Verhältnis zwischen intuitionistischer und klassischer Arithmetik. Arch math Logik 16, 119–132 (1974). https://doi.org/10.1007/BF02015371
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02015371