Gödel number
Contents
English[edit]
Etymology[edit]
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 wellformed formula of some formal language.
Translations[edit]
number uniquely assigned to each symbol
