Gödel numbering
Jump to navigation
Jump to search
English[edit]
Noun[edit]
Gödel numbering (plural Gödel numberings)
- (logic) A function assigning a Gödel number to each well-formed formula of some formal language.
Gödel numbering (plural Gödel numberings)