[問題] 無法判定程式終結

[dharma (達)]

演算法之道裡寫道：

...無法判定程式終結，這個結論對程式設計來說意義重大。就是這個緣故，程式永遠不

會是全自動的，即不可能由程式自己來寫程式、啟動程式、控制程式。也就是說，像「駭

客任務」那樣的情景永遠也不會出現。而隱含的意義是程式設計永遠也離不開程式設計師

。...




書上這個論點

是現在學術和產業界的共識嗎？


是不是只有人類開發出仿生腦

才會有真正的人工智慧

thank

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 118.163.106.192
※ 文章網址: http://www.ptt.cc/bbs/Prob_Solve/M.1402067690.A.2BE.html
推 suhorng:No, 這是可計算性的問題, 不是**共識**, 是數學事實
→ suhorng:我們不可能寫出一個程式，使得它對於**任意**其他程式在
→ suhorng:有限的時間內算出給定的程式會不會在有限的時間內終止
→ suhorng:但我是不瞭解這個在自動/或AI那一方面的意義....
→ suhorng:至少我覺得它給我的感覺，跟Godel不完備定理的感覺一樣
所以有點像哲學和邏輯問題囉
推 isnoneval:我想原 po 問的是針對後半段
→ isnoneval:suhorng 的回答是說針對 halting problem 這件事是事實
推 yzugsr:我覺得原書內容怪怪的? 無法解決停機與駭客任務的關係是?
書上前後文寫很多

這邊打字只能抄一小段

較無法清楚涵蓋作者原意
※ 編輯: dharma (118.163.106.192), 07/29/2014 08:37:14
推 cplusplus: 只看這段個人覺得並非正確，因為人腦也不能判斷程式是
→ cplusplus: 否會停止。所以像駭客任務那樣的情節並非不可能...