如果黑客拥有一台算力无限的主机,他能做什么?
这取决于他是怎么个无限法 如果算力达到阿列夫0,他可以通过遍历整数来证明哥德巴赫猜想 如果算力达到阿列夫1,他可以通过遍历复数来证明黎曼猜想 PS. 经知友提醒,黎曼猜想似乎只需要阿列夫0号机,虽然他给的参考资料我没看懂.不过我想到了一个更离谱的事情......阿列夫1的算力,它似乎能直接证明连续统假设?如果是,那你这次真的可以推翻数学大厦了 一点相关的背景知识:连续统假设在现代数学中属于"不能证明,也不能证伪"的东西,有点像信仰,你相信就是相信,不相信就是不相信.想证明连续统假设,只需要证明R的每个无穷子集,要么和N构成双射,要么和R构成双射 -  - 也就是我们在R的幂集上跑一个遍历