Gödel numbering

English dictionary entry

Meanings

noun
  1. A function assigning a Gödel number to each well-formed formula of some formal language.

Word forms

Gödel numbering Gödel numberings
This entry uses open data from Wiktionary (CC BY-SA/GFDL). Word forms are used for search and are not indexed as separate pages.