provably unsolvable

provably unsolvable

The set or property of problems for which no algorithm atall exists. E.g. the Halting Problem. See also provably difficult.