Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
: Since 1986, German ultrasound criteria for grading carotid stenosis have followed the local diameter reduction percentage… Expand
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Das Treffen richtiger Entscheidungen ist für den langfristigen Fortbestand eines Unternehmens von essentieller Bedeutung. Das… Expand
Is this relevant?
Highly Cited
2004
Highly Cited
2004
Das automatisch tätige Herzmuskelgewebe ist dadurch ausgezeichnet, daß das Membranpotential seiner Fasern sich während der… Expand
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Seeking appropriate methods to model computing and human thought. 
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Abstract. The introduction of extended producer responsibility forces Original Equipment Manufacturers to set up a logistic… Expand
Is this relevant?
Highly Cited
1992
Highly Cited
1992
 
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Abstract This paper investigates the application of a non-linear structure to the adaptive channel equalization of a bipolar… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1938
Highly Cited
1938
In a paper entitled "On computable numbers, with an application to the Entscheidungsproblem"* the author gave a proof of the… Expand
Is this relevant?
Highly Cited
1937
Highly Cited
1937
1. Computing machines. 2. Definitions. Automatic machines. Computing machines. Circle and circle-free numbers. Computable… Expand
  • figure 2
  • figure 1
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1936
Highly Cited
1936
  • A. Church
  • J. Symb. Log.
  • 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… Expand
Is this relevant?