708V. Theorems and Problems(S,S).IfPjudges thatSdoesnothalt when presentedwith itself as input, we then causeQto halt. But ifPjudges thatSdoeshalt when ...
確定! 回上一頁