decidable

形容词 adj.
中文释义
英 [dɪˈsaɪdəbəɫ]   

英文释义

形容词 adj.
  1. capable of being decided.
  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. 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.

词形变化

more decidable comparative most decidable superlative

词汇关系

近义词
recursive computable
反义词
undecidable
衍生词
semi-decidable
相关词
decidability

词源

Etymology tree
English decide
Proto-Indo-European *-dʰlom
Proto-Indo-European *-dʰlis
Proto-Italic *-ðlis
Latin -bilis
Latin -ābilis
Old French -ablebor.
Middle English -able
English -able
English decidable
From decide + -able.
0 次浏览 数据来源: Wiktionary