计算理论

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