See Entscheidungsproblem on Wiktionary
Download JSON data for Entscheidungsproblem meaning in All languages combined (5.3kB)
{
"etymology_templates": [
{
"args": {
"1": "en",
"2": "de",
"3": "Entscheidungsproblem"
},
"expansion": "Unadapted borrowing from German Entscheidungsproblem",
"name": "ubor"
}
],
"etymology_text": "Unadapted borrowing from German Entscheidungsproblem.",
"head_templates": [
{
"args": {
"1": "?"
},
"expansion": "Entscheidungsproblem",
"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": "topical",
"langcode": "en",
"name": "Logic",
"orig": "en:Logic",
"parents": [
"Formal sciences",
"Philosophy",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w"
},
{
"kind": "topical",
"langcode": "en",
"name": "Mathematics",
"orig": "en:Mathematics",
"parents": [
"Formal sciences",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w"
}
],
"examples": [
{
"ref": "1999, Neal Stephenson, Cryptonomicon",
"text": "‘The Entscheidungsproblem,’ Rudy said. ‘Meaning?’ Alan explained, ‘Hilbert wanted to know whether any given statement could, in principle, be found true or false.’",
"type": "quotation"
},
{
"ref": "2012, George Dyson, Turing's Cathedral, Penguin, published 2013, page 279",
"text": "Turing was attending Max Newman's lectures on the foundations of mathematics when the Entscheidungsproblem first attracted his attention.",
"type": "quotation"
}
],
"glosses": [
"A decision problem of finding a way to decide whether a formula is true or provable within a given system."
],
"hypernyms": [
{
"word": "problem"
}
],
"id": "en-Entscheidungsproblem-en-noun-qPj4PyKO",
"links": [
[
"mathematics",
"mathematics"
],
[
"logic",
"logic"
],
[
"decision problem",
"decision problem"
]
],
"raw_glosses": [
"(mathematics, logic) A decision problem of finding a way to decide whether a formula is true or provable within a given system."
],
"topics": [
"human-sciences",
"logic",
"mathematics",
"philosophy",
"sciences"
]
}
],
"sounds": [
{
"ipa": "/ɛntˈʃʌɪ.dʊŋsˌpɹɒ.bləm/"
},
{
"ipa": "/entˈʃaɪd.ʊŋsˌpɹɒb.lɪm/",
"tags": [
"Received-Pronunciation",
"dated"
]
}
],
"word": "Entscheidungsproblem"
}
{
"descendants": [
{
"depth": 1,
"templates": [
{
"args": {
"1": "en",
"2": "Entscheidungsproblem",
"bor": "1"
},
"expansion": "→ English: Entscheidungsproblem",
"name": "desc"
}
],
"text": "→ English: Entscheidungsproblem"
}
],
"etymology_templates": [
{
"args": {
"1": "de",
"2": "Entscheidung",
"3": "-s-",
"4": "Problem"
},
"expansion": "Entscheidung + -s- + Problem",
"name": "compound"
}
],
"etymology_text": "From Entscheidung + -s- + Problem.",
"forms": [
{
"form": "Entscheidungsproblems",
"tags": [
"genitive"
]
},
{
"form": "Entscheidungsprobleme",
"tags": [
"plural"
]
},
{
"form": "strong",
"source": "declension",
"tags": [
"table-tags"
]
},
{
"form": "de-ndecl",
"source": "declension",
"tags": [
"inflection-template"
]
},
{
"form": "Entscheidungsproblem",
"source": "declension",
"tags": [
"nominative",
"singular"
]
},
{
"form": "Entscheidungsprobleme",
"source": "declension",
"tags": [
"definite",
"nominative",
"plural"
]
},
{
"form": "Entscheidungsproblems",
"source": "declension",
"tags": [
"genitive",
"singular"
]
},
{
"form": "Entscheidungsprobleme",
"source": "declension",
"tags": [
"definite",
"genitive",
"plural"
]
},
{
"form": "Entscheidungsproblem",
"source": "declension",
"tags": [
"dative",
"singular"
]
},
{
"form": "Entscheidungsproblemen",
"source": "declension",
"tags": [
"dative",
"definite",
"plural"
]
},
{
"form": "Entscheidungsproblem",
"source": "declension",
"tags": [
"accusative",
"singular"
]
},
{
"form": "Entscheidungsprobleme",
"source": "declension",
"tags": [
"accusative",
"definite",
"plural"
]
}
],
"head_templates": [
{
"args": {
"1": "n,,e"
},
"expansion": "Entscheidungsproblem n (strong, genitive Entscheidungsproblems, plural Entscheidungsprobleme)",
"name": "de-noun"
}
],
"hyphenation": [
"Ent‧schei‧dungs‧prob‧lem"
],
"inflection_templates": [
{
"args": {
"1": "n,,e"
},
"name": "de-ndecl"
}
],
"lang": "German",
"lang_code": "de",
"pos": "noun",
"senses": [
{
"categories": [
{
"kind": "other",
"name": "German entries with incorrect language header",
"parents": [
"Entries with incorrect language header",
"Entry maintenance"
],
"source": "w"
},
{
"kind": "other",
"name": "German terms interfixed with -s-",
"parents": [],
"source": "w"
},
{
"kind": "topical",
"langcode": "de",
"name": "Logic",
"orig": "de:Logic",
"parents": [
"Formal sciences",
"Philosophy",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w"
},
{
"kind": "topical",
"langcode": "de",
"name": "Mathematics",
"orig": "de:Mathematics",
"parents": [
"Formal sciences",
"Sciences",
"All topics",
"Fundamental"
],
"source": "w"
}
],
"glosses": [
"Entscheidungsproblem"
],
"hypernyms": [
{
"word": "Problem"
}
],
"id": "en-Entscheidungsproblem-de-noun-jtzJ1-v-",
"links": [
[
"mathematics",
"mathematics"
],
[
"logic",
"logic"
],
[
"Entscheidungsproblem",
"#English"
]
],
"raw_glosses": [
"(mathematics, logic) Entscheidungsproblem"
],
"tags": [
"neuter",
"strong"
],
"topics": [
"human-sciences",
"logic",
"mathematics",
"philosophy",
"sciences"
]
}
],
"sounds": [
{
"ipa": "/ɛntˈʃaɪ̯dʊŋspʁoˌbleːm/"
},
{
"audio": "De-Entscheidungsproblem.ogg",
"mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/3/37/De-Entscheidungsproblem.ogg/De-Entscheidungsproblem.ogg.mp3",
"ogg_url": "https://upload.wikimedia.org/wikipedia/commons/3/37/De-Entscheidungsproblem.ogg",
"text": "Audio"
}
],
"word": "Entscheidungsproblem"
}
{
"etymology_templates": [
{
"args": {
"1": "en",
"2": "de",
"3": "Entscheidungsproblem"
},
"expansion": "Unadapted borrowing from German Entscheidungsproblem",
"name": "ubor"
}
],
"etymology_text": "Unadapted borrowing from German Entscheidungsproblem.",
"head_templates": [
{
"args": {
"1": "?"
},
"expansion": "Entscheidungsproblem",
"name": "en-noun"
}
],
"hypernyms": [
{
"word": "problem"
}
],
"lang": "English",
"lang_code": "en",
"pos": "noun",
"senses": [
{
"categories": [
"English 5-syllable words",
"English countable nouns",
"English entries with incorrect language header",
"English lemmas",
"English nouns",
"English nouns with unknown or uncertain plurals",
"English terms borrowed from German",
"English terms derived from German",
"English terms with IPA pronunciation",
"English terms with quotations",
"English unadapted borrowings from German",
"Quotation templates to be cleaned",
"en:Logic",
"en:Mathematics"
],
"examples": [
{
"ref": "1999, Neal Stephenson, Cryptonomicon",
"text": "‘The Entscheidungsproblem,’ Rudy said. ‘Meaning?’ Alan explained, ‘Hilbert wanted to know whether any given statement could, in principle, be found true or false.’",
"type": "quotation"
},
{
"ref": "2012, George Dyson, Turing's Cathedral, Penguin, published 2013, page 279",
"text": "Turing was attending Max Newman's lectures on the foundations of mathematics when the Entscheidungsproblem first attracted his attention.",
"type": "quotation"
}
],
"glosses": [
"A decision problem of finding a way to decide whether a formula is true or provable within a given system."
],
"links": [
[
"mathematics",
"mathematics"
],
[
"logic",
"logic"
],
[
"decision problem",
"decision problem"
]
],
"raw_glosses": [
"(mathematics, logic) A decision problem of finding a way to decide whether a formula is true or provable within a given system."
],
"topics": [
"human-sciences",
"logic",
"mathematics",
"philosophy",
"sciences"
]
}
],
"sounds": [
{
"ipa": "/ɛntˈʃʌɪ.dʊŋsˌpɹɒ.bləm/"
},
{
"ipa": "/entˈʃaɪd.ʊŋsˌpɹɒb.lɪm/",
"tags": [
"Received-Pronunciation",
"dated"
]
}
],
"word": "Entscheidungsproblem"
}
{
"descendants": [
{
"depth": 1,
"templates": [
{
"args": {
"1": "en",
"2": "Entscheidungsproblem",
"bor": "1"
},
"expansion": "→ English: Entscheidungsproblem",
"name": "desc"
}
],
"text": "→ English: Entscheidungsproblem"
}
],
"etymology_templates": [
{
"args": {
"1": "de",
"2": "Entscheidung",
"3": "-s-",
"4": "Problem"
},
"expansion": "Entscheidung + -s- + Problem",
"name": "compound"
}
],
"etymology_text": "From Entscheidung + -s- + Problem.",
"forms": [
{
"form": "Entscheidungsproblems",
"tags": [
"genitive"
]
},
{
"form": "Entscheidungsprobleme",
"tags": [
"plural"
]
},
{
"form": "strong",
"source": "declension",
"tags": [
"table-tags"
]
},
{
"form": "de-ndecl",
"source": "declension",
"tags": [
"inflection-template"
]
},
{
"form": "Entscheidungsproblem",
"source": "declension",
"tags": [
"nominative",
"singular"
]
},
{
"form": "Entscheidungsprobleme",
"source": "declension",
"tags": [
"definite",
"nominative",
"plural"
]
},
{
"form": "Entscheidungsproblems",
"source": "declension",
"tags": [
"genitive",
"singular"
]
},
{
"form": "Entscheidungsprobleme",
"source": "declension",
"tags": [
"definite",
"genitive",
"plural"
]
},
{
"form": "Entscheidungsproblem",
"source": "declension",
"tags": [
"dative",
"singular"
]
},
{
"form": "Entscheidungsproblemen",
"source": "declension",
"tags": [
"dative",
"definite",
"plural"
]
},
{
"form": "Entscheidungsproblem",
"source": "declension",
"tags": [
"accusative",
"singular"
]
},
{
"form": "Entscheidungsprobleme",
"source": "declension",
"tags": [
"accusative",
"definite",
"plural"
]
}
],
"head_templates": [
{
"args": {
"1": "n,,e"
},
"expansion": "Entscheidungsproblem n (strong, genitive Entscheidungsproblems, plural Entscheidungsprobleme)",
"name": "de-noun"
}
],
"hypernyms": [
{
"word": "Problem"
}
],
"hyphenation": [
"Ent‧schei‧dungs‧prob‧lem"
],
"inflection_templates": [
{
"args": {
"1": "n,,e"
},
"name": "de-ndecl"
}
],
"lang": "German",
"lang_code": "de",
"pos": "noun",
"senses": [
{
"categories": [
"German 5-syllable words",
"German compound terms",
"German entries with incorrect language header",
"German lemmas",
"German neuter nouns",
"German nouns",
"German terms interfixed with -s-",
"German terms with IPA pronunciation",
"German terms with audio links",
"de:Logic",
"de:Mathematics"
],
"glosses": [
"Entscheidungsproblem"
],
"links": [
[
"mathematics",
"mathematics"
],
[
"logic",
"logic"
],
[
"Entscheidungsproblem",
"#English"
]
],
"raw_glosses": [
"(mathematics, logic) Entscheidungsproblem"
],
"tags": [
"neuter",
"strong"
],
"topics": [
"human-sciences",
"logic",
"mathematics",
"philosophy",
"sciences"
]
}
],
"sounds": [
{
"ipa": "/ɛntˈʃaɪ̯dʊŋspʁoˌbleːm/"
},
{
"audio": "De-Entscheidungsproblem.ogg",
"mp3_url": "https://upload.wikimedia.org/wikipedia/commons/transcoded/3/37/De-Entscheidungsproblem.ogg/De-Entscheidungsproblem.ogg.mp3",
"ogg_url": "https://upload.wikimedia.org/wikipedia/commons/3/37/De-Entscheidungsproblem.ogg",
"text": "Audio"
}
],
"word": "Entscheidungsproblem"
}
This page is a part of the kaikki.org machine-readable All languages combined dictionary. This dictionary is based on structured data extracted on 2024-05-12 from the enwiktionary dump dated 2024-05-02 using wiktextract (ae36afe and 304864d). 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.