Undecidability - Graph View The property of a decision problem for which no algorithm can exist that always gives a correct answer for every possible input. View concept details Related ConceptsHalting Problem Turing Machine Church-Turing Thesis Gödel's Incompleteness Theorems Computability Theory Cantor's Diagonal Argument Recursion ← Back to full graph