Entscheidungsproblem
noun/ɛntˈʃʌɪ.dʊŋsˌpɹɒ.bləm//entˈʃaɪd.ʊŋsˌpɹɒb.lɪm/UK
Etymology
Unadapted borrowing from German Entscheidungsproblem.
- derived from Entscheidungsproblem
Definitions
A decision problem of finding a way to decide whether a formula is true or provable…
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.’
- Turing was attending Max Newman's lectures on the foundations of mathematics when the Entscheidungsproblem first attracted his attention.
The neighborhood
Vish — recursive loop
No curated loop yet for Entscheidungsproblem. Loops are being traced one word at a time while the ingestion pipeline matures.
sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA