「停止性問題」が示す計算理論上の結論はどれか。

アラン・チューリングにより証明された、アルゴリズム的に解決不可能な(決定不能な)問題の代表例。