DECIDABLE

Etymology

Adjective

decidable (comparative more decidable, superlative most decidable)

capable of being decided.

(computer science) 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.

(logic) 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 \vee \neg P \).

Synonyms

• (computer science): recursive, computable

Antonyms

• undecidable

Source: Wiktionary


De*cid"a*ble, a.

Definition: Capable of being decided; determinable.

Source: Webster’s Unabridged Dictionary 1913 Edition



RESET




Word of the Day

6 June 2025

PUNGENCY

(noun) wit having a sharp and caustic quality; “he commented with typical pungency”; “the bite of satire”


coffee icon

Coffee Trivia

In 1511, leaders in Mecca believed coffee stimulated radical thinking and outlawed the drink. In 1524, the leaders overturned that order, and people could drink coffee again.

coffee icon