provably unsolvable

Free On-line Dictionary of Computing

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