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