Ein halbordnungstheoretischer Widerspruchsfreiheitsbeweis

History and Philosophy of Logic 41 (3):265-280 (2020)
  Copy   BIBTEX

Abstract

Die Dissertation von G. Gentzen enthält einen Wf-beweis der reinen Zahlentheorie ohne vollständige Induktion, der auf dem folgenden Grundgedanken beruht: jede herleitbare Sequenz muß sich auch ohne...

Categories

Keywords

Reprint years

DOI

10.1080/01445340.2020.1752040

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,440

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

Konstruktionen versus Positionen: Beitr. zur Diskussion um d. konstruktive Wissenschaftstheorie: [Paul Lorenzen zum 60. Geburtstag].Paul Lorenzen (ed.) - 1979 - New York: de Gruyter.
Messung als Begründung oder Vermittlung?: ein Briefwechsel mit Paul Lorenzen über Protophysik und ein paar andere Dinge.Paul Lorenzen - 1995
Akademische Gedenkfeier für Paul Lorenzen: am 10. November 1995.Christian Thiel - 1998
Paul Lorenzen, Kuno Lorenzen" Dialogische Logik".Esteban Requena Manzano - 1980 - Teorema: International Journal of Philosophy 10 (1):86-88.
Wilhelm Kamiah und Paul Lorenzen. [REVIEW]Konrad Jacobs - 1980 - Perspektiven der Philosophie 6:329-357.
Wilhelm Kamiah und Paul Lorenzen. [REVIEW]Konrad Jacobs - 1980 - Perspektiven der Philosophie 6:329-357.
Review: Paul Lorenzen, Das Aktual-Unendliche in der Mathematik; Paul Lorenzen, Die Rolle der Logik in der Grundlagenkrisis der Analysis; G. Kurepa, G. Kreisel, A. Robinson, Die Rolle der Logik in der Grundlagenkrisis der Analysis: Discussion. [REVIEW]A. Heyting - 1957 - Journal of Symbolic Logic 22 (4):368-368.
Paul Lorenzen. Formale Logik. Sammlung Göschen, Bd. 1176/1176a. Walter de Gruyter & Co., Berlin1958, 165 S. - Paul Lorenzen. Formale Logik. Zweite, verbesserte Auflage. Sammlung Göschen, Bd. 1176/1176a. Walter de Gruyter & Co., Berlin1962, 165 S. [REVIEW]H. Hermes - 1968 - Journal of Symbolic Logic 32 (4):514.
Review: Paul Lorenzen, Uber Endliche Mengen. [REVIEW]Paul Bernays - 1952 - Journal of Symbolic Logic 17 (4):275-276.
H. Scholz/G. Hasenjaeger: Grundzüge der mathematischen Logik. [REVIEW]Lorenzen Lorenzen - 1962 - Philosophia Naturalis 7 (3):499.
Lorenzen Paul. Über endliche Mengen. Mathematische Annalen, vol. 123 , pp. 331–338.Paul Bernays - 1952 - Journal of Symbolic Logic 17 (4):275-276.
Constructive Philosophy by Paul Lorenzen; Karl Richard Pavlovic. [REVIEW]Paul Hoyningen-Huene - 1989 - Isis 80:354-355.
Protologik.Paul Lorenzen - 1955 - Kant Studien 47 (1-4):350-358.
Constructivity in Mathematics.Paul Lorenzen - 1981 - Epistemologia 4 (1):205.
Equality and Abstraction.Paul Lorenzen - 1962 - Ratio (Misc.) 4 (2):85.

Analytics

Added to PP
2020-06-13

Downloads
9 (#1,260,533)

6 months
4 (#799,368)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references