计算机数学入门（四）：机器算不出来的东西

Tue, 03 Nov 2026 16:50:00 +0800

上一篇：（三）怎么证明它是对的——讲怎么确认程序是对的。 这一篇：讲有些事，程序根本做不了。

耗时：读完约 45 分钟，动手约 1.5 小时。

开头：先给你一个"不可能"的任务

写一个程序，它读入任意另一个程序，然后回答：

这个程序会停下来吗？

这个任务有个名字，叫停机问题（Halting Problem）。