当你确定可以在有限步内完成证明的时候，实际上就是给出了个证明，这是一回事，你犯了循环论证的问题了
【 在 hypokeimenon (hypo) 的大作中提到: 】
: 黎曼猜想的证明也是有限字数的文本，这就够了
: 【 在 HakenHok 的大作中提到: 】
: : 莎士比亚猴子问题本质是在有限维空间中用可数无穷列逼近，这是没问题的（度量空间中紧致既代表列紧）（莎士比亚的小说再宏大也是有限字数，而且单词总数也是有限的，所以这种文字构成所有可能的小说空间就是有限维空间中的紧集）；而黎曼猜想实在复平面上寻找可解点，而2维空间中点的所有可能是阿列夫3型无穷大（测试空间无穷维），根本不存在可数无穷收敛列，根本不可能靠穷举筛选结果
:
--
FROM 120.216.179.*