Disambiguation evidence for Gödel numbering via surface form

"Gödel numbering"

Triples (6)

Triples where some other subject referred to this entity as "Gödel numbering".

Kurt Gödel → notableWork →
"Gödel numbering"
↳ resolves to Gödel numbering
ⓘ
Gödel's incompleteness theorems → relatedTo →
"Gödel numbering"
↳ resolves to Gödel numbering
ⓘ
Computability Theory → fieldOfStudy →
"Gödel numbering"
↳ resolves to Gödel numbering
ⓘ
arithmetization of syntax → uses →
"Gödel numbering"
↳ resolves to Gödel numbering
ⓘ
Rosser trick → basedOn →
"Gödel numbering"
↳ resolves to Gödel numbering
ⓘ
Rosser’s trick in incompleteness proofs → reliesOn →
"Gödel numbering"
↳ resolves to Gödel numbering
ⓘ