资料来源 : Free On-Line Dictionary of Computing

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