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… (More)
Wikipedia

Related topics

Related topics

43 relations
AlgorithmAutomated theorem provingBoolean satisfiability problemChurch–Turing thesis
(More)

Broader (2)

Computability theoryTheory of computation

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
OX COMPUTABLE NUMBERS WITH AN APPLICATION TO THE ENTSCHEIDUNGSPROBLEM Universal Turing Machine
  • 2011
Access points and randomized algorithms, while extensive in theory, have not until recently been considered compelling. After… (More)
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2008
2008
Information and beliefs in a repeated normal-form game
Empfohlene Zitierung / Suggested Citation: Fehr, D., Kübler, D., & Danz, D. (2010). Information and beliefs in a repeated normal… (More)
  • table 1
  • table 2
  • table 3
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Multiple Criteria Decision Making (MCDM)
Das Treffen richtiger Entscheidungen ist für den langfristigen Fortbestand eines Unternehmens von essentieller Bedeutung. Das… (More)
Is this relevant?
2003
2003
Stufe-3-Leitlinie – Brustkrebs-Früherkennung in Deutschland
Ziel der Stufe-3-Leitlinie “Brustkrebs-Früherkennung in Deutschland” ist es, Ärzte, Frauen und Patientinnen in der Entscheidung… (More)
Is this relevant?
2002
2002
Akzeptanzkriterien für mobile Bezahlverfahren
Die Verfügbarkeit breit akzeptierter mobiler Bezahlverfahren ist eine wichtige Voraussetzung für den betriebswirtschaftlichen… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Reconstruction of binary signals using an adaptive radial-basis-function equalizer
This paper investigates the application of a non-linear structure to the adaptive channel equalization of a bipolar signal passed… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1966
1966
Spike probability in neurones: influence of temporal structure in the train of synaptic events
1. Bestimmte Input-Output Beziehungen wurden untersucht durch intraneurale Registrierungen von isolierten visceralen Ganglien von… (More)
  • figure 1
  • figure 4
  • figure 6
  • figure 7
  • figure 9
Is this relevant?
1965
1965
Die Nesselkapseln der Cnidaria, mit besonderer Berücksichtigung der Hydroida
Long-term investigations on the ecology, morphology and systematics of hydroids, both of the North Sea and the Mediterranean… (More)
Is this relevant?
1958
1958
Der Mechanismus der automatischen rhythmischen Impulsbildung der Herzmuskelfaser
Das automatisch tätige Herzmuskelgewebe ist dadurch ausgezeichnet, daß das Membranpotential seiner Fasern sich während der… (More)
Is this relevant?
Highly Cited
1937
Highly Cited
1937
On computable numbers, with an application to the Entscheidungsproblem
The "computable" numbers may be described briefly as the real numbers whose expressions as a decimal are calculable by finite… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
Is this relevant?