第104章 开始推导证明N-S方程

确定贾维斯能解决这道数学难题后,叶云州直接授权给它控制自己身体,然后开始在笔记本上书写解答过程。

在燕大图书馆的一角,阳光透过高大的窗户洒在排列整齐的书架上,空气中弥漫着纸张和墨水的淡淡香气。这里,时间仿佛慢了脚步,一切都沉浸在宁静之中。

叶云州坐在木质的桌前,手中握着一支笔,笔尖轻轻触碰着洁白的纸张。随着笔尖在纸上舞动,发出几乎听不见的"沙沙"声。这声音,细微而连续,像是远处树叶轻轻摩擦的声音,又像是深夜里微风掠过湖面的涟漪。

然而,没有人知道,这些常人很难看得懂的数学符号,数学公式,很快将会震动整个数学界甚至整个科学界。

......

“老韩,你看那是不是老叶?”赵天宇用手戳了戳韩墨后说道。

“哪里?”

韩墨顺着赵天宇的眼神方向看过去,只见叶云州在专心的书写着什么。

“走,我们去吓吓他。”韩墨一脸坏笑道。

两人从书架的另外一边悄悄绕到叶云州后面,想要给他一个惊吓。没想到,当韩墨看到叶云州在笔记本上书写的东西的时候直接傻眼了。

韩墨用手拦住后面的赵天宇,转过头用手在嘴边比了一个噤声的手势。赵天宇有点奇怪,韩墨这是看到什么了?

他踮着脚走上前来,只见叶云州在笔记本上快速书写各种数学公式,有的内容他看得懂一些,但大部分他是看不懂的,因为他刚自学完大二的数学课程。而韩墨已经学到大三了,所以看得懂的内容比他多多了。

两人越看越皱眉,他们只看到了有偏微方程的影子,还有一些其他的他们就完全看不懂了。

偏微方程是属于数学分析学这个大类,对于他们这个专业来说,不会很深入的去学,课程也比较少,而且是大二才开的课程。

他们这个专业主要深入学习的是离散数学。

离散数学是理论计算机科学中非常有用的数学领域的总称,包括可计算理论、计算复杂性理论、信息论等。可计算理论用于检验计算机的不同理论模型的极限;复杂性理论探讨问题可被计算机处理的难易程度;信息论关注特定媒介内可存储的数据总量,涉及压缩和熵等概念。

“走,别打扰他,老叶应该是灵感来了。”韩墨拉了拉赵天宇的衣服悄声道。

作为奥赛金牌获得者,韩墨的数学天赋不言而喻,他知道数学研究是要讲灵感的。有的数学家研究某个问题几年几十年,当灵感来临的时候,可能几个小时就搞定了。

两人走开后,赵天宇才问韩墨道:“老韩,老叶到底在研究什么问题啊,你看懂了吗?”

韩墨摇摇头,皱眉道:“应该是关于偏微分方面的问题,没想到老叶竟然选择往这方面。”