English-Spanish translations for decidable

• decidible

Definition of decidable

• capable of being decided
• 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\; \backslash vee\; \backslash neg\; P$.http://plato.stanford.edu/entries/logic-intuitionistic/

Examples

• It is easy to show that the set of even numbers is decidable by creating the relevant Turing machine.

Related words

• undecidable
• decidability
• undecidability