411 REFERENCE · Wiktionary
Gödel number
Reference material by Wiktionary contributors. This retains its source identity and is not 411 news reporting.
English
Etymology
en Austrian mathematician and logician Kurt Gödel =
Noun
en logic A number uniquely assigned to each symbol, and to each well-formed formula of some formal language.
Derived terms
en Gödel numbering
Translations
number uniquely assigned to each symbol
Catalan: ca nombre de Gödel m
French: fr nombre de Gödel m
German: de Gödelnummer f
Italian: it numero di Gödel m
Polish: pl liczba Gödla f
Portuguese: pt número de Gödel m
Spanish: es número de Gödel m
Swedish: sv Gödeltal n