And Alan Turing demonstrated that one cannot, in general, determine if a computer algorithm is going to halt.

• 涂林则证明，一般而言，我们无法判定电脑的演算何时会停止。