計算理論

停止性問題（Halting Problem）：絶対に作れない最強のプログラム