Alan Turing

停机问题（Halting Problem）：绝对无法做出的最强程序