Entscheidungsproblem
/ɛntˈʃʌɪ.dʊŋsˌpɹɒ.bləm/UK/entˈʃaɪd.ʊŋsˌpɹɒb.lɪm/
Entscheidungsproblem noun: a decision problem of finding a way to decide whether a formula is true or provable within a given system.
Noun
Entscheidungsproblem
- A decision problem of finding a way to decide whether a formula is true or provable within a given system.
- ‘The Entscheidungsproblem,’ Rudy said. ‘Meaning?’ Alan explained, ‘Hilbert wanted to know whether any given statement could, in principle, be found true or false.’1999, Neal Stephenson, Cryptonomicon
- Turing was attending Max Newman's lectures on the foundations of mathematics when the Entscheidungsproblem first attracted his attention.2012, George Dyson, Turing's Cathedral, Penguin, published 2013, page 279
Origin of Entscheidungsproblem
Unadapted borrowing from German Entscheidungsproblem.
Questions about Entscheidungsproblem
- What does Entscheidungsproblem mean?
- Entscheidungsproblem means a decision problem of finding a way to decide whether a formula is true or provable within a given system.
- What part of speech is Entscheidungsproblem?
- Entscheidungsproblem is a noun.
- How do you pronounce Entscheidungsproblem?
- Entscheidungsproblem is pronounced /ɛntˈʃʌɪ.dʊŋsˌpɹɒ.bləm/.
Words near Entscheidungsproblem in the dictionary
Source and license
Adapted from Wiktionary: Entscheidungsproblem (page history and authors). Text available under the Creative Commons Attribution-ShareAlike 4.0 license. Word.ws reformatted the entry and added links. Wiktionary data of 2026-09-02.
Last updated:
Cite this entry: “Entscheidungsproblem.” Word.ws, https://word.ws/entscheidungsproblem. Based on Wiktionary, CC BY-SA 4.0.