Entscheidungsproblem

English Etymology en de Entscheidungsproblem. Pronunciation en /ɛntˈʃʌɪ.dʊŋsˌpɹɒ.bləm/ en /entˈʃaɪd.ʊŋsˌpɹɒb.lɪm/ dated RP Noun ? en mathematics logic A decision problem of finding a way to decide whether a formula is true or provable within a given system. en 1999 w:Neal Stephenson w:Cryptonomicon ‘The Entscheidungsproblem,’ Rudy said. ‘Meaning?’ Alan explained, ‘Hilbert wanted to know whether any given statement could, in principle, be found true or false.’ en 2012 w:George Dyson Turing's Cathedral 279 Penguin 2013 Turing was attending Max Newman's lectures on the foundations of mathematics when the Entscheidungsproblem first attracted his attention. Hypernyms en problem Further reading German Etymology de :af Entscheidung -s- Problem From de Entscheidung -s- Problem. Pronunciation de /ɛntˈʃaɪ̯dʊŋspʁoˌbleːm/ de De-Entscheidungsproblem.ogg <<Germany>> (<<Berlin>>) de Ent schei dungs prob lem Noun n,,e de mathematics logic Entscheidungsproblem Declension n,,e Hypernyms de Problem Descendants en Entscheidungsproblem 1 Further reading entscheidbar de