第438章 值得尊敬的对手(2 / 2)

schaeffer猜想是度量丢番图逼近中的一个重要猜想,由物理学家richard duff和数学家albert schaeffer在1941年提出。

丢番图逼近,则是数论的一个分支,研究的是用有理数逼近实数。

简单来说,大部分的实数,都是π、√2这样的无理数。

它们是无法用分数表示的。

所以,richard duff和albert schaeffer就提出了一种猜想。

假设fn→r≥0是具有正值的实值函数,只有当级数q1→∞∑fqφqq∞是发散的。

也就是,q>0,φq为欧拉函数,表示比q小,且与q互质的正整数的个数时。

对于无理数α而言,就存在无穷多个有理数,满足不等式|αq|altfqq。

也就是说,在寻找近似值的时候,先不考虑分子,而是从自然数中,选出无穷多个数,作为分母。

然后,基于分母序列和指定的近似精度范围,来选择分子。

结果就是,如果无穷级数发散,就意味着,已经近似了所有无理数。

否则,就没有实现对任何无理数的近似。

这一猜想,在有理近似中,普遍被数学家们认为是正确的标准。

但如何证明它,却成为了困扰数学家们将近80年的难题。

直到詹姆斯·梅纳德和他的合作者,用44页纸的论文,一举证明了这一猜想。

也因此,詹姆斯·梅纳德收获了许多数学家的称赞。

这其中,自然也包括因惜才而放弃论文署名的陶哲轩。

事实上,duffschaeffer猜想虽然看似简单,实则触及了自然数系统中的深刻性质,是数论中的具有里程碑意义的开放性问题。

这也是,这次柯尔数论奖的大热门候选人是詹姆斯·梅纳德的最大原因。

但可惜的是,他遇到了陈舟这个妖孽。

一年时间,连续干掉三个世界级数学猜想。

偏偏这里面还包括了素数间隔问题里,最重要得两大猜想之一,杰波夫猜想。

不止于此,陈舟解决杰波夫猜想的数学工具,也就是分布解构法。

还对陶哲轩和张亿唐解决孪生素数猜想,起到了至关重要的作用。

这就没办法了。

单论一个,可能詹姆斯·梅纳德还能比一比。

可是整体综合来看,詹姆斯·梅纳德就比不了了。

所以,这位素未谋面的竞争对手,给陈舟的邮件里,盛赞了陈舟在数论领域的工作,以及陈舟所取得的成就。

并且,詹姆斯·梅纳德还表示自己,也在研究陈舟所使用的分布解构法。

另外就是,詹姆斯·梅纳德认为,虽然两人是柯尔数论奖的直接竞争对手。

但是不管谁获奖,对方都应该是值得尊敬的对手。