Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 217,797,451 papers from all fields of science
Search
Sign In
Create Free Account
Entscheidungsproblem
Known as:
Decision problem (logic)
, Entscheidungs Problem
, Church's undecidability theorem
Expand
In mathematics and computer science, the Entscheidungsproblem (pronounced [ɛntˈʃaɪ̯dʊŋspʁoˌbleːm], German for 'decision problem') is a challenge…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
43 relations
Algorithm
Automated theorem proving
Boolean satisfiability problem
Church–Turing thesis
Expand
Broader (2)
Computability theory
Theory of computation
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2019
2019
On synthetic undecidability in Coq, with an application to the Entscheidungsproblem
Y. Forster
,
Dominik Kirst
,
G. Smolka
Certified Programs and Proofs
2019
Corpus ID: 57380266
We formalise the computational undecidability of validity, satisfiability, and provability of first-order formulas following a…
Expand
Highly Cited
2005
Highly Cited
2005
Oblique Subjects: A Common Germanic Inheritance
T. Eythórsson
,
Johanna Baredal
2005
Corpus ID: 56341628
We argue that subject-like obliques of the impersonal construction show behavioral properties of syntactic subjects in Old…
Expand
Highly Cited
2004
Highly Cited
2004
Multiple Criteria Decision Making (MCDM)
M. Zeleny
2004
Corpus ID: 56787459
Das Treffen richtiger Entscheidungen ist für den langfristigen Fortbestand eines Unternehmens von essentieller Bedeutung. Das…
Expand
Highly Cited
2003
Highly Cited
2003
Computation beyond turing machines
P. Wegner
,
Dina Q. Goldin
CACM
2003
Corpus ID: 1972113
Seeking appropriate methods to model computing and human thought.
Highly Cited
1999
Highly Cited
1999
Business case Océ: Reverse logistic network re-design for copiers
H. Krikke
,
A. Harten
,
P. Schuur
,
Hans-Otto Günther
,
P. Beek
1999
Corpus ID: 115024392
Abstract. The introduction of extended producer responsibility forces Original Equipment Manufacturers to set up a logistic…
Expand
Highly Cited
1991
Highly Cited
1991
Reconstruction of binary signals using an adaptive radial-basis-function equalizer
Sheng Chen
,
Garth A. Gibson
,
C. Cowan
,
P. Grant
Signal Processing
1991
Corpus ID: 205048985
Highly Cited
1960
Highly Cited
1960
APPENDIX One (A) – On Computable Numbers, with an Application to the Entscheidungsproblem
A. Turing
1960
Corpus ID: 262506720
Highly Cited
1938
Highly Cited
1938
On Computable Numbers, with an Application to the Entscheidungsproblem. A Correction
A. Turing
1938
Corpus ID: 261749152
In a paper entitled "On computable numbers, with an application to the Entscheidungsproblem"* the author gave a proof of the…
Expand
Highly Cited
1937
Highly Cited
1937
On computable numbers, with an application to the Entscheidungsproblem
A. Turing
Proc. London Math. Soc.
1937
Corpus ID: 73712
1. Computing machines. 2. Definitions. Automatic machines. Computing machines. Circle and circle-free numbers. Computable…
Expand
Highly Cited
1936
Highly Cited
1936
A note on the Entscheidungsproblem
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…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE