Lorenzen's Proof of Consistency for Elementary Number Theory
| Affiliation auteurs | Affiliation ok |
| Titre | Lorenzen's Proof of Consistency for Elementary Number Theory |
| Type de publication | Journal Article |
| Year of Publication | 2020 |
| Auteurs | Coquand T, Neuwirth S |
| Journal | HISTORY AND PHILOSOPHY OF LOGIC |
| Volume | 41 |
| Pagination | 281-290 |
| Date Published | JUL 2 |
| Type of Article | Article |
| ISSN | 0144-5340 |
| Résumé | 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 Universitat 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. |
| DOI | 10.1080/01445340.2020.1752034, Early Access Date = {MAY 2020 |