Gödel number
English
editEtymology
editNamed after Austrian mathematician and logician Kurt Gödel
Noun
editGö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
editTranslations
editnumber uniquely assigned to each symbol
|