Gödelization

English edit

Etymology edit

From Kurt Gödel (or Gödel number) and -ization.

Noun edit

Gödelization (plural Gödelizations)

(logic) Gödel numbering
- 2013, Encyclopedia of Math[1]
  Gödelizations with bijective mapping β are of special interest.

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