Gödel number
Jump to navigation
Jump to search
English[edit]
Etymology[edit]
Named after Austrian mathematician and logician Kurt Gödel
Noun[edit]
Gödel number (plural Gödel numbers)
- (logic) A number uniquely assigned to each symbol, and to each well-formed formula of some formal language.
Derived terms[edit]
Translations[edit]
number uniquely assigned to each symbol
|