[問卦] AI根本沒辦法解決停機問題吧？

[sxy67230 (charlesgg)]

餓死抬頭，阿肥碼農阿肥啦！

圖靈停機問題，簡單來說就是我們可以設計一個程序如果他判斷輸入程序有辦法停機，那麼
他就停機，不然就無窮迴圈。然後既然我們有辦法設計這個程序那麼設計另一個跟他相反的
程序也是可以的，那他只要主程序無窮迴圈，那他就停機，反之他就無窮迴圈。類似的還有
哥德爾不完備定理。

從這個延伸的話，假如AGI夠強可以預測全世界未知的東西的話，我們只要設計一個反相的A
GI，這樣如果AGI預測正確就輸出答案，反之就不停止預測，只要讓AGI預測這個反相的槓精
AGI這樣AGI就卡死了吧？也就證明AGI的上限根本就不可能預測所有未知，這樣根本就不可
能取代人類吧？

有迷有瓜？

--
※ 發信站: 批踢踢實業坊(ptt.cc), 來自: 101.10.159.175 (臺灣)
※ 文章網址: https://www.ptt.cc/bbs/Gossiping/M.1788913963.A.DC2.html
推 wrvuxci: 不用AI啊，停機的結論就是不可能設計出來
→ wrvuxci: 就像AI也無法生成合法的1+1=3的證明一樣
噓 xross: 老掉牙復讀 proof by contradiction
→ xross: contradiction本身隱含強假設 懂?!
你只看到矛盾這條代表你還看不夠，智能的本質就是壓縮，contradiction只是一種不能壓
縮的表達式而已，剩下你自己慢慢想。
→ hellophoenix: Time out + priority不就做到了 很
→ hellophoenix: 醜陋而已
※ 編輯: sxy67230 (101.10.159.175 臺灣), 09/09/2026 09:15:20
噓 xross: contradiction還可以扯到有的沒的LOL
噓 xross: 你不用contradiction重推一遍就知道我說啥