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

看板Prob_Solve (計算數學 Problem Solving)作者 (達)時間10年前 (2014/06/06 23:14), 10年前編輯推噓4(406)
留言10則, 4人參與, 最新討論串1/1
演算法之道裡寫道: ...無法判定程式終結,這個結論對程式設計來說意義重大。就是這個緣故,程式永遠不 會是全自動的,即不可能由程式自己來寫程式、啟動程式、控制程式。也就是說,像「駭 客任務」那樣的情景永遠也不會出現。而隱含的意義是程式設計永遠也離不開程式設計師 。... 書上這個論點 是現在學術和產業界的共識嗎? 是不是只有人類開發出仿生腦 才會有真正的人工智慧 thank -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 118.163.106.192 ※ 文章網址: http://www.ptt.cc/bbs/Prob_Solve/M.1402067690.A.2BE.html

06/06 23:22, , 1F
No, 這是可計算性的問題, 不是**共識**, 是數學事實
06/06 23:22, 1F

06/06 23:23, , 2F
我們不可能寫出一個程式,使得它對於**任意**其他程式在
06/06 23:23, 2F

06/06 23:23, , 3F
有限的時間內算出給定的程式會不會在有限的時間內終止
06/06 23:23, 3F

06/06 23:28, , 4F
但我是不瞭解這個在自動/或AI那一方面的意義....
06/06 23:28, 4F

06/06 23:28, , 5F
至少我覺得它給我的感覺,跟Godel不完備定理的感覺一樣
06/06 23:28, 5F
所以有點像哲學和邏輯問題囉

06/08 18:37, , 6F
我想原 po 問的是針對後半段
06/08 18:37, 6F

06/08 18:38, , 7F
suhorng 的回答是說針對 halting problem 這件事是事實
06/08 18:38, 7F

06/12 01:09, , 8F
我覺得原書內容怪怪的? 無法解決停機與駭客任務的關係是?
06/12 01:09, 8F
書上前後文寫很多 這邊打字只能抄一小段 較無法清楚涵蓋作者原意 ※ 編輯: dharma (118.163.106.192), 07/29/2014 08:37:14

08/24 01:00, , 9F
只看這段個人覺得並非正確,因為人腦也不能判斷程式是
08/24 01:00, 9F

08/24 01:02, , 10F
否會停止。所以像駭客任務那樣的情節並非不可能...
08/24 01:02, 10F
文章代碼(AID): #1JaThgA- (Prob_Solve)
文章代碼(AID): #1JaThgA- (Prob_Solve)