Skip to search formSkip to main contentSkip to account menu

Entscheidungsproblem

Known as: Decision problem (logic), Entscheidungs Problem, Church's undecidability theorem 
In mathematics and computer science, the Entscheidungsproblem (pronounced [ɛntˈʃaɪ̯dʊŋspʁoˌbleːm], German for 'decision problem') is a challenge… 
Wikipedia (opens in a new tab)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2021
Highly Cited
2021
  • A. Turing
  • Proc. London Math. Soc.
  • 2021
  • Corpus ID: 73712
1. Computing machines. 2. Definitions. Automatic machines. Computing machines. Circle and circle-free numbers. Computable… 
Highly Cited
2010
Highly Cited
2010
: Since 1986, German ultrasound criteria for grading carotid stenosis have followed the local diameter reduction percentage… 
Highly Cited
2005
Highly Cited
2005
We argue that subject-like obliques of the impersonal construction show behavioral properties of syntactic subjects in Old… 
Highly Cited
2004
Highly Cited
2004
Das Treffen richtiger Entscheidungen ist für den langfristigen Fortbestand eines Unternehmens von essentieller Bedeutung. Das… 
Review
2004
Review
2004
ZusammenfassungEinleitung.Klinische Untersuchungen zeigen, dass ein standardisiertes Schockraummanagement die… 
Highly Cited
2003
Highly Cited
2003
Seeking appropriate methods to model computing and human thought. 
Highly Cited
1999
Highly Cited
1999
Abstract. The introduction of extended producer responsibility forces Original Equipment Manufacturers to set up a logistic… 
Highly Cited
1936
Highly Cited
1936
  • A. Church
  • Journal of Symbolic Logic (JSL)
  • 1936
  • Corpus ID: 42323521
In a recent paper the author has proposed a definition of the commonly used term “effectively calculable” and has shown on the…