Noun
undecidability (countable and uncountable, plural undecidabilities)
the state of being undecidable.
As is common for a proof of undecidability, the proof shows that no computable function can decide the equivalence. Source: Internet
" Alfred Driessen, Antoine Suarez, Mathematical undecidability, quantum nonlocality, and the question of the existence of God (1997). Source: Internet
Generally, any number concept leading to multiplication cannot be defined in Presburger arithmetic, since that leads to incompleteness and undecidability. Source: Internet
Undecidability Many patterns in the game of life eventually become a combination of still lives, oscillators and spaceships; other patterns may be called chaotic. Source: Internet
Undecidability of a statement in a particular deductive system does not, in and of itself, address the question of whether the truth value of the statement is well-defined, or whether it can be determined by other means. Source: Internet
Undecidability of equivalence There is no algorithm that takes as input two lambda expressions and outputs TRUE or FALSE depending on whether or not the two expressions are equivalent. Source: Internet