为什么哥德巴赫猜想不能用计算机证明？
发布时间：
2024-04-18 17:49
阅读量：
15
谁说不可以了？
只要验证到BB(22)位的时候就可以证明存在一个特地的图灵机 就证明了哥德巴赫猜想
问题是现在就是BB(5)这个数都已经大到我们根本无法表示 我们甚至都不知道BB(5)这个数是多大
确定BB(22)的具体数值根本就是无法确定的 因为BB确定了可计算数与不可计算数之间的boundary
所以说不是不可以用计算机证明 而是我们根本不知道我们到底有没有证明出来 这个问题本质上根本就是无解的
斯 那我废话了半天这还是无解啊
END