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

16 May 2025

AMPHIPROSTYLAR

(adjective) marked by columniation having free columns in porticoes either at both ends or at both sides of a structure


coffee icon

Coffee Trivia

Espresso is both a coffee beverage and a brewing method that originated in Italy. When making an espresso, a small amount of nearly boiling water under pressure forces through finely-ground coffee beans. It has more caffeine per unit volume than most coffee beverages. Its smaller serving size will take three shots to equal a mug of standard brewed coffee.

coffee icon