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