计算机数学入门（四）：机器算不出来的东西
上一篇：（三）怎么证明它是对的——讲怎么确认程序是对的。 这一篇：讲有些事，程序根本做不了。 耗时：读完约 45 分钟，动手约 1.5 小时。 开头：先给你一个"不可能"的任务 写一个程序，它读入任意另一个程序，然后回答： 这个程序会停下来吗？ 这个任务有个名字，叫停机问题（Halting Problem）。 ...
上一篇：（三）怎么证明它是对的——讲怎么确认程序是对的。 这一篇：讲有些事，程序根本做不了。 耗时：读完约 45 分钟，动手约 1.5 小时。 开头：先给你一个"不可能"的任务 写一个程序，它读入任意另一个程序，然后回答： 这个程序会停下来吗？ 这个任务有个名字，叫停机问题（Halting Problem）。 ...