Lorenzen's Proof of Consistency for Elementary Number Theory
Bibliographic Data
| ID | 21451300 |
|---|---|
| Authors | Thierry Coquand (0000-0002-5429-5153, University of Gothenburg), Stefan Neuwirth (0000-0001-9139-4911, Université Bourgogne Franche-Comté, corresponding author) |
| Year | 2020 |
| Volume | 41 |
| Issue | 3 |
| Pages | 281-290 |
| Publication date | 2020-07-02 |
| Peer Reviewed | Yes |
| Open Access | No |
| Type | ARTICLE |
| Venue | History and Philosophy of Logic (JOURNAL) |
| Journal identifiers | ISSN: 0144-5340 • E-ISSN: 1464-5149 |
| Publisher | Informa UK Limited (PUBLISHER • GB) |
| DOI | 10.1080/01445340.2020.1752034 |
| OpenAlex | W3102276490 |
| Language | EN |
| Citations received | 1 |
| References cited | 26 |
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
Calculus (dental) · Consistency (knowledge bases) · Discrete mathematics · Elementary proof · History and Theory of Mathematics · Mathematical and Theoretical Analysis · Mathematics · Mathematics and Applications · Medicine
| Unique citing works | 1 |
|---|---|
| Citations per year | 1 |
| Citation span | 2025 - 2025 (1) |
| Citation velocity | recent |
| Highly cited | No |
| Citation types | Neutral: 1 |