Gödel numbering

English edit

Noun edit

Gödel numbering (plural Gödel numberings)

(logic) A function assigning a Gödel number to each well-formed formula of some formal language.

Retrieved from "https://en.wiktionary.org/w/index.php?title=Gödel_numbering&oldid=59493770"