作者dharma (达)
看板Programming
标题[问题] 无法判定程式终结
时间Fri Jun 6 23:15:39 2014
演算法之道里写道：
...无法判定程式终结，这个结论对程式设计来说意义重大。就是这个缘故，程式永远不
会是全自动的，即不可能由程式自己来写程式、启动程式、控制程式。也就是说，像「骇
客任务」那样的情景永远也不会出现。而隐含的意义是程式设计永远也离不开程式设计师
。...
书上这个论点
是现在学术和产业界的共识吗？
是不是只有人类开发出仿生脑
才会有真正的人工智慧
thank
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 118.163.106.192
※ 文章网址: http://webptt.com/cn.aspx?n=bbs/Programming/M.1402067742.A.AC4.html
1F：推 mars90226:这只是说程式不能自己判断是否终结118.169.195.206 06/07 07:53
2F：→ mars90226:可是如果程式已经像人一样思考，就可以118.169.195.206 06/07 07:54
3F：→ mars90226:用思考去判断是否终结吧?118.169.195.206 06/07 07:54
4F：→ mars90226:就像一个机器人可以像人一样写程式118.169.195.206 06/07 07:55
5F：推 kingstong:不就无限回圈?!讲的好像多高深的技术. 61.224.220.244 06/07 15:52
6F：→ kingstong:先学会抓虫啦! 61.224.220.244 06/07 15:53
7F：推 GoalBased:共识? 就是要写程式要请工程师 113.61.164.195 06/07 20:25
8F：→ GoalBased:不会说，我想写程式，那我来弄个人工 113.61.164.195 06/07 20:25
9F：→ GoalBased:智慧自动开发 113.61.164.195 06/07 20:25
10F：→ Feis:应该是在说 Halting problem.. 这论述太武断 140.112.29.148 06/08 12:29
我再仔细找停机问题的资料研究一下
※ 编辑: dharma (118.163.106.192), 06/08/2014 13:26:51
11F：→ azureblaze:这跟人工智慧没关系，人脑有同样的限制 1.34.63.98 06/08 14:08
12F：→ azureblaze:写不出bug-free的程式不代表不能写程式 1.34.63.98 06/08 14:09
13F：→ MOONRAKER:这就是停止问题，翻译翻得很烂。停止问 122.116.43.189 06/08 17:20
14F：→ MOONRAKER:题的意思是，无法光看程式就知道它跑了 122.116.43.189 06/08 17:21
15F：→ MOONRAKER:以後会不会停。实际跑了以後当然能知道 122.116.43.189 06/08 17:22
16F：→ MOONRAKER:停不停，但那就不是停止问题。 122.116.43.189 06/08 17:22
17F：→ MOONRAKER:某k别闹了，赶快再发明smartphone一次阿 122.116.43.189 06/08 17:28
18F：→ CindyLinz:实际跑了还是不一定知道啊.. 它一直跑一 112.121.80.249 06/09 11:16
19F：→ CindyLinz:直跑.. 但可能还是不知道它会不会哪一天 112.121.80.249 06/09 11:17
20F：→ CindyLinz:突然停下来 ^^| 112.121.80.249 06/09 11:17
21F：→ Killercat:halting problem其实主要impact的是 59.124.251.135 06/09 17:54
22F：→ Killercat:threading. 因为OS没办法主动得知这个 59.124.251.135 06/09 17:54
23F：→ Killercat:thread的状态。不过这有点太哲学 XD 59.124.251.135 06/09 17:54
24F：→ CindyLinz:嗯,理论上来说,如果假设参与计算的机器 112.121.80.249 06/09 17:55
25F：→ CindyLinz:与储存装置是有限多个,不会随着时间而有 112.121.80.249 06/09 17:55
26F：→ CindyLinz:无上限地增加的话.. 这是 Tape bounded 112.121.80.249 06/09 17:56
27F：→ CindyLinz:Turing machine 模型.. 其 halting prob 112.121.80.249 06/09 17:56
28F：→ CindyLinz:lem 是可以解的... 「只要」穷举所有的 112.121.80.249 06/09 17:57
29F：→ CindyLinz:cache, register, mem, disk, 所有的 112.121.80.249 06/09 17:57
30F：→ CindyLinz:transister 的所有可能状态就行了.. 112.121.80.249 06/09 17:57
31F：推 xcycl:就算考虑 non-deterministic TM 也一样 1.162.4.165 06/24 18:04
32F：→ xcycl:halting problem 还是不能判定。 1.162.4.165 06/24 18:04