WordGarden.io

undecidable

C2
Rare

Pronunciation

UK

    US

      Meanings

      Adjective

      1. not able to be settled or determined

      2. not solvable by a formal proof or algorithm

      Beyond the definition

      Something is undecidable when no clear answer can be reached. In mathematics, logic, and computer science, this has a strict meaning: some questions cannot be settled by the rules of a given system, or there is no method that will always produce an answer. Outside technical fields, people also use the word for cases that seem impossible to settle in a final way, such as a hard moral choice with strong reasons on both sides. The idea is stronger than simply "difficult" or "still open" because it suggests that a final answer cannot be reached, not just that it has not been found yet.

      Examples

      1. 1

        Computer science

        In computer science, the question of whether a program will always stop running is undecidable.

      2. 2

        Formal systems

        The theorem showed that some statements are undecidable within that system.

        • Phrasewithin that system

          using only the rules of that system

      3. 3

        Moral philosophy

        Some philosophers argue that a few moral conflicts are genuinely undecidable.

      See also

      Similar

      Shades of meaning

      Contrast

      Used with (collocations)

      • undecidable question
      • undecidable problem
      • undecidable proposition

      Word family

      Explore

      Forms and spellings

      1 form open this card.

      Main spelling

      • undecidableadjective