provably unsolvable

provably unsolvable

The set or property of problems for which no algorithm at all exists. E.g. the Halting Problem. See also provably difficult.
This article is provided by FOLDOC - Free Online Dictionary of Computing (foldoc.org)