decidable
adj/dɪˈsaɪdəbəɫ/UK
Etymology
Definitions
capable of being decided.
describing a set for which there exists an algorithm that will determine whether any…
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.
in intuitionistic logic, a proposition P is decidable in a given theory if it can be…
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.
The neighborhood
- synonymrecursive
- synonymcomputable
- antonymundecidable
- neighbordecidability
Derived
Vish — recursive loop
No curated loop yet for decidable. Loops are being traced one word at a time while the ingestion pipeline matures.
sense glosses and etymology drawn from English Wiktionary · source · CC-BY-SA