PTT數位生活區 / Programming

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

看板Programming作者 (達)時間11年前 (2014/06/06 23:15), 11年前編輯推噓4(4推 0噓 28→)
留言32則, 9人參與, 最新討論串1/2 (看更多)
演算法之道裡寫道： ...無法判定程式終結，這個結論對程式設計來說意義重大。就是這個緣故，程式永遠不 會是全自動的，即不可能由程式自己來寫程式、啟動程式、控制程式。也就是說，像「駭 客任務」那樣的情景永遠也不會出現。而隱含的意義是程式設計永遠也離不開程式設計師 。... 書上這個論點 是現在學術和產業界的共識嗎？ 是不是只有人類開發出仿生腦 才會有真正的人工智慧 thank -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 118.163.106.192 ※ 文章網址: http://www.ptt.cc/bbs/Programming/M.1402067742.A.AC4.html
推
06/07 07:53, , 1F
這只是說程式不能自己判斷是否終結
06/07 07:53, 1F
→
06/07 07:54, , 2F
可是如果程式已經像人一樣思考，就可以
06/07 07:54, 2F
→
06/07 07:54, , 3F
用思考去判斷是否終結吧?
06/07 07:54, 3F
→
06/07 07:55, , 4F
就像一個機器人可以像人一樣寫程式
06/07 07:55, 4F
推
06/07 15:52, , 5F
不就無限迴圈?!講的好像多高深的技術.
06/07 15:52, 5F
→
06/07 15:53, , 6F
先學會抓蟲啦!
06/07 15:53, 6F
推
06/07 20:25, , 7F
共識? 就是要寫程式要請工程師
06/07 20:25, 7F
→
06/07 20:25, , 8F
不會說，我想寫程式，那我來弄個人工
06/07 20:25, 8F
→
06/07 20:25, , 9F
智慧自動開發
06/07 20:25, 9F
→
06/08 12:29, , 10F
應該是在說 Halting problem.. 這論述太武斷
06/08 12:29, 10F
我再仔細找停機問題的資料研究一下 ※ 編輯: dharma (118.163.106.192), 06/08/2014 13:26:51
→
06/08 14:08, , 11F
這跟人工智慧沒關係，人腦有同樣的限制
06/08 14:08, 11F
→
06/08 14:09, , 12F
寫不出bug-free的程式不代表不能寫程式
06/08 14:09, 12F
→
06/08 17:20, , 13F
這就是停止問題，翻譯翻得很爛。停止問
06/08 17:20, 13F
→
06/08 17:21, , 14F
題的意思是，無法光看程式就知道它跑了
06/08 17:21, 14F
→
06/08 17:22, , 15F
以後會不會停。實際跑了以後當然能知道
06/08 17:22, 15F
→
06/08 17:22, , 16F
停不停，但那就不是停止問題。
06/08 17:22, 16F
→
06/08 17:28, , 17F
某k別鬧了，趕快再發明smartphone一次阿
06/08 17:28, 17F
→
06/09 11:16, , 18F
實際跑了還是不一定知道啊.. 它一直跑一
06/09 11:16, 18F
→
06/09 11:17, , 19F
直跑.. 但可能還是不知道它會不會哪一天
06/09 11:17, 19F
→
06/09 11:17, , 20F
突然停下來 ^^|
06/09 11:17, 20F
→
06/09 17:54, , 21F
halting problem其實主要impact的是
06/09 17:54, 21F
→
06/09 17:54, , 22F
threading. 因為OS沒辦法主動得知這個
06/09 17:54, 22F
→
06/09 17:54, , 23F
thread的狀態。不過這有點太哲學 XD
06/09 17:54, 23F
→
06/09 17:55, , 24F
嗯,理論上來說,如果假設參與計算的機器
06/09 17:55, 24F
→
06/09 17:55, , 25F
與儲存裝置是有限多個,不會隨著時間而有
06/09 17:55, 25F
→
06/09 17:56, , 26F
無上限地增加的話.. 這是 Tape bounded
06/09 17:56, 26F
→
06/09 17:56, , 27F
Turing machine 模型.. 其 halting prob
06/09 17:56, 27F
→
06/09 17:57, , 28F
lem 是可以解的... 「只要」窮舉所有的
06/09 17:57, 28F
→
06/09 17:57, , 29F
cache, register, mem, disk, 所有的
06/09 17:57, 29F
→
06/09 17:57, , 30F
transister 的所有可能狀態就行了..
06/09 17:57, 30F
推
06/24 18:04, , 31F
就算考慮 non-deterministic TM 也一樣
06/24 18:04, 31F
→
06/24 18:04, , 32F
halting problem 還是不能判定。
06/24 18:04, 32F
‣ 更多 dharma 的文章
文章代碼(AID): #1JaTiUh4 (Programming)
討論串 (同標題文章)
以下文章回應了本文：
完整討論串 (本文為第 1 之 2 篇)：
排序： 最新先 | 最舊先 | 留言數
在新視窗開啟完整討論串 (共2篇)
Programming 近期熱門文章
更多 近期熱門文章 >>
PTT數位生活區 即時熱門文章
更多 即時熱門文章 >>
‣ 更多 dharma 的文章
文章代碼(AID): #1JaTiUh4 (Programming)