decide

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

decide

v. for a judge, arbitrator, court of appeals or other magistrate or tribunal to reach a determination (decision) by choosing what is right and wrong according to the law as he/she sees it.

Copyright © 1981-2005 by Gerald N. Hill and Kathleen T. Hill. All Right reserved.
References in periodicals archive ?
Court implicitly indicated that the decidability of the interpretive
14 of his article that "EC is intuitionistically inconsistent with the negation of the decidability thesis.
The decidability problem is compounded by the fact that the human mind does not act like a computer.
This disarticulation results from questions arising from the decidability of reliable narration:
They were haunted by a systematicity that included the publishing agenda of the national organization, the distribution of tracts through the network of colportage, colporteurs gathering data and measuring the effects of reading, the auxiliary societies then measuring the results of these measurements, national officials receiving and translating this knowledge into further matters of decidability surrounding what tracts would be produced and when, where to distribute them, how to measure their effects, what to tell colporteurs and why.
Eleven regular papers and eight short papers share recent work on computational complexity and decidability, query processing and data mining, proof systems for temporal reasoning, tree-like structures, and verification of infinite-state systems.
The literature on computability and decidability goes back to Kurt Godel's famous incompleteness proof of 1931.
As critics who purport to be literary, we can and we must do more than think about such conundrums of decidability as if the poem were mere language.
As a consequence, computability, decidability, verification, program generation and search for solution can be exercised on "top level model" and supply designer with valuable data.
Hermes, H., 1969, Enumerability, Decidability, Computability, Springer, Berlin.
Decidability in the syntax of verbs of (not necessarily) West-Germanic languages.