作者: suhorng ( ) 2014年在 PTT 的推文記錄

※ 選擇年份: 所有年份(2) 2014年(1) 2013年(1)
※ 選擇看板: 所有看板(23) C_Chat(22) Prob_Solve(1)

2014年在Prob_Solve板第1篇

+1 [問題] 無法判定程式終結 - Prob_Solve 板

作者: dharma (達) 118.163.106.192 (台灣) 2014-06-06 23:14:48

推 suhorng: No, 這是可計算性的問題, 不是**共識**, 是數學事實
我們不可能寫出一個程式，使得它對於**任意**其他程式在有限的時間內算出給定的程式會不會在有限的時間內終止
但我是不瞭解這個在自動/或AI那一方面的意義....
至少我覺得它給我的感覺，跟Godel不完備定理的感覺一樣 1F 06-06 23:22

點此顯示2013年的記錄

所有年份(2) 2014年(1) 2013年(1)
點此顯示發文記錄