decidable

a. 可决定的

发音

US
UK /dɪˈsaɪdəbəɫ/

词形变化

more decidable 比较级 most decidable 最高级

释义与例句

adj.
  1. 1.

    capable of being decided.

  2. 2.

    describing a set for which there exists an algorithm that will determine whether any element is or is not within the set in a finite amount of time.

    计算机 工程 数学

    It is easy to show that the set of even numbers is decidable by creating the relevant Turing machine.

  3. 3.

    in intuitionistic logic, a proposition P is decidable in a given theory if it can be proven from the theory that "either P or not P", i.e. in symbols: P∨¬P.

    数学 哲学

词源

From decide + -able.

来源：wiktionary