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.
- 2013, Encyclopedia of Math[1]