Tarski’s Undefinability Theorem and the Diagonal Lemma (Q5092563)
From MaRDI portal
scientific article; zbMATH DE number 7561915
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Tarski’s Undefinability Theorem and the Diagonal Lemma |
scientific article; zbMATH DE number 7561915 |
Statements
Tarski’s Undefinability Theorem and the Diagonal Lemma (English)
0 references
22 July 2022
0 references
diagonal lemma
0 references
diagonal-free proofs
0 references
Gödel's incompleteness theorem
0 references
Rosser's theorem
0 references
self-reference
0 references
Tarski's undefinability theorem
0 references
