57书屋正式启用新域名www.57sw.com,请牢记新的域名!!!手机请访问http://m.57sw.com
  • 57书屋 > 穿越 > 名柯:当文豪的我其实是大科学家 > 第37 章 【关于西塔潘猜想在RT₂²与WKL₀关系中的证明思路】
  • 第37 章 【关于西塔潘猜想在RT₂²与WKL₀关系中的证明思路】

    作品:《名柯:当文豪的我其实是大科学家

            晚餐过后。

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

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

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

        洗碗?

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

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

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

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

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

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

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

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

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

        充钱了吗?你就摸。

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

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

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

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

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

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

        不对,是文理双修。

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

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

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

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

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

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

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

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

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

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

        “很努力呢……”

        萝莉心想。

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

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

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

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

        “哦好……嗯?!”

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

        你在说什么?

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

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

        迷茫了,哀酱真的迷茫。

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

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

        “你……在看数学?”

        “对啊。”

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

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

        灰原哀:“……”

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

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

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

        “要冷静,灰原哀。”

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

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

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

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

        事实上也确实如此。

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

        稿纸上的内容是:

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

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

        这家伙居然在搞数论。

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

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

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

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

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

        这一看,就逐渐入了神。

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

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

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

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

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

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

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

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

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

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

    相关推荐: 不做王爷妾,我做美食养俩反派幼崽 重回92开饭馆,开局获得黄金瞳 爹,你傍富婆,我搞定她女儿 魔师! 她一撒娇,祁厅就失控了