Gödelization
English
editEtymology
editFrom Kurt Gödel (or Gödel number) and -ization.
Noun
editGödelization (plural Gödelizations)
- (logic) Gödel numbering
- 2013, Encyclopedia of Math[1]
- Gödelizations with bijective mapping β are of special interest.
- 2013, Encyclopedia of Math[1]