Lorenzen's Proof of Consistency for Elementary Number Theory

&
History and Philosophy of Logic 41 (3):281-290 (2020)
  Copy   BIBTEX

Abstract

We present a manuscript of Paul Lorenzen that provides a proof of consistency for elementary number theory as an application of the construction of the free countably complete pseudocomplemented semilattice over a preordered set. This manuscript rests in the Oskar-Becker-Nachlass at the Philosophisches Archiv of Universität Konstanz, file OB 5-3b-5. It has probably been written between March and May 1944. We also compare this proof to Gentzen's and Novikov's, and provide a translation of the manuscript.

Categories

Keywords

Reprint years

DOI

10.1080/01445340.2020.1752034

Links

PhilArchive



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

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

On the philosophical significance of consistency proofs.Michael D. Resnik - 1974 - Journal of Philosophical Logic 3 (1/2):133 - 147.
On the Intuitionistic Background of Gentzen's 1935 and 1936 Consistency Proofs and Their Philosophical Aspects.Yuta Takahashi - 2018 - Annals of the Japan Association for Philosophy of Science 27:1-26.
Hilbert's program modi ed.Solomon Feferman - unknown
A consistency proof for elementary algebra and geometry.Harvey Friedman - manuscript
On the original Gentzen consistency proof for number theory.Manfred Szabo - 1970 - In A. Kino, John Myhill & Richard Eugene Vesley (eds.), Intuitionism and proof theory. Amsterdam,: North-Holland Pub. Co.. pp. 409.
Notes on a formalization of the prime number theorem.Jeremy Avigad - unknown
The consistency of arithmetic.Storrs McCall - manuscript
A Simple Proof that Super-Consistency Implies Cut Elimination.Gilles Dowek & Olivier Hermant - 2012 - Notre Dame Journal of Formal Logic 53 (4):439-456.
Saturation and Σ₂-transfer for ERNA.Chris Impens - 2009 - Journal of Symbolic Logic 74 (3):901-913.
Gödel's Third Incompleteness Theorem.Timothy McCarthy - 2016 - Dialectica 70 (1):87-112.
On the concept of proof in elementary geometry Pirmin stekeler-weithofer.Proof In Elementary - 1992 - In Michael Detlefsen (ed.), Proof and Knowledge in Mathematics. Routledge.
Probability in Logic. [REVIEW]R. A. A. - 1957 - Review of Metaphysics 11 (2):348-348.
Paul Bernays. On the original Gentzen consistency proof for number theory. Intuitionism and proof theory, Proceedings of the summer conference at Buffalo N.Y. 1968, edited by A. Kino, J. Myhill, and R. E. Vesley, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam and London1970, pp. 409–417. [REVIEW]J. van Heijenoort - 1975 - Journal of Symbolic Logic 40 (1):95-95.
Perfect trees and elementary embeddings.Sy-David Friedman & Katherine Thompson - 2008 - Journal of Symbolic Logic 73 (3):906-918.
Short Proofs for Slow Consistency.Anton Freund & Fedor Pakhomov - 2020 - Notre Dame Journal of Formal Logic 61 (1):31-49.

Analytics

Added to PP
2020-06-13

Downloads
25 (#595,425)

6 months
11 (#191,387)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Thierry Coquand
Stefan Neuwirth
Université de Franche-Comté

Citations of this work

No citations found.

Add more citations

References found in this work

From Frege to Gödel.Jean van Heijenoort - 1968 - Philosophy of Science 35 (1):72-72.
Die Widerspruchsfreiheit der reinen Zahlentheorie.Gerhard Gentzen - 1936 - Journal of Symbolic Logic 1 (2):75-75.

View all 18 references / Add more references