Gödel numbering

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English

[edit]

Noun

[edit]

Gödel numbering (plural Gödel numberings)

  1. (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"