Gödel numbering en · NOUN
Meanings
- A function assigning a Gödel number to each well-formed formula of some formal language.
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| Gödel numberings | Number=Plur | lexicographic |
Dictionary
Words, grammatical forms and meanings linked to the ontology.