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

19 October 2024

CYTOMEGALOVIRUS

(noun) any of a group of herpes viruses that enlarge epithelial cells and can cause birth defects; can affect humans with impaired immunological systems


Do you know this game?

Wordscapes

Wordscapes is a popular word game consistently in the top charts of both Google Play Store and Apple App Store. The Android version has more than 10 million installs. This guide will help you get more coins in less than two minutes of playing the game. Continue reading Wordscapes: Get More Coins