算法之道里写道：
...无法判定程式终结，这个结论对程式设计来说意义重大。就是这个缘故，程式永远不
会是全自动的，即不可能由程式自己来写程式、启动程式、控制程式。也就是说，像“骇
客任务”那样的情景永远也不会出现。而隐含的意义是程式设计永远也离不开程式设计师
。...
书上这个论点
是现在学术和产业界的共识吗？
是不是只有人类开发出仿生脑
才会有真正的人工智能
thank

No, 这是可计算性的问题, 不是**共识**, 是数学事实我们不可能写出一个程式，使得它对于**任意**其他程式在有限的时间内算出给定的程式会不会在有限的时间内终止但我是不了解这个在自动/或AI那一方面的意义....至少我觉得它给我的感觉，跟Godel不完备定理的感觉一样

我想原 po 问的是针对后半段suhorng 的回答是说针对 halting problem 这件事是事实

我觉得原书内容怪怪的? 无法解决停机与骇客任务的关系是?

只看这段个人觉得并非正确，因为人脑也不能判断程式是否会停止。所以像骇客任务那样的情节并非不可能...