Der erste Widerspruchsfreiheitsbeweis für die klassische Zahlentheorie

Archive for Mathematical Logic 16 (3-4):97-118 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf02015370

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Die Widerspruchsfreiheit der reinen Zahlentheorie.Gerhard Gentzen - 1936 - Journal of Symbolic Logic 1 (2):75-75.
Review: Gerhard Gentzen, Die Widerspruchsfreiheit der reinen Zahlentheorie. [REVIEW]Paul Bernays - 1936 - Journal of Symbolic Logic 1 (2):75-75.
Gentzen Gerhard. Die Widerspruchsfreiheit der reinen Zahlentheorie, Mathematische Annalen, vol. 112 , pp. 493–565.Paul Bernays - 1936 - Journal of Symbolic Logic 1 (2):75-75.
Beweisbarkeit und Unbeweisbarkeit von Anfangsfallen der Transfiniten Induktion in der reinen Zahlentheorie.Gerhard Gentzen - 1944 - Journal of Symbolic Logic 9 (3):70-72.
Review: Gerhard Gentzen, Neue Fassung des Widerspruchsfreiheitsbeweises fur die reine Zahlentheorie. [REVIEW]Rózsa Péter - 1939 - Journal of Symbolic Logic 4 (1):31-32.
Die Gegenwärtige Lage in der Mathematischen Grundlagenforschung. Neue Fassung des Widerspruchsfreiheitbeweises für die Reine Zahlentheorie.Gerhard Gentzen, D. Hilbert & P. Bernays - 1940 - Mind 49 (194):239-248.
Gentzen Gerhard. Beweisbarkeit und Unbeweisbarkeil von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie. Mathematische Annalen, vol. 119 no. 1 , pp. 140–161. [REVIEW]Paul Bernays - 1944 - Journal of Symbolic Logic 9 (3):70-72.
Ein halbordnungstheoretischer Widerspruchsfreiheitsbeweis.Paul Lorenzen - 2020 - History and Philosophy of Logic 41 (3):265-280.
Gentzen Gerhard. Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie. Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, neue Folge, Heft 4, S. 19–44. S. Hirzel, Leipzig 1938. [REVIEW]Rózsa Péter - 1939 - Journal of Symbolic Logic 4 (1):31-32.
Wie finde ich altertumswissenschaftliche Literatur? Klassische Philologie, Mittel- und Neulatein, Byzantinistik, Alte Geschichte und Klassische Archäologie by Brigitte Gullath & Frank Heidtmann. [REVIEW]Frances Titchener - 1994 - Classical World: A Quarterly Journal on Antiquity 87:497-497.
A Remark on Gentzen's paper "Beweisbarkeit und Unbeweisbarkeit von Anfangsfallen der Transfiniten Induktion in der Reinen Zahlentheorie." I-II.Gaisi Takeuti - 1964 - Journal of Symbolic Logic 29 (1):58-59.
F. Bachmann. Aufbau des Zahlensystems. Enzyklopädie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen, Band I. Algebra und Zahlentheorie, Teil 1., Heft 2., B. G. Teubner, Leipzig1939—article A3, 28 pp. - K. Knopp. Darstellung der reellen Zahlen durch Grenzprozesse. Enzyklopädie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen, Band I. Algebra und Zahlentheorie, Teil 1., Heft 2., B. G. Teubner, Leipzig1939—article A4, 30 pp. - E. Kamke. Allgemeine Mengenlehre. Enzyklopädie der mathematischen Wissenschaften mit Einschluss ihrer Anwendungen, Band I. Algebra und Zahlentheorie, Teil 1., Heft 2., B. G. Teubner, Leipzig1939—article A5, 56 pp. [REVIEW]Saunders MacLane - 1940 - Journal of Symbolic Logic 5 (4):154-155.
Sebastian Schmidt-Hofner, Das klassische Griechenland. Der Krieg und die Freiheit, München 2016 368 S., 12 Abb., 7 Ktn., ISBN 978-3-406-67915-5 € 16,95Das klassische Griechenland. Der Krieg und die Freiheit. [REVIEW]Michael Jung - 2016 - Klio 100 (3):947-949.
Elementa Arabica: Einführung in die klassische arabische SpracheElementa Arabica: Einfuhrung in die klassische arabische Sprache.Alan S. Kaye & Anton Schall - 1990 - Journal of the American Oriental Society 110 (1):171.
Taxeuti Gaisi. A remark on Gentzen's paper “Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlentheorie.” I—II. Proceedings of the Japan Academy, vol. 39 , pp. 263–269. [REVIEW]James R. Guard - 1964 - Journal of Symbolic Logic 29 (1):58-59.

Analytics

Added to PP
2020-12-03

Downloads
8 (#1,287,956)

6 months
3 (#992,474)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Consistency of Heyting arithmetic in natural deduction.Annika Kanckos - 2010 - Mathematical Logic Quarterly 56 (6):611-624.
Reading Gentzen's Three Consistency Proofs Uniformly.Ryota Akiyoshi & Yuta Takahashi - 2013 - Journal of the Japan Association for Philosophy of Science 41 (1):1-22.

View all 10 citations / Add more citations

References found in this work

No references found.

Add more references