作者dharma (达)
看板Prob_Solve
标题[问题] 无法判定程式终结
时间Fri Jun 6 23:14:48 2014
演算法之道里写道：
...无法判定程式终结，这个结论对程式设计来说意义重大。就是这个缘故，程式永远不
会是全自动的，即不可能由程式自己来写程式、启动程式、控制程式。也就是说，像「骇
客任务」那样的情景永远也不会出现。而隐含的意义是程式设计永远也离不开程式设计师
。...
书上这个论点
是现在学术和产业界的共识吗？
是不是只有人类开发出仿生脑
才会有真正的人工智慧
thank
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 118.163.106.192
※ 文章网址: http://webptt.com/cn.aspx?n=bbs/Prob_Solve/M.1402067690.A.2BE.html
1F：推 suhorng:No, 这是可计算性的问题, 不是**共识**, 是数学事实 06/06 23:22
2F：→ suhorng:我们不可能写出一个程式，使得它对於**任意**其他程式在 06/06 23:23
3F：→ suhorng:有限的时间内算出给定的程式会不会在有限的时间内终止 06/06 23:23
4F：→ suhorng:但我是不了解这个在自动/或AI那一方面的意义.... 06/06 23:28
5F：→ suhorng:至少我觉得它给我的感觉，跟Godel不完备定理的感觉一样 06/06 23:28
所以有点像哲学和逻辑问题罗
6F：推 isnoneval:我想原 po 问的是针对後半段 06/08 18:37
7F：→ isnoneval:suhorng 的回答是说针对 halting problem 这件事是事实 06/08 18:38
8F：推 yzugsr:我觉得原书内容怪怪的? 无法解决停机与骇客任务的关系是? 06/12 01:09
书上前後文写很多
这边打字只能抄一小段
较无法清楚涵盖作者原意
※ 编辑: dharma (118.163.106.192), 07/29/2014 08:37:14
9F：推 cplusplus: 只看这段个人觉得并非正确，因为人脑也不能判断程式是 08/24 01:00
10F：→ cplusplus: 否会停止。所以像骇客任务那样的情节并非不可能... 08/24 01:02