周易对于这个瓜,也是吃得津津有味。
这简直是太刺激了,没想到春节末尾,还能吃到这么奇葩的瓜。
一些教授的论文都被挖了出来,然后凉凉。
简直是以一己之力,为学术圈做了一次净化手术。
二月二十五日,周易处理好了所有的事情之后,就与夏雪一起踏上了去学校的路上。
临近开学,早点去,方便继续为了学术与生活奋斗。
故乡始终是容纳不下肉身的。
回到学校之后,周易也是早出晚归,
每天都在研究开普勒猜想的证明。
何谓开普勒猜想,简单的来说就是球堆积的最大密度是π√18。
通俗的语言就是在一个大立方体中堆放同样的小球,小球总体积与立方体体积之比不超过最佳上界π√18。
看上去是一个很简单的结论,不过却困扰了数学界快要四个世纪了。
这个问题也被列为了希尔伯特的第十八问部分问题。
开普勒猜想的证明在17年的时候被匹兹堡大学形式化证明,这个形式化证明不是正式证明,而是用的计算机验证。
这种证明,在数学界显然是不被普遍接受,不能算作正式证明。
黑尔斯当初说开普勒猜想被证明,最后也不被否认吗。
担任审核论文的专家,也就是普林斯顿的数学教授约翰·何顿·康威直接说道:
“我不喜欢它们,因为我能感觉到这个证明是不知所云。”
我国的数学家项老师也曾证明过这个猜想,但是最终还是失败了。
可见其难度。
现在周易也总算是吃透了里面的知识,
其实在所有研究这个猜想的学者之中,上京大学数学系教授宗教授对于这个问题研究得十分深刻,
不过这位教授的绯闻有点多。
现在周易可以肯定,自己是完全掌握了这个猜想的证明方法,涉及到了代数、几何与分析多个方面的知识。