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

20 February 2025

INVASION

(noun) (pathology) the spread of pathogenic microorganisms or malignant cells to new sites in the body; “the tumor’s invasion of surrounding structures”


coffee icon

Coffee Trivia

Coffee is the second largest traded commodity in the world, next to crude oil. It’s also one of the oldest commodities, with over 2.25 billion cups of coffee consumed worldwide daily.

coffee icon