Share this entry

Share this page

decision problem

Saltos de línea: de|ci¦sion prob|lem

Definición de decision problem en inglés:


The problem of finding a way to decide whether a formula or class of formulas is true or provable within a given system of axioms.
Example sentences
  • He worked on mathematical logic solving certain cases of the decision problem for the first order predicate calculus, simplified results of Bernays, and worked on ideas of Post, Gödel and Church.
  • In a lecture given at Harvard during 1939-40 Tarski said: -… the solution of the decision problem in its most general form is negative.… [Surely] many mathematicians experienced a profound feeling of relief when they heard of this result.
  • This is a representation of ‘all logical and physical relations between variables representing the decision problem being examined.’


1930s: translation of German Entscheidungsproblem.

Definición de decision problem en:

Share this entry

Share this page


¿Qué te llama la atención de esta palabra o frase?

Comments that don't adhere to our Community Guidelines may be moderated or removed.

Obtenga más de Oxford Dictionaries

Suscribirse para eliminar anuncios y acceder a los recursos premium

Palabra del día terpsichorean
Pronunciación: ˌtəːpsɪkəˈriːən
relating to dancing