Gödel numbering
noun1
Human sciences, Logic, Mathematics, Philosophy, Sciences A function assigning a Gödel number to each well-formed formula of some formal language.
Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.
noun
Human sciences, Logic, Mathematics, Philosophy, Sciences A function assigning a Gödel number to each well-formed formula of some formal language.
Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.
Do you accept non-essential analytics cookies?