See Gödel number in All languages combined, or Wiktionary
{
"etymology_templates": [
{
"args": {
"1": "mathematician and logician",
"2": "",
"3": "",
"4": "",
"5": ""
},
"expansion": "mathematician and logician",
"name": "named-after/list"
},
{
"args": {},
"expansion": "|",
"name": "!"
},
{
"args": {
"1": "en",
"2": "Kurt Gödel"
},
"expansion": "Kurt Gödel",
"name": "lang"
},
{
"args": {
"1": "en",
"2": "Kurt Gödel",
"nat": "Austrian",
"occ": "mathematician and logician",
"wplink": "="
},
"expansion": "Named after Austrian mathematician and logician Kurt Gödel",
"name": "named-after"
}
],
"etymology_text": "Named after Austrian mathematician and logician Kurt Gödel",
"forms": [
{
"form": "Gödel numbers",
"tags": [
"plural"
]
}
],
"head_templates": [
{
"args": {},
"expansion": "Gödel number (plural Gödel numbers)",
"name": "en-noun"
}
],
"lang": "English",
"lang_code": "en",
"pos": "noun",
"senses": [
{
"categories": [
{
"kind": "other",
"name": "English entries with incorrect language header",
"parents": [
"Entries with incorrect language header",
"Entry maintenance"
],
"source": "w"
},
{
"kind": "other",
"name": "Entries with translation boxes",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Pages with 1 entry",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Pages with entries",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Catalan translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with French translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with German translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Italian translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Portuguese translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Spanish translations",
"parents": [],
"source": "w"
},
{
"kind": "other",
"name": "Terms with Swedish translations",
"parents": [],
"source": "w"
},
{
"kind": "topical",
"langcode": "en",
"name": "Logic",
"orig": "en:Logic",
"parents": [
"Formal sciences",
"Philosophy",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w"
}
],
"derived": [
{
"word": "Gödel numbering"
}
],
"glosses": [
"A number uniquely assigned to each symbol, and to each well-formed formula of some formal language."
],
"id": "en-Gödel_number-en-noun-m7APAqof",
"links": [
[
"logic",
"logic"
],
[
"well-formed formula",
"well-formed formula"
],
[
"formal language",
"formal language"
]
],
"raw_glosses": [
"(logic) A number uniquely assigned to each symbol, and to each well-formed formula of some formal language."
],
"topics": [
"human-sciences",
"logic",
"mathematics",
"philosophy",
"sciences"
],
"translations": [
{
"code": "ca",
"lang": "Catalan",
"sense": "number uniquely assigned to each symbol",
"tags": [
"masculine"
],
"word": "nombre de Gödel"
},
{
"code": "fr",
"lang": "French",
"sense": "number uniquely assigned to each symbol",
"tags": [
"masculine"
],
"word": "nombre de Gödel"
},
{
"code": "de",
"lang": "German",
"sense": "number uniquely assigned to each symbol",
"tags": [
"feminine"
],
"word": "Gödelnummer"
},
{
"code": "it",
"lang": "Italian",
"sense": "number uniquely assigned to each symbol",
"tags": [
"masculine"
],
"word": "numero di Gödel"
},
{
"code": "pt",
"lang": "Portuguese",
"sense": "number uniquely assigned to each symbol",
"tags": [
"masculine"
],
"word": "número de Gödel"
},
{
"code": "es",
"lang": "Spanish",
"sense": "number uniquely assigned to each symbol",
"tags": [
"masculine"
],
"word": "número de Gödel"
},
{
"code": "sv",
"lang": "Swedish",
"sense": "number uniquely assigned to each symbol",
"tags": [
"neuter"
],
"word": "Gödeltal"
}
],
"wikipedia": [
"Gödel number"
]
}
],
"word": "Gödel number"
}
{
"derived": [
{
"word": "Gödel numbering"
}
],
"etymology_templates": [
{
"args": {
"1": "mathematician and logician",
"2": "",
"3": "",
"4": "",
"5": ""
},
"expansion": "mathematician and logician",
"name": "named-after/list"
},
{
"args": {},
"expansion": "|",
"name": "!"
},
{
"args": {
"1": "en",
"2": "Kurt Gödel"
},
"expansion": "Kurt Gödel",
"name": "lang"
},
{
"args": {
"1": "en",
"2": "Kurt Gödel",
"nat": "Austrian",
"occ": "mathematician and logician",
"wplink": "="
},
"expansion": "Named after Austrian mathematician and logician Kurt Gödel",
"name": "named-after"
}
],
"etymology_text": "Named after Austrian mathematician and logician Kurt Gödel",
"forms": [
{
"form": "Gödel numbers",
"tags": [
"plural"
]
}
],
"head_templates": [
{
"args": {},
"expansion": "Gödel number (plural Gödel numbers)",
"name": "en-noun"
}
],
"lang": "English",
"lang_code": "en",
"pos": "noun",
"senses": [
{
"categories": [
"English countable nouns",
"English entries with incorrect language header",
"English eponyms",
"English lemmas",
"English multiword terms",
"English nouns",
"English terms spelled with Ö",
"English terms spelled with ◌̈",
"Entries with translation boxes",
"Pages with 1 entry",
"Pages with entries",
"Terms with Catalan translations",
"Terms with French translations",
"Terms with German translations",
"Terms with Italian translations",
"Terms with Portuguese translations",
"Terms with Spanish translations",
"Terms with Swedish translations",
"en:Logic"
],
"glosses": [
"A number uniquely assigned to each symbol, and to each well-formed formula of some formal language."
],
"links": [
[
"logic",
"logic"
],
[
"well-formed formula",
"well-formed formula"
],
[
"formal language",
"formal language"
]
],
"raw_glosses": [
"(logic) A number uniquely assigned to each symbol, and to each well-formed formula of some formal language."
],
"topics": [
"human-sciences",
"logic",
"mathematics",
"philosophy",
"sciences"
],
"wikipedia": [
"Gödel number"
]
}
],
"translations": [
{
"code": "ca",
"lang": "Catalan",
"sense": "number uniquely assigned to each symbol",
"tags": [
"masculine"
],
"word": "nombre de Gödel"
},
{
"code": "fr",
"lang": "French",
"sense": "number uniquely assigned to each symbol",
"tags": [
"masculine"
],
"word": "nombre de Gödel"
},
{
"code": "de",
"lang": "German",
"sense": "number uniquely assigned to each symbol",
"tags": [
"feminine"
],
"word": "Gödelnummer"
},
{
"code": "it",
"lang": "Italian",
"sense": "number uniquely assigned to each symbol",
"tags": [
"masculine"
],
"word": "numero di Gödel"
},
{
"code": "pt",
"lang": "Portuguese",
"sense": "number uniquely assigned to each symbol",
"tags": [
"masculine"
],
"word": "número de Gödel"
},
{
"code": "es",
"lang": "Spanish",
"sense": "number uniquely assigned to each symbol",
"tags": [
"masculine"
],
"word": "número de Gödel"
},
{
"code": "sv",
"lang": "Swedish",
"sense": "number uniquely assigned to each symbol",
"tags": [
"neuter"
],
"word": "Gödeltal"
}
],
"word": "Gödel number"
}
Download raw JSONL data for Gödel number meaning in English (2.9kB)
This page is a part of the kaikki.org machine-readable English dictionary. This dictionary is based on structured data extracted on 2025-01-18 from the enwiktionary dump dated 2025-01-01 using wiktextract (e4a2c88 and 4230888). The data shown on this site has been post-processed and various details (e.g., extra categories) removed, some information disambiguated, and additional data merged from other sources. See the raw data download page for the unprocessed wiktextract data.
If you use this data in academic research, please cite Tatu Ylonen: Wiktextract: Wiktionary as Machine-Readable Structured Data, Proceedings of the 13th Conference on Language Resources and Evaluation (LREC), pp. 1317-1325, Marseille, 20-25 June 2022. Linking to the relevant page(s) under https://kaikki.org would also be greatly appreciated.