Gödelization
Jump to navigation
Jump to search
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]