| 释义 |
decidable, a.|dɪˈsaɪdəb(ə)l|
[See -able.]
1. a. Capable of being decided.
1594Carew Huarte's Exam. Wits v. (1596) 52 What the vse..of them may be..is not easily decideable. 1638Chillingw. Relig. Prot. i. ii. §156. 115 Controversies..about Faith, are either not at all decidable..or they may be determined by Scripture. 1708J. Chamberlayne St. Gt. Brit. ii. ii. vi. (1743) 396 All cases of trade..are there decidable. 1851Carlyle Sterling iii. i. (1871) 169 The thing not being decidable by that kind of weapon.
b. Logic and Math. Of a statement or formula: capable, within the system to which it belongs, of being proved or disproved, or of being shown to be true or false, or to have some other property or not to have it; of theories, systems, etc.: having a solvable decision problem or computability problem.
1942R. Carnap Introd. Semantics xxvi. 163 Ti is decidable. 1950W. V. Quine Methods Logic (1952) 247 Elementary algebra is completable and mechanically decidable while elementary number theory is not. 1958[see decision method s.v. decision 5]. 1963G. T. Kneebone Math. Logic x. 279 In other cases..a system is to be reckoned decidable as long as both the derivable and the underivable formulae are recursively enumerable. 1964E. Bach Introd. Transformational Gram. vii. 161 A decidable set of strings is a set such that after a finite number of steps it is possible to determine whether or not a given string is in the set.
†2. To be decided, open to decision. Obs.
1611Speed Hist. Gt. Brit. ix. xv. (1632) 788 It was a question decideable, whether of the kingdoms was first to be dealt with. |