ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS (Q5001552)
From MaRDI portal
scientific article; zbMATH DE number 7374090
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS |
scientific article; zbMATH DE number 7374090 |
Statements
ON THE INVARIANCE OF GÖDEL’S SECOND THEOREM WITH REGARD TO NUMBERINGS (English)
0 references
22 July 2021
0 references
second incompleteness theorem
0 references
Gödel numberings
0 references
diagonalisation
0 references
