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

17 May 2024

FUNERAL

(noun) a ceremony at which a dead person is buried or cremated; “hundreds of people attended his funeral”


coffee icon

Coffee Trivia

Brazil is the largest coffee producer in the world. Each year Brazil exports more than 44 million bags of coffee. Vietnam follows at exporting over 27 million bags each year.

coffee icon