UNDECIDABLE

Etymology

Adjective

undecidable (not comparable)

(mathematics, computing theory) Incapable of being algorithmically decided in finite time. For example, a set of strings is undecidable if it is impossible to program a computer (even one with infinite memory) to determine whether or not specified strings are included.

(mathematics) (of a WFF) logically independent from the axioms of a given theory; i.e, that it can never be either proved or disproved (i.e, have its negation proved) on the basis of the axioms of the given theory. (Note: this latter definition is independent of any time bounds or computability issues, i.e, more Platonic.)

Antonyms

• decidable

Source: Wiktionary



RESET




Word of the Day

2 April 2025

COVERT

(adjective) secret or hidden; not openly practiced or engaged in or shown or avowed; “covert actions by the CIA”; “covert funding for the rebels”


coffee icon

Coffee Trivia

Raw coffee beans, soaked in water and spices, are chewed like candy in many parts of Africa.

coffee icon