PTT職涯區 / ask-why (知識奧秘)

[請益] 無法判定程式終結

看板ask-why (知識奧秘)作者 (達)時間11年前 (2014/06/06 23:12), 11年前編輯推噓4(4推 0噓 25→)
留言29則, 8人參與, 最新討論串1/3 (看更多)
演算法之道裡寫道： ...無法判定程式終結，這個結論對程式設計來說意義重大。就是這個緣故，程式永遠不 會是全自動的，即不可能由程式自己來寫程式、啟動程式、控制程式。也就是說，像「駭 客任務」那樣的情景永遠也不會出現。而隱含的意義是程式設計永遠也離不開程式設計師 。... 書上這個論點 是現在學術和產業界的共識嗎？ 是不是只有人類開發出仿生腦 才會有真正的人工智慧 thank -- ※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 118.163.106.192 ※ 文章網址: http://www.ptt.cc/bbs/ask-why/M.1402067558.A.679.html
推
06/06 23:29, , 1F
我覺得當AI發展到某種程度，自動寫程式還是有可能的
06/06 23:29, 1F
→
06/06 23:35, , 2F
自動證明，大概也是要看AI的發展
06/06 23:35, 2F
→
06/06 23:36, , 3F
停機問題是數學上的結論，代表沒有方法可以證明任何程式
06/06 23:36, 3F
→
06/06 23:36, , 4F
是否會停止
06/06 23:36, 4F
→
06/06 23:37, , 5F
但是真的實用的系統其實不需要證明所有程式，只需能夠
06/06 23:37, 5F
→
06/06 23:38, , 6F
證明那些人寫的，有跡可循的程式
06/06 23:38, 6F
→
06/06 23:53, , 7F
不用到仿生腦, 現在就有人在開發homotopy type theory
06/06 23:53, 7F
推
06/08 03:27, , 8F
我想大部分人電腦三分鐘不會動就按Ctrl+Alt+Del了，至於放著
06/08 03:27, 8F
→
06/08 03:28, , 9F
讓它跑三天之後到底會不會終結對大多數人來說其實是無意義的
06/08 03:28, 9F
→
06/08 05:51, , 10F
有興趣的話，先去了解什麼是 halting problem ，
06/08 05:51, 10F
略知，會再仔細查看資料
→
06/08 05:51, , 11F
等弄懂嚴謹的定義以後討論這個問題才有意義。
06/08 05:51, 11F
→
06/08 05:53, , 12F
不過即使程式會不如人，不代表程式不能自己寫程式
06/08 05:53, 12F
→
06/08 05:54, , 13F
可能要看過上下文了解這些用字的定義才知道書上到底在寫什麼
06/08 05:54, 13F
※ 編輯: dharma (118.163.106.192), 06/08/2014 13:23:57
→
06/08 15:02, , 14F
我個人不同意這個結論。以 halting problem 中的「無
06/08 15:02, 14F
→
06/08 15:03, , 15F
法判定程式終結」同一個標準來說，其實人類也無法判定
06/08 15:03, 15F
→
06/08 15:04, , 16F
程式終結。但人卻會寫程式，何解？能在數學上判定程式
06/08 15:04, 16F
→
06/08 15:04, , 17F
本來就不是寫程式的必要條件。
06/08 15:04, 17F
→
06/08 16:24, , 18F
halting problem 只有說沒有演算法能 decide ，沒說人不行阿
06/08 16:24, 18F
→
06/08 16:25, , 19F
當然人的思考能力是否大於 Turing machine 也是可以爭論的點
06/08 16:25, 19F
→
06/08 16:25, , 20F
也許該書的作者有自己的立場，但光憑引用的文字講不太清楚
06/08 16:25, 20F
→
06/09 10:06, , 21F
我的意思是，人在判斷程式是否終結時，本來就只是依據
06/09 10:06, 21F
→
06/09 10:08, , 22F
一些觀察性的通則，而不是演算地證明。所以說程式不能
06/09 10:08, 22F
→
06/09 10:08, , 23F
從演算上證明另一程式是否終結就說程式不可能判斷，這
06/09 10:08, 23F
→
06/09 10:09, , 24F
和人類對比之下是不公平的。
06/09 10:09, 24F
→
06/09 20:47, , 25F
"即不可能由程式自己來寫程式、啟動程式、控制程式" 這段敘述
06/09 20:47, 25F
→
06/09 20:49, , 26F
就我直接斷章取義來看是錯的，已有程式可寫程式、編譯、執行、
06/09 20:49, 26F
→
06/09 20:50, , 27F
控制程式，可直接使用人類的操作介面。
06/09 20:50, 27F
推
06/27 12:22, , 28F
即使人類都不見得能做到 瘋子知道自己瘋了 的狀況了
06/27 12:22, 28F
推
06/30 15:54, , 29F
樓上的說法很有味道 LOL
06/30 15:54, 29F
‣ 更多 dharma 的文章
文章代碼(AID): #1JaTfcPv (ask-why)
討論串 (同標題文章)
以下文章回應了本文：
完整討論串 (本文為第 1 之 3 篇)：
排序： 最新先 | 最舊先 | 留言數
在新視窗開啟完整討論串 (共3篇)
ask-why 近期熱門文章
更多 近期熱門文章 >>
PTT職涯區 即時熱門文章
更多 即時熱門文章 >>
‣ 更多 dharma 的文章
文章代碼(AID): #1JaTfcPv (ask-why)