(Translated by https://www.hiragana.jp/)
Gödel numbering - Wiktionary, the free dictionary
Wiktionary

Gödel numbering

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"