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