作者sxy67230 (charlesgg)
看板Gossiping
标题[问卦] AI根本没办法解决停机问题吧？
时间Wed Sep 9 08:32:41 2026
饿死抬头，阿肥码农阿肥啦！
图灵停机问题，简单来说就是我们可以设计一个程序如果他判断输入程序有办法停机，那麽
他就停机，不然就无穷回圈。然後既然我们有办法设计这个程序那麽设计另一个跟他相反的
程序也是可以的，那他只要主程序无穷回圈，那他就停机，反之他就无穷回圈。类似的还有
哥德尔不完备定理。
从这个延伸的话，假如AGI够强可以预测全世界未知的东西的话，我们只要设计一个反相的A
GI，这样如果AGI预测正确就输出答案，反之就不停止预测，只要让AGI预测这个反相的杠精
AGI这样AGI就卡死了吧？也就证明AGI的上限根本就不可能预测所有未知，这样根本就不可
能取代人类吧？
有迷有瓜？
--
※ 发信站: 批踢踢实业坊(ptt.cc), 来自: 101.10.159.175 (台湾)
※ 文章网址: https://webptt.com/cn.aspx?n=bbs/Gossiping/M.1788913963.A.DC2.html
1F：推 wrvuxci: 不用AI啊，停机的结论就是不可能设计出来64.189.21.26 09/09 08:37
2F：→ wrvuxci: 就像AI也无法生成合法的1+1=3的证明一样64.189.21.26 09/09 08:41
3F：嘘 xross: 老掉牙复读 proof by contradiction99.36.164.58 09/09 09:00
4F：→ xross: contradiction本身隐含强假设 懂?! 99.36.164.58 09/09 09:00
你只看到矛盾这条代表你还看不够，智能的本质就是压缩，contradiction只是一种不能压
缩的表达式而已，剩下你自己慢慢想。
5F：→ hellophoenix: Time out + priority不就做到了 很 27.51.33.63 09/09 09:05
6F：→ hellophoenix: 丑陋而已 27.51.33.63 09/09 09:05
※ 编辑: sxy67230 (101.10.159.175 台湾), 09/09/2026 09:15:20
7F：嘘 xross: contradiction还可以扯到有的没的LOL 99.36.164.58 09/09 09:17
8F：嘘 xross: 你不用contradiction重推一遍就知道我说啥 99.36.164.58 09/09 09:21
9F：推 orze04: 早就证明不可能了 111.71.20.14 09/09 11:08
10F：→ orze04: 除非你要把整个逻辑学都推翻 111.71.20.14 09/09 11:08