provably unsolvable

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