Self-reference and the Languages of Arithmetic (Q3592241)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Self-reference and the Languages of Arithmetic |
scientific article |
Statements
Self-reference and the Languages of Arithmetic (English)
0 references
12 September 2007
0 references
self-reference
0 references
truth
0 references
diagonalization lemma
0 references
Gödel numbering
0 references
