decidability

IPA(Pronunciation)

Noun

countable uncountable

(logic, computer science) The state or condition of being decidable.

Japanese Meaning

決定可能性：ある問題、命題、またはシステムが、決定手続き（アルゴリズムなど）によってその性質が判定可能である状態や条件

Researchers studied the decidability of the new formal system before attempting to implement it.

研究者たちは実装を試みる前に、新しい形式体系の決定可能性を調べた。

Sense（1）

(logic, computer science) The state or condition of being decidable.

decidabilities

（ plural ）