Entscheidungsproblem
Jump to navigation
Jump to search
English[edit]
Etymology[edit]
Unadapted borrowing from German Entscheidungsproblem.
Pronunciation[edit]
Noun[edit]
Entscheidungsproblem
- (mathematics, logic) A decision problem of finding a way to decide whether a formula is true or provable within a given system.
- 1999, Neal Stephenson, Cryptonomicon:
- ‘The Entscheidungsproblem,’ Rudy said. ‘Meaning?’ Alan explained, ‘Hilbert wanted to know whether any given statement could, in principle, be found true or false.’
- 2012, George Dyson, Turing's Cathedral, Penguin, published 2013, page 279:
- Turing was attending Max Newman's lectures on the foundations of mathematics when the Entscheidungsproblem first attracted his attention.
Hypernyms[edit]
Further reading[edit]
- Entscheidungsproblem on Wikipedia.Wikipedia
German[edit]
Etymology[edit]
From Entscheidung + -s- + Problem.
Pronunciation[edit]
Noun[edit]
Entscheidungsproblem n (strong, genitive Entscheidungsproblems, plural Entscheidungsprobleme)
Declension[edit]
Declension of Entscheidungsproblem [neuter, strong]
singular | plural | ||||
---|---|---|---|---|---|
indef. | def. | noun | def. | noun | |
nominative | ein | das | Entscheidungsproblem | die | Entscheidungsprobleme |
genitive | eines | des | Entscheidungsproblems | der | Entscheidungsprobleme |
dative | einem | dem | Entscheidungsproblem | den | Entscheidungsproblemen |
accusative | ein | das | Entscheidungsproblem | die | Entscheidungsprobleme |
Hypernyms[edit]
Descendants[edit]
- → English: Entscheidungsproblem
Further reading[edit]
- “Entscheidungsproblem” in Digitales Wörterbuch der deutschen Sprache
- “Entscheidungsproblem” in Uni Leipzig: Wortschatz-Lexikon
- entscheidbar on the German Wikipedia.Wikipedia de
Categories:
- English terms borrowed from German
- English unadapted borrowings from German
- English terms derived from German
- English 5-syllable words
- English terms with IPA pronunciation
- English lemmas
- English nouns
- English countable nouns
- English nouns with unknown or uncertain plurals
- en:Mathematics
- en:Logic
- English terms with quotations
- German compound terms
- German terms interfixed with -s-
- German 5-syllable words
- German terms with IPA pronunciation
- German terms with audio links
- German lemmas
- German nouns
- German neuter nouns
- de:Mathematics
- de:Logic