A reunion of Gödel, Tarski, Carnap and Rosser
Abstract We unify Gödel’s first incompleteness theorem (1931), Tarski’s undefinability theorem (1933), Gödel-Carnap’s diagonal lemma (1934) and Rosser’s (strengthening of Gödel’s first) incompleteness theorem (1936), whose proofs resemble much and use almost the same technique.
Gespeichert in:
| Veröffentlicht in: | Journal of logic and computation 2024-09, Vol.34 (6), p.1172-1178 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | eng |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Zusammenfassung: | Abstract
We unify Gödel’s first incompleteness theorem (1931), Tarski’s undefinability theorem (1933), Gödel-Carnap’s diagonal lemma (1934) and Rosser’s (strengthening of Gödel’s first) incompleteness theorem (1936), whose proofs resemble much and use almost the same technique. |
|---|---|
| ISSN: | 0955-792X 1465-363X |
| DOI: | 10.1093/logcom/exad001 |