VDict - Definition of provably unsolvable

Computing (FOLDOC) dictionary

provably unsolvable

Jump to user comments

The set or property of problems for which no algorithm at

all exists. E.g. the Halting Problem. See also provablydifficult.

Related search result for "provably unsolvable"

Words contain "provably unsolvable" in its definition in Computing (FOLDOC) dictionary:
provably unsolvable non-polynomial halting problem provably difficult nontrivial Grim File Reaper dead code

Comments and discussion on the word "provably unsolvable"