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

4 April 2025

GUILLOTINE

(verb) kill by cutting the head off with a guillotine; “The French guillotined many Vietnamese while they occupied the country”


coffee icon

Coffee Trivia

Contrary to popular belief, coffee beans are not technically beans. They are referred to as such because of their resemblance to legumes. A coffee bean is a seed of the Coffea plant and the source for coffee. It is the pit inside the red or purple fruit, often referred to as a cherry. Just like ordinary cherries, the coffee fruit is also a so-called stone fruit.

coffee icon