decide

(redirected from decidability)
Also found in: Dictionary, Thesaurus, Legal, Encyclopedia, Wikipedia.

decide against (someone or something)

1. To choose not to accept someone. Yes, Holly was a strong candidate, but we ultimately decided against her for the job.
2. To choose not to do something. I was so tired that I decided against going out with my friends tonight.
See also: decide

decide among (someone or something)

To choose someone or something from three or more options. We've had so many good candidates for the job that I'm having a very hard time deciding among them.
See also: among, decide

decide between (someone or something)

To choose someone or something when given two options. Holly and Jack are both such good candidates for the job that I'm having a hard time deciding between them.
See also: decide

decide for (someone or something)

To rule favorably for someone or something. My client will almost certainly go to jail if the judge doesn't decide for him.
See also: decide

decide in favor of (someone or something)

To rule favorably for someone or something. My client will almost certainly go to jail if the judge doesn't decide in favor of him.
See also: decide, favor, of

decide on (someone or something)

To choose someone or something, usually after a period of deliberation. Yes, Holly was a strong candidate, but we ultimately decided on someone else for the job opening. After agonizing over the menu, I finally decided on mint chocolate chip ice cream.
See also: decide, on

decide against someone or something

to rule against someone or something; to make a judgment against someone or something. We decided against Tom and chose Larry instead. Jane decided against the supplier.
See also: decide

decide among (someone and someone else)

 and decide among (something and something else)
to choose from three or more people; to choose from three or more things. I couldn't decide among all the choices on the menu. I will decide among Fred, Tom, and Alice.
See also: among, decide

decide between (someone and someone else)

 and decide between (something and something else)
to choose one from two people; to choose one from two things. I could not decide between Tom and Wally. We could not decide between those two.
See also: decide

decide for someone or something

to rule in favor of someone or something; to make a judgment for someone or something. The jury decided for the plaintiff. The judge decided for me.
See also: decide

decide in favor of someone or something

to determine that someone or something is the winner. The judge decided in favor of the defendant. I decided in favor of the red one.
See also: decide, favor, of

decide (up)on someone or something

to choose someone or something; to make a judgment about some aspect of someone or something. (Upon is formal and less commonly used than on.) Will you please hurry up and decide upon someone to vote for? I decided on chocolate.
See also: decide, on

decide on

or decide upon
v.
To choose something or someone after deliberation: We decided on green as the color for the nursery. I've decided upon the red shoes; you can put the black ones back.
See also: decide, on
References in periodicals archive ?
13, the main result needed to characterize decidability of a number of problems in the context of positive update methods.
Then, Section 7 presents a semidecidability result for SCLP programs, and Section 8 adds some more decidability results that hold for programs without functions.
These properties have implications for the decidability of the logic, its executability, and the style used to write formulas.
Godel says that Hilbert's belief in the decidability of every clearly posed mathematical question is not shaken by the proof of the incompleteness theorems.
Unfortunately, this is not achievable in full generality for decidability reasons.
A powerful technical tool for classifying regular languages and proving decidability results is Eilenberg-Reiterman theory, which assigns classes of finite monoids or single profinite algebras to classes of languages.
After a quick overview of necessary prerequisites such as set and graph theory and the study of relations and general logic, the author follows a path that narrows its themes from chapter to chapter: from regular to context-free languages and their models, to Turing machines and specific computation issues, including computability and decidability and general and context-sensitive grammars.
Stu87] Bernd Sturmfels, On the decidability of Diophantine problems in combinatorial geometry, Bull.
On decidability properties of two fragments of the asynchronous [pi]-calculus
Although this set depends on the choice of the presentation, its decidability does not; and although the problem is not decidable even for finitely generated groups, it is so for the Euclidean groups Zd, the free groups, Gromov's hyperbolic groups [11] which generalize free groups, and many more.
Alan Turing was an English mathematician who laid the foundation for modern computer science through his pioneering work on computability and decidability.
Thus, it is not surprising that Derrida valorizes undecidability as a 'tertium datur', and opposes it to Husserl's pure phenomenological decidability (I 54).
Pepis achieved remarkable results on the decidability of predicate logic.
Also, and more importantly, it advances a theory regarding the relationship between political events and time that can account for both political "undecidability and decidability.
We decided to support OWL-DL, as it provides maximum expressiveness contrary to OWL-Lite and guarantees computational completeness and decidability of reasoning systems contrary to OWL-Full.