The Entscheidungsproblem (German: decision problem) is the challenge in symbolic logic to find a general algorithm which decides for given first-order statements whether they are universally valid or not. Alonzo Church and independently Alan Turing showed in 1936 that this is impossible. As a consequence, it is in particular impossible to algorithmically decide whether statements in arithmetic are true or false.
The question goes back to Gottfried Leibniz, who in the seventeenth century, after having constructed a successful mechanical calculating machine, dreamt of building a machine that could manipulate symbols in order to determine the truth values of mathematical statements. He realized that the first step would have to be a clean formal language, and much of his subsequent work was directed towards that goal. In 1928, David Hilbert and Ackermann posed the question in the form outlined above.
A first-order statement is called "universally valid" or "logically valid" if it follows from the axioms of the first-order predicate calculus. Gödel's completeness theorem states that a statement is universally valid in this sense if and only if it is true in every interpretation of the formula in a model.
Before the question could be answered, the notion of "algorithm" had to be formally defined. This was done by Alonzo Church in 1936 with the concept of "effective calculability" based on his lambda calculus and by Alan Turing in the same year with his concept of Turing machines. The two approaches are equivalent, an instance of the Church-Turing thesis.
The negative answer to the Entscheidungsproblem was then given by Alonzo Church in 1936 and independently shortly thereafter by Alan Turing, also in 1936. Church proved that there is no algorithm (defined via recursive functions) which decides for two given lambda calculus expressions whether they are equivalent or not. He relied heavily on earlier work by Kleene. Turing reduced the problem to the halting problem for Turing machines and his paper is generally considered to be much more influential than Church's. The work of both authors was heavily influenced by Kurt Gödel's earlier work on his incompleteness theorem, especially by the method of assigning numbers to logical formulas in order to reduce logic to arithmetic.
Turing's argument follows. Suppose we had a general decision algorithm for first order logic. The question whether a given Turing machine halts or not can be formulated as a first-order statement, which would then be susceptible to the decision algorithm. But Turing had proved earlier that no general algorithm can decide whether a given Turing machine halts.
It is important to realize that if we restrict ourselves to a specific first-order theory with specified object constants, function constants, predicate constants and subject axioms, the truth of statements in that theory may very well be algorithmically decidable. An example of this is given by Presburger arithmetic.
However, the general first-order theory of the natural numbers expressed in Peano's axioms cannot be decided with such an algorithm. This also follows from Turing's argument given above.
References:
- Alonzo Church, "An unsolvable problem of elementary number theory", American Journal of Mathematics, 58 (1936), pp 345 - 363
- Alonzo Church, "A note on the Entscheidungsproblem", Journal of Symbolic Logic, 1 (1936), pp 40 - 41.
- Alan Turing, "On computable numbers, with an application to the Entscheidungsproblem", Proceedings of the London Mathematical Society, Series 2, 42 (1936), pp 230-265. Online version (http://www.abelard.org/turpap2/tp2-ie.asp). Errata appeared in Series 2, 43 (1937), pp 544-546.
Common misspelling and questions (FAQ)
ntscheidungsproblem etscheidungsproblem enscheidungsproblem entcheidungsproblem entsheidungsproblem entsceidungsproblem entschidungsproblem entschedungsproblem entscheiungsproblem entscheidngsproblem entscheidugsproblem entscheidunsproblem entscheidungproblem entscheidungsroblem entscheidungspoblem entscheidungsprblem entscheidungsprolem entscheidungsprobem entscheidungsproblm entscheidungsproble netscheidungsproblem etnscheidungsproblem enstcheidungsproblem entcsheidungsproblem entshceidungsproblem entscehidungsproblem entschiedungsproblem entschediungsproblem entscheiudngsproblem entscheidnugsproblem entscheidugnsproblem entscheidunsgproblem entscheidungpsroblem entscheidungsrpoblem entscheidungsporblem entscheidungsprbolem entscheidungsprolbem entscheidungsprobelm entscheidungsproblme entscheidungsproble eentscheidungsproblem enntscheidungsproblem enttscheidungsproblem entsscheidungsproblem entsccheidungsproblem entschheidungsproblem entscheeidungsproblem entscheiidungsproblem entscheiddungsproblem entscheiduungsproblem entscheidunngsproblem entscheidunggsproblem entscheidungssproblem entscheidungspproblem entscheidungsprroblem entscheidungsprooblem entscheidungsprobblem entscheidungsprobllem entscheidungsprobleem entscheidungsproblemm 3ntscheidungsproblem wntscheidungsproblem sntscheidungsproblem 4ntscheidungsproblem dntscheidungsproblem 4ntscheidungsproblem rntscheidungsproblem dntscheidungsproblem ehtscheidungsproblem ebtscheidungsproblem ejtscheidungsproblem ejtscheidungsproblem emtscheidungsproblem en5scheidungsproblem enrscheidungsproblem enfscheidungsproblem en6scheidungsproblem engscheidungsproblem en6scheidungsproblem enyscheidungsproblem engscheidungsproblem entwcheidungsproblem entacheidungsproblem entzcheidungsproblem entecheidungsproblem entxcheidungsproblem entecheidungsproblem entdcheidungsproblem entxcheidungsproblem entsdheidungsproblem entsxheidungsproblem entsfheidungsproblem entsfheidungsproblem entsvheidungsproblem entscyeidungsproblem entscgeidungsproblem entscbeidungsproblem entscueidungsproblem entscneidungsproblem entscueidungsproblem entscjeidungsproblem entscneidungsproblem entsch3idungsproblem entschwidungsproblem entschsidungsproblem entsch4idungsproblem entschdidungsproblem entsch4idungsproblem entschridungsproblem entschdidungsproblem entsche8dungsproblem entscheudungsproblem entschejdungsproblem entsche9dungsproblem entschekdungsproblem entsche9dungsproblem entscheodungsproblem entschekdungsproblem entscheieungsproblem entscheisungsproblem entscheixungsproblem entscheirungsproblem entscheicungsproblem entscheirungsproblem entscheifungsproblem entscheicungsproblem entscheid7ngsproblem entscheidyngsproblem entscheidhngsproblem entscheid8ngsproblem entscheidjngsproblem entscheid8ngsproblem entscheidingsproblem entscheidjngsproblem entscheiduhgsproblem entscheidubgsproblem entscheidujgsproblem entscheidujgsproblem entscheidumgsproblem entscheiduntsproblem entscheidunfsproblem entscheidunvsproblem entscheidunysproblem entscheidunbsproblem entscheidunysproblem entscheidunhsproblem entscheidunbsproblem entscheidungwproblem entscheidungaproblem entscheidungzproblem entscheidungeproblem entscheidungxproblem entscheidungeproblem entscheidungdproblem entscheidungxproblem entscheidungs0roblem entscheidungsoroblem entscheidungslroblem entscheidungs-roblem entscheidungs;roblem entscheidungs-roblem entscheidungs[roblem entscheidungs;roblem entscheidungsp4oblem entscheidungspeoblem entscheidungspdoblem entscheidungsp5oblem entscheidungspfoblem entscheidungsp5oblem entscheidungsptoblem entscheidungspfoblem entscheidungspr9blem entscheidungspriblem entscheidungsprkblem entscheidungspr0blem entscheidungsprlblem entscheidungspr0blem entscheidungsprpblem entscheidungsprlblem entscheidungsproglem entscheidungsprovlem entscheidungsprohlem entscheidungsprohlem entscheidungspronlem entscheidungsproboem entscheidungsprobkem entscheidungsprob,em entscheidungsprobpem entscheidungsprob.em entscheidungsprobpem entscheidungsprob;em entscheidungsprob.em entscheidungsprobl3m entscheidungsproblwm entscheidungsproblsm entscheidungsprobl4m entscheidungsprobldm entscheidungsprobl4m entscheidungsproblrm entscheidungsprobldm entscheidungsproblej entscheidungsproblen entscheidungsproblek entscheidungsproblek entscheidungsproble, entscheydungsproblem entschiedungsproblem enyscheidungsproblem entyscheidungsproblem entscheidungsproblemsOnly so much of things needs Necessary above all is the object as a whole, for to this our feelings an impressionistic sketch, which gives only the significant features, life of things can be conveyed through color and line as such, a certain from the exact truth of the colors and lines of things, the artist is like the objects which they represent, they tend to lose all expressive certain amount of variation from the normal may be necessary in order that we be prevented, as we are not in the ordinary observation of Whenever, moreover, the artist wishes to render a unique reaction to language of color and line, which may require a distortion of the copy of the scene itself, he can evoke, and so express, only the normal no one can be offended by them, any more than when the brilliant hues realism in any work of art is largely a matter of tacit convention. the real colors of objects, but for purely expressive purposes alone, Japanese prints. All that is necessary is that we should understand alive. On the other hand, an expressive use of color and line leading even a use which makes them seem unreal and awry, is without.