Alan Turing

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