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

作者: dharma (達)   2014-06-06 23:14:48
演算法之道裡寫道:
...無法判定程式終結,這個結論對程式設計來說意義重大。就是這個緣故,程式永遠不
會是全自動的,即不可能由程式自己來寫程式、啟動程式、控制程式。也就是說,像「駭
客任務」那樣的情景永遠也不會出現。而隱含的意義是程式設計永遠也離不開程式設計師
。...
書上這個論點
是現在學術和產業界的共識嗎?
是不是只有人類開發出仿生腦
才會有真正的人工智慧
thank
作者: suhorng ( )   2014-06-06 23:22:00
No, 這是可計算性的問題, 不是**共識**, 是數學事實我們不可能寫出一個程式,使得它對於**任意**其他程式在有限的時間內算出給定的程式會不會在有限的時間內終止但我是不瞭解這個在自動/或AI那一方面的意義....至少我覺得它給我的感覺,跟Godel不完備定理的感覺一樣
作者: isnoneval (虛物之海)   2014-06-08 18:37:00
我想原 po 問的是針對後半段suhorng 的回答是說針對 halting problem 這件事是事實
作者: yzugsr (miaout17)   2014-06-12 01:09:00
我覺得原書內容怪怪的? 無法解決停機與駭客任務的關係是?
作者: cplusplus (對的人難尋)   2014-08-24 01:00:00
只看這段個人覺得並非正確,因為人腦也不能判斷程式是否會停止。所以像駭客任務那樣的情節並非不可能...

Links booklink

Contact Us: admin [ a t ] ucptt.com