Definitions
from Wiktionary, Creative Commons Attribution/ShareAlike License
 n. A decision problem, of finding a way to decide whether a formula is true or provable within a given system.
Etymologies
Examples

The Entscheidungsproblem is the problem of finding a humanly executable procedure of a certain sort, and Turing's aim was precisely to show that there is no such procedure in the case of predicate logic.

In his 1936 paper, "On Computable Numbers, with an Application to the Entscheidungsproblem", Alan Turing introduced his machines and established their basic properties.

Entscheidungsproblem, Turing took the step of defining computable numbers.

It was from the lectures of the topologist M.H. A. (Max) Newman in that year that he learnt of GÃ¶del's 1931 proof of the formal incompleteness of logical systems rich enough to include arithmetic, and of the outstanding problem in the foundations of mathematics as posed by H.lbert: the “Entscheidungsproblem” (decision problem).

Turing's paper of 1936 (˜On Computable Numbers, with an Application to the Entscheidungsproblem™) was required reading for members of von Neumann's postwar computer project at the Institute for Advanced Study, Princeton University (letter from Julian Bigelow to Copeland, 2002; see also Copeland [2004], p. 23).

Here is Church's account of the Entscheidungsproblem:

˜On Computable Numbers, with an Application to the Entscheidungsproblem™.

By the Entscheidungsproblem of a system of symbolic logic is here understood the problem to find an effective method by which, given any expression Q in the notation of the system, it can be determined whether or not Q is provable in the system.

In 1931, just as Hilbert asserted that we must know, Kurt Gödel showed that the Entscheidungsproblem in fact could not be solved — more explicitly that it could not be solved in the formal system of Whitehead and Russell's "Principia Mathematica" and the methods derived in that system.

He dreamed of solving the Entscheidungsproblem and thereby solving as corollaries all the famous unsolved problems of mathematics ....
Wordnik is becoming a notforprofit! Read our announcement here.
hernesheir commented on the word Entscheidungsproblem
A 20letter word containing two strings of five consecutive consonants.
December 12, 2011