在继续谈了一会之后,周易便回到了寝室。
开普勒猜想的证明过程还没写完呢。
几百页的证明,前后的逻辑性,
每一个单词是否多余,数学定理定义叙述的精确与否,都要细细打磨。
这次院长找周易谈话主要的目的还是去哪里读研的问题。
有个好的导师,未来的学术生涯,可以减少很多的弯路。
其实周易倾向于去水木大学的原因,就是因为18年菲尔兹奖得主比尔卡尔在证明BAB猜想之中用到的归纳法互推6个辅助定理,
周易在开普勒猜想证明之中也用到了用数学归纳法互推辅助定理。
可以说有异曲同工之妙。
都是代数几何方向,共同语言与思维的碰撞必然是极高。
到时候在研究一些数论猜想的时候,说不定有关键性的启迪。
其次丘先生也在水木大学,杨先生也在水木大学,当世最顶级的数学家、物理学家都在这所大学,何必舍近求远呢。
不过确实时间还早,就算是今年跟着大四一起毕业,那也还有三个多月。
现在才三月中旬。
周易一边敲着键盘,一边思考,这篇论文涉及的东西太多了,不仅是开普勒猜想。
当初牛顿提及的一个问题,也可以被解决。
要是一股脑的全部放出去,有些不划算。
而且这篇论文的诞生,必将引起离散几何的革命,到时候,恐怕整个通信将会迎来一个巨大的发展。
应用到民生、军事、航空航天等多个地方。
奈何周易在信息学的分支太少,等级太低,根本无法应用。
周易此刻停下了键盘,开始思考,要不学学别人,先发一个‘格点型’牛顿问题在五维空间统一为40的证明。
何谓牛顿问题?
这得追溯到三百多年前。
1694年的一天,牛顿和数学家格雷戈里在剑桥大学三一学院讨论太阳系行星的有关问题时,话题就转到了一个球可以同时与多少个同样大小的球相切的问题。
他们共同认为,一个球同时与12个同样大小的球相切是没有争议的。
格雷戈里是一位牛顿学说的追随者,他崇敬牛顿,但是不盲从牛顿。