Alan Turing在1936年证明了对所有可能输入解决停机问题的通用算法是不存在的。

• Alan Turing proved in 1936 that a general algorithm to solve the Halting Problem for all possible inputs cannot exist.