ALL meanings of undecidable
de·cid·a·ble
U u - adjective undecidable capable of being decided. 1
- adjective undecidable Logic. (of an axiom, proposition, etc.) having the property that its consistency or inconsistency with the axioms of a given logical system is determinable. 1
- adjective undecidable (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. 0
- adjective undecidable (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.). 0
- adjective undecidable unable to be decided 0