趣的问题:如果借助计算机证明数学命题,而数据的绝对量过于庞大,以至于没有办法由人工进行验证,那么这个结果能否被验证真伪呢?”
几个编辑面面相觑,都说不出话来。13gb的数据,你用人工去验证,天荒地老了也验不出来啊。
坐在旁边围观的助手们,其中一位金发男悄悄问同事:“什么叫埃尔德什差异问题?”
同事看了他一眼,想起他并不是数学专业毕业的,来杂志社只是做文字编辑和校对工作的。便耐心地解释道:“通俗的解释,假如你有一个由1和1例如由扔硬币随机产生组成的数列和常数c。你要寻找到一个足够长的有限数列,使这一数列的总和大于常数c。丘用论文证明了这个数列确实存在,不仅如此,他还用计算机算出了这个数列。”
金发男眨巴着眼睛,迷茫的目光说明他可能一个字都没听明白。同事也放弃了进一步说明,只是从另外一个角度说:“证明了这个问题,意味着他极有可能获得今年的霉国数学学会年度奖,以及其它的奖项。”
金发男这才了然地点点头,羡慕地说了一句:“听说学会的年度奖奖金有六万霉圆,这不敢相信,我要是获得了这笔钱,都不知道该怎么花掉它。”
同事翻了个白眼,不再说话了。