VIP中文 > 其他小说 > 名柯:当文豪的我其实是大科学家 > 正文 第37 章 【关于西塔潘猜想在RT₂²与WKL₀关系中的证明思路】

正文 第37 章 【关于西塔潘猜想在RT₂²与WKL₀关系中的证明思路】

    晚餐过后。

    望着正在收拾餐具的明美,为了给某只萝莉留下好印象,林染虚伪的问了句,“明美姐,那个……要不要我帮忙洗碗?”

    “不用了染少爷,这里交给我就好,您去休息吧!”

    得到小女仆明确的拒绝后,林染才揉着肚子来到客厅,把自己扔进沙发里,发出一声满足的喟叹。

    洗碗?

    不可能的,这辈子都不可能洗碗的。

    他可以花费两个小时去准备一顿大餐,但绝对不接受饭后去洗碗,前世小的时候为了逃避这项工作,每次吃完饭后都拿着本书往厕所里一蹲,一待就是半个小时,为此没少被老妈骂。

    想到这里,他瞥了一眼沙发另一侧。

    只见某只茶发萝莉也以几乎同款的姿势瘫着,怀里抱着她那新得的的包包,小短腿悠闲地晃荡着,冰蓝色的眼眸半眯。

    确认过眼神,都是不想洗碗的人。

    两个懒蛋一左一右,往沙发上一躺,跟两个大爷似的,一个在那里看电视,一个则是在那里欣赏自己刚到手的包包。

    就这么瘫了半晌,林染才从沙发上起身,准备上楼看书。

    路过依旧瘫着的小哀时,非常自然地伸出手,在那头柔顺的茶发上狠狠rUa了一把。

    成功换来一记混杂着不满和幽怨的目光。

    充钱了吗?你就摸。

    林染假装没看见,心情愉悦地溜上了楼。

    他也想偷懒,他也想躺平,但是没办法啊,谁让他家系统不争气,不像别人家的,方方面面的都替宿主打理好,宿主只要当个咸鱼就行。

    可他却不行,要想成为一个不受质疑的全能学霸,就得努力看书学习,充实自己。

    书房里,林染对着窗外的月亮发了会呆,才拿起准备好的书看了起来。

    不过今晚不知道怎么的,可能是家里来了一只萝莉科学家,有些激动,他好半天也没能进入写作状态,后面干脆放下书,从书架上拿了本《数学分析》看了起来,换换脑子。

    一名合格的学霸,就是要能文能武。

    不对,是文理双修。

    说起来,前世他上大学那会儿,最初报的可就是数学系,奈何,作为老林家那一代唯一的男丁,从他高考结束的那个暑假起,就被父母亲戚组团开启了“催恋催婚”预热模式。

    但,数学系嘛……懂的都懂。

    在这里想看到女生,尤其是好看的女生,难度系数不亚于在自家小区里偶遇野生大熊猫。

    后面也是托了自己一个姑姑关系,含笑(划掉)含泪转入了隔壁的文学系,瞬间就感觉像是唐三藏误入了女儿国,他成大熊猫了。

    这次拿起数学书,熟悉的公式和逻辑链条很快让他沉静下来,津津有味地一头扎了进去。

    不知过去多久,书房的门被轻轻推开。

    一颗小小的、茶色的脑袋探头在房间里打量了一下,确定没有危险后,才将身子全部放进来,手里还拎着一壶热茶。

    ——来自姐姐大人的任务。

    为了促进家庭和谐,加深妹妹与自家少爷的革命友谊,明美果断把自己照顾林染看书写作的任务,下放给了妹妹。

    小哀一走进来,就看到林染坐在书桌前,手里拿着本书,不时低头写写画面,专注的样子倒是让少年平时那副温润中带着点散漫的气质,沉淀出了几分独特的魅力。

    “很努力呢……”

    萝莉心想。

    优秀的人从来不是只靠天赋,更多的是勤奋与汗水,就像她自己一样。

    小哀走过去,踮起小脚,将杯子放到桌上,不过想倒茶时才发现有些够不着,秀眉微皱,从一旁拉来把椅子,费力地爬上去,站稳。

    这一番动静成功让林染从书中回过神,看到居然是哀酱在给自己倒茶,惊讶了一下,随即高兴道:

    “小哀,你来的正好,快来帮我看一下这论文格式有问题不?”

    “哦好……嗯?!”

    小哀下意识答应,随即反应过来不对。

    你在说什么?

    萝莉冰蓝色的眼眸看着眼前的男人眨了眨。

    然后她才注意到,林染桌上放着的不是什么她想的文学著作,而是一本数学书,本子上写的也不是什么风花雪月的优美文句,而是一堆数学符号和推导公式。

    迷茫了,哀酱真的迷茫。

    你一个大作家,文坛新贵,亿万富翁,不去好好构思你的下一本作品,不去享受你的成名生活,大半夜的躲在书房里玩什么数学啊?

    这不纯纯的“不务正业”嘛!

    “你……在看数学?”

    “对啊。”

    林染理所当然地点点头,将手中的笔放下,活动了一下有些发酸的手腕,“文学是我的爱好,科学才是我的追求,全面发展嘛。”

    他指了指桌上的稿纸,头疼道:“我准备投稿一篇论文,格式上我总觉得有点别扭,你帮我看看?”

    灰原哀:“……”

    她低头看了看自己身上还没换下来,带着卡通图案的家居服,又抬头看了看林染那张写满“求知欲”的俊脸,一时竟不知该作何反应。

    一个轰动文坛的天才少年作家,深夜不构思新书,反而在钻研什么数学,还说要发表论文,你确定这个世界还正常?

    她深吸一口气,努力让自己接受这个设定。

    “要冷静,灰原哀。”

    毕竟,连APTX-4869这种能让人返老还童的药物你都亲手研发出来了,眼前这个家伙不过是兴趣广泛了点,跨度大了点,也不是完全不能接受。

    小哀爬上椅子,柔软的小腿跪坐在上面,目光扫过稿纸上的内容,准备看看这家伙到底在搞什么名堂。

    林染则是捧着茶杯,慢悠悠的品了起来。

    他心里门清,眼前这位别看现在是小萝莉的模样,但之前可是18岁就医学和化学双博士学位的天才美少女,平时估计SCI论文都没少发,这种学术格式问题,找她咨询,绝对是专业对口。

    事实上也确实如此。

    虽然数学不是小哀之前主攻的方向,但数学毕竟是一切学科的基础,她对此也有所了解,而当看到稿纸最上方上写的标题,她下意识地抬眸看了眼林染,才继续低头看下去。

    稿纸上的内容是:

    【关于西塔潘猜想在RT₂²与WKL₀关系中的证明思路】

    【摘要:本文旨在探讨 反推数学 中 拉姆齐定理的弱化体系RT₂² 与 弱柯尼希引理体系WKL₀ 之间的逻辑关系。针对由SeetapUn提出的 SeetapUn猜想,即 RT₂²是否严格强于WKL₀ 的问题,本文通过构建 ω-模型并分析其二阶算术子系统中的证明论强度,给出证明……】

    这家伙居然在搞数论。

    小哀眉头紧皱,要知道数论这东西,看起来门槛很低,一些公式定理连普通人都能看懂,但实际上它是最吃天赋的一个领域。

    或者可以说是天才的试金石

    没有那个金刚钻,你就是皓首穷经、埋头苦干一辈子,很可能连门都摸不着,更别提做出什么像样的成果了。

    一瞬间,小哀甚至怀疑林染是不是和那些沉迷于“证明哥德巴赫猜想”的民间科学家们一样,属于自我感觉良好、实则误入歧途的类型。

    不过,看在救命恩人以及新包包的份上,她决定还是先看看内容再说,免得过早下结论打击了对方的数学热情。

    这一看,就逐渐入了神。

    表情从最初的审视、到逐渐凝重、再到陷入深思,眉头时而微蹙,时而舒展。

    林染一杯热茶慢慢见底,饶有兴致地欣赏着小萝莉的面部变化,对自己的论文完全不担心。

    他要证明的论文,是英国数理逻辑学家西塔潘在1990年提出的一个猜想,距今为止才过去了6年,热度还在。

    探讨的是“拉姆齐定理” 与另一个叫做 “WKL₀” 的数学系统之间的关系。

    用通俗点的话来说:要证明“在任何一个无限的数学结构中,都能找到一个具有某种规律的无限子结构”这个结论,到底需要多强的公理系统。

    这个猜想并不属于希尔伯特问题或千禧年难题那种“百年悬案”级别。

    它更像是数理逻辑领域内部一个非常专业、有待厘清的问题,在圈外人看来可能很“小”,但其解决需要对该领域有深刻的理解。

    可以说非常适合林染现在发表。

    既能证明他在数学方面的天赋和实力,树立天才形象,又不会因为成果过于惊世骇俗而引来不必要的麻烦和质疑。

    毕竟,你一个文学界新人,要是上来就把“黎曼猜想”或者“P对NP问题”这种困扰了无数数学巨擘几百年的终极难题给干趴下了,那就有些太离谱了。
  http://www.xvipxs.net/203_203892/70441096.html

  请记住本书首发域名:www.xvipxs.net。VIP中文手机版阅读网址:m.xvipxs.net