一篇、两篇……
三篇、四篇……
直到八十七篇文献下载完成,陈舟才算是停止了文献的检索。
转而专心致志的研究起了这些下载的文献。
在上次的实验数据和大量的文献资料之间,陈舟选择了后者。
也就是说,陈舟直到现在还未处理的实验数据,又得往后稍稍了。
而始终未曾找过陈舟的弗里德曼教授,也要再继续等待一段时间,才能被陈舟主动的去找了。
陈舟所下载的文献资料,几乎包揽了世界各大主流研究实验室所发表的实验论文。
也包含一些预印本网站的初版论文。
当然,这些预印本的话,陈舟就真的只做参考了。
时间很快走到了中午,始终沉浸于文献资料里的陈舟,也在完成了又一篇文献的梳理后,放下了手中的笔。
今天属于的物理学的时间,已经过去。
吃完饭后,就是属于数学的时间了。
“要不先从伽罗瓦理论开始?”
再次坐在书桌前的陈舟,习惯性的拿笔点了点草稿纸。
看了眼昨晚梳理的内容,又看了看写在一旁草稿纸上的,老阿廷教授留下的两大难题之一,却被阿廷教授称为子课题的“伽罗瓦群的阿廷l函数的线性表示”。
最终还是决定先从伽罗瓦理论入手。
对于这个混的并不算多熟的理论,陈舟多少还是有些佩服的。
对于这一理论纪念的数学家,陈舟更是佩服不已。
数学的历史是天才荟萃的历史,而伽罗瓦毫无疑问就是天才中的天才。
他从16岁到21岁的五年之间,系统地发展了用群论取代计算的奇思妙想,创造了美妙至极的伽罗瓦理论。
毫不夸张的说,伽罗瓦理论就是进入现代数论,乃至现代数学的法门。
在怀尔斯证明费马大定理是,就主要应用了伽罗瓦理论。
唯一令人惋惜的是,伽罗瓦的年龄也永远停在了21岁。
要不然的话,他很有可能会成为超越同时代的高斯、柯西、傅里叶等伟大数学家的人。
因为,这些在那个时代的伟大数学家们,都没有理解伽罗瓦的理论。
举个例子,阿贝尔发表的《一元五次方程没有一般代数解》的论文,用了50多页的篇幅和大量的计算,论证了对于一般的一元五次方程是不可能根式求解的。
但是,如果用伽罗瓦理论来论证这一点的话。
论证过程就是“一般一元五次方程的伽罗瓦群同构于全置换群s5,而s5不是可解群,因此一般一元五次方程不可根式求解。”
这种差距,都不用仔细品。
当看到一大批通过繁杂计算,都很难得到证明的问题。
能够被使用精巧的数学结构,来简洁而精准证明的时候。
伽罗瓦理论的优美,便体现了出来。
用陈舟的话说,除非他明年能搞出和伽罗瓦理论一样伟大的数学工具和数学研究方向。
否则的话,他就真的验证了一句话,那就是某些人,是真的开挂也追不上……
更可怕的是,陈舟记得在哪里看到过,当21岁的伽罗瓦把他主要的研究成果以极其精简、跳跃的思维,写在草稿纸上的时候。
没有人知道,伽罗瓦理论已经在伽罗瓦的头脑中存在了1年多的时间了。
当然,伽罗瓦可能是开着更大的外挂去的……
陈舟很快便沉浸在伽罗瓦理论中了。
“数和运算组合在一起,可以构成一种数学结构,这是一种更加本质,更加抽象的数学结构……”
“当继续把这种结构脱离数字和常规意义上的运算,而抽象出来的时候,就形成了‘群’的概念……”
陈舟第一次从这种角度去理解“群”的概念,不由得觉得有点惊奇。
再加上环和域的概念。
这些抽象的家伙,也就都出现了。
群,不是随随便便就能构成的。
域,或许更复杂一些。
而这些也是攀登伽罗瓦理论这座高峰时,需要踩着的台阶。
也是陈舟此时此刻所沉迷的内容。
“如果把群、环、域作为的话,那么伽罗瓦理论中的扩域、根式可解、根式塔就是巧妙的概念……”
“而域的自同构、伽罗瓦群和伽罗瓦对应,便就是神来之笔……”
陈舟手中的笔,在草稿纸上留下了一行行的文字和数学符合。
草稿纸也从一张变为两张,再变为三张……
张张都被填的满满的。
而这些便是时间流逝的证明。
花了两天时间,陈舟重点把伽罗瓦理论,给深刻的吃了一遍。