※ 本文為 dinos 轉寄自 ptt.cc 更新時間: 2014-06-08 18:38:23
看板 Prob_Solve
作者 標題 [問題] 無法判定程式終結
時間 Fri Jun 6 23:14:48 2014
演算法之道裡寫道:
..無法判定程式終結,這個結論對程式設計來說意義重大。就是這個緣故,程式永遠不
會是全自動的,即不可能由程式自己來寫程式、啟動程式、控制程式。也就是說,像「駭
客任務」那樣的情景永遠也不會出現。而隱含的意義是程式設計永遠也離不開程式設計師
。...
客任務」那樣的情景永遠也不會出現。而隱含的意義是程式設計永遠也離不開程式設計師
。...
書上這個論點
是現在學術和產業界的共識嗎?
是不是只有人類開發出仿生腦
才會有真正的人工智慧
thank
--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 118.163.106.192
※ 文章網址: http://www.ptt.cc/bbs/Prob_Solve/M.1402067690.A.2BE.html
推 :No, 這是可計算性的問題, 不是**共識**, 是數學事實1F 06/06 23:22
→ :我們不可能寫出一個程式,使得它對於**任意**其他程式在
→ :有限的時間內算出給定的程式會不會在有限的時間內終止
→ :但我是不瞭解這個在自動/或AI那一方面的意義....
→ :至少我覺得它給我的感覺,跟Godel不完備定理的感覺一樣
所以有點像哲學和邏輯問題囉→ :我們不可能寫出一個程式,使得它對於**任意**其他程式在
→ :有限的時間內算出給定的程式會不會在有限的時間內終止
→ :但我是不瞭解這個在自動/或AI那一方面的意義....
→ :至少我覺得它給我的感覺,跟Godel不完備定理的感覺一樣
※ 編輯: dharma (118.163.106.192), 06/08/2014 13:25:45
--
※ 看板: dinos 文章推薦值: 0 目前人氣: 0 累積人氣: 135
作者 dharma 的最新發文:
- 113F 11推 2噓
- 預算/用途: 30K CPU (中央處理器): AMD R5 7600盒【全6大核/12緒】3.8G(↑5.1G)65W/具RDNA內顯, $7 65 0 AMD AM5 7000系列 MB (主機 …64F 22推
- 25F 3推
- 2014 禮讓墨綠出身的柯文哲,打敗連勝文 2016 禮讓小英男孩黃國昌 禮讓民進黨立委表弟林昶佐 2020 禮讓陳柏惟,打敗消波塊世家 禮讓新潮流小公主賴品妤 民進黨對於艱困選區的作法 大概就是禮讓 …92F 26推 4噓
- 推 jimmyid4 : 當然不是印鈔就沒事,重點看印鈔的是誰 上面推文是網路上常見的說法 大概是說 美國無限QE對美國自己的影響不會太大 因為美國能夠把副作用轉嫁給弱國去承擔 那麼台灣呢? 美國無限 …67F 36推 2噓
點此顯示更多發文記錄
瞎
guest
回列表(←)
分享