link.springer.com

Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie - Mathematische Annalen

  • ️Gentzen, Gerhard
  • ️Mon Mar 01 1943

Access this article

Log in via an institution

Subscribe and save

  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

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

Instant access to the full article PDF.

Literatur

  1. K. Gödel, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I. Monatsh. f. Math. u. Phys.38 (1931) S. 173–198.

    Google Scholar 

  2. Vgl. meine Arbeit: Die Widerspruchsfreiheit der reinen Zahlentheorie. Math. Annalen112 (1936), S. 493–565; s. insbesondere Nr. 16. 2.

  3. Vgl. Hilbert-Bernays, Grundlagen der Mathematik, II. Bd., § 5, 3 c.

  4. Helf 4 der Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften (1938).

  5. Solche Berechnungsverfahren für diese Funktionen, sogar für die allgemeine Potenz, lassen sich leicht entnehmen aus § § 78 und 79 der Schrift von Hessenberg, Grundbegriffe der Mengenlehre. (Sonderdruck a. d. Abh. d. Friesschen Schule, N. F., I. Bd., 4. Heft; S. 479–706.) Göttingen 1906.

Download references

Author information

Authors and Affiliations

  1. Göttingen

    Gerhard Gentzen

Authors

  1. Gerhard Gentzen

    You can also search for this author inPubMed Google Scholar

Additional information

Eingereicht zur Erlangung des Grades eines Dr. phil. habil. in der Mathematisch-Naturwissenschaftlichen Fakultät der Georg-August-Universität zu Göttingen.

About this article

Cite this article

Gentzen, G. Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie. Math. Ann. 119, 140–161 (1943). https://doi.org/10.1007/BF01564760

Download citation

  • Received: 09 July 1942

  • Issue Date: March 1943

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