作者dharma (達)
看板Programming
標題[問題] 無法判定程式終結
時間Fri Jun 6 23:15:39 2014
演算法之道裡寫道：
...無法判定程式終結，這個結論對程式設計來說意義重大。就是這個緣故，程式永遠不
會是全自動的，即不可能由程式自己來寫程式、啟動程式、控制程式。也就是說，像「駭
客任務」那樣的情景永遠也不會出現。而隱含的意義是程式設計永遠也離不開程式設計師
。...
書上這個論點
是現在學術和產業界的共識嗎？
是不是只有人類開發出仿生腦
才會有真正的人工智慧
thank
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 118.163.106.192
※ 文章網址: http://webptt.com/m.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