Une preuve de non-contradiction par la théorie des préordres
| Autor: | Paul Lorenzen |
|---|---|
| Přispěvatelé: | Neuwirth, Stefan |
| Rok vydání: | 2020 |
| Předmět: |
free countably complete pseudocomplemented semilattice
demi-treillis pseudocomplémenté dénombrablement complet libre non-contradiction de l'arithmétique History Omega-Regel oméga-règle Induktion Widerspruchsfreiheit der reinen Zahlentheorie cut-elimination [MATH.MATH-GM] Mathematics [math]/General Mathematics [math.GM] freier abzählbar-vollständiger pseudokomplementärer Halbverband élimination des coupures consistency of elementary number theory Paul Lorenzen History and Philosophy of Science Schnittelimination omega-rule [MATH.MATH-HO] Mathematics [math]/History and Overview [math.HO] [MATH.MATH-LO] Mathematics [math]/Logic [math.LO] induction |
| Zdroj: | History and Philosophy of Logic. 41:265-280 |
| ISSN: | 1464-5149 0144-5340 |
| Popis: | Die Widerspruchsfreiheit der reinen Zahlentheorie wird mittels der Konstruktion des freien abzählbar-vollständigen pseudokomplementären Halbverbands über einer halbgeordneten Menge bewiesen.Transkription eines getippten Manuskripts mit handschriftlicher Einfügung mathematischer Symbole aus dem Oskar-Becker-Nachlass des Philosophischen Archivs der Universität Konstanz, Dokument OB 5-3b-5. Es wurde wahrscheinlich zwischen März und Mai 1944 verfasst. Die handschriftlichen Anmerkungen eines Lesers, wahrscheinlich Oskar Becker, wurden ausgelassen. Mit der freundlichen Genehmigung von Paul Lorenzens Tochter, Jutta Reinhardt, veröffentlicht. The consistency of elementary number theory is proved as an application of the construction of the free countably complete pseudocomplemented semilattice over a preordered set. Transcription of a typewritten manuscript with handwritten insertions of mathematical symbols from the Oskar-Becker-Nachlass at the Philosophisches Archiv of the Universität Konstanz, file OB 5-3b-5. It has probably been written between March and May 1944. The annotations of a reader, probably Oskar Becker, have been omitted. Published with the kind permission of Paul Lorenzen's daughter, Jutta Reinhardt. La non-contradiction de l'arithmétique élémentaire est prouvée comme application de la construction du demi-treillis pseudocomplémenté dénombrablement complet librement engendré par un ensemble préordonné.Transcription d'un manuscrit tapé à la machine avec des ajouts de symboles mathématiques à la main, issu du Oskar-Becker-Nachlass au Philosophisches Archiv de l'université de Constance, document OB 5-3b-5. Il a probablement été écrit entre mars et mai 1944. Les annotations d'un lecteur, probablement Oskar Becker, ont été omises. Publié avec l'aimable autorisation de la fille de Paul Lorenzen, Jutta Reinhardt. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|
| Nepřihlášeným uživatelům se plný text nezobrazuje | K zobrazení výsledku je třeba se přihlásit. |