- decision problem
- The problem of finding an algorithm or decision procedure for deciding whether an arbitrary well-formed formula of a logical system is a theorem of the system. A positive solution is a proof that such a procedure exists; a negative solution is a proof that there can be no such procedure. Truth-tables provide a decision procedure for the propositional calculus, whereas Church's theorem is a negative solution for the first-order predicate calculus with identity.

*Philosophy dictionary.
Academic.
2011.*

### Look at other dictionaries:

**Decision problem**— A decision problem has only two possible outputs, yes or no (or alternately 1 or 0) on any input. In computability theory and computational complexity theory, a decision problem is a question in some formal system with a yes or no answer,… … Wikipedia**decision problem**— ▪ logic for a class of questions in mathematics and formal logic, the problem of finding, after choosing any question of the class, an algorithm or repetitive procedure that will yield a definite answer, “yes” or “no,” to that question. The … Universalium**decision problem**— noun : the problem of finding an effective method for deciding whether a given formula is true within the framework of the calculus to which it belongs … Useful english dictionary**Management Decision Problem**— A Management Decision Problem is whereby when a situation arises, and management of a company needs to make a decision which requires research and hence starts the research process. There is no actionable guidance.It is simply a statement of the… … Wikipedia**Decision theory**— in economics, psychology, philosophy, mathematics, and statistics is concerned with identifying the values, uncertainties and other issues relevant in a given decision, its rationality, and the resulting optimal decision. It is closely related to … Wikipedia**Decision-making software**— (DMS) is a term integrating decision analysis tools to facilitate a person s decision making process, which results in a choice of a course of action or a variant among several alternatives. DMS belongs to the class of decision support systems… … Wikipedia**Decision-making paradox**— The word paradox (parádoxon (παράδοξον) in Greek) comes from the Greek words para (meaning against, contrary to) and doksa or doxa (meaning belief, understanding). A paradox is a seemingly true statement or group of statements that lead to a… … Wikipedia**decision theory**— Statistics. the theory of making decisions based on assigning probabilities to various factors and assigning numerical consequences to the outcome. [1960 65] * * * In statistics and related subfields of philosophy, the theory and method of… … Universalium**Problem**— A problem is an obstacle which makes it difficult to achieve a desired goal, objective or purpose. It refers to a situation, condition, or issue that is yet unresolved. In a broad sense, a problem exists when an individual becomes aware of a… … Wikipedia**decision**— sprendimas statusas T sritis Kūno kultūra ir sportas apibrėžtis Mąstymo vyksmas, kuriuo ieškoma atsako į teorinį ar praktinį uždavinį, problemą. atitikmenys: angl. decision; problem solving vok. Beschluss, m; Entscheidung, f; Urteil, n rus.… … Sporto terminų žodynas