Entscheidungsproblem
English
Etymology
Borrowed from German Entscheidungsproblem.
Pronunciation
- IPA(key): /ɛntˈʃʌɪdʊŋsˌpɹɒbləm/
- Lua error in Module:parameters at line 290: Parameter 1 should be a valid language or etymology language code; the value "dated RP" is not valid. See WT:LOL and WT:LOL/E. IPA(key): /entˈʃaɪdʊŋsˌpɹɒblɪm/
Noun
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 2013, p. 279:
- Turing was attending Max Newman's lectures on the foundations of mathematics when the Entscheidungsproblem first attracted his attention.
- 1999: Neal Stephenson, Cryptonomicon:
Hypernyms
References
Entscheidungsproblem on Wikipedia.Wikipedia
German
Etymology
From Entscheidung + Problem.
Pronunciation
Noun
Entscheidungsproblem n (genitive Entscheidungsproblems, plural Entscheidungsprobleme)
Hypernyms
References
entscheidbar on the German Wikipedia.Wikipedia de
Categories:
- English terms borrowed 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
- German compound terms
- German 6-syllable words
- German terms with IPA pronunciation
- German lemmas
- German nouns
- German neuter nouns
- de:Mathematics
- de:Logic