Gödel numbering

(redirected from Godel numbering)

Gödel numbering

[′gərd·əl ‚nəm·bə·riŋ]
(mathematics)
Mentioned in ?
References in periodicals archive ?
Reading these statements in the latter way employs the Godel numbering semantically coded in the meta-language.