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

晚餐过后。

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

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

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

洗碗？

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

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

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

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

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

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

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

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

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

充钱了吗？你就摸。

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

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

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

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

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

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

不对，是文理双修。

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

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

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

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

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

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

一颗小小的、茶色的脑袋探头在房间里打量了一下，确定没

有危险后，才将身子全部放进来，手里还拎着一壶热茶。

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

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

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

“很努力呢……”

萝莉心想。

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

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

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

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

“哦好……嗯？！”

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

你在说什么？

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

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

迷茫了，哀酱真的迷茫。

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

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

“你……在看数学？”

“对啊。”

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

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

灰原哀：“……”

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

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

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

“要冷静，灰原哀。”

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

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

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

他心里门清，眼前这位别看现在是小萝莉的模样，

但之前可是18岁就医学和化学双博士学位的天才美少女，平时估计SCI论文都没少发，这种学术格式问题，找她咨询，绝对是专业对口。

事实上也确实如此。

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

稿纸上的内容是：

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

【摘要：本文旨在探讨

反推数学

中

拉姆齐定理的弱化体系RT₂²

与

弱柯尼希引理体系WKL₀

之间的逻辑关系。针对由SeetapUn提出的

SeetapUn猜想，即

RT₂²是否严格强于WKL₀

的问题，本文通过构建

ω-模型并分析其二阶算术子系统中的证明论强度，给出证明……】

这家伙居然在搞数论。

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

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

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

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

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

这一看，就逐渐入了神。

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

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

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

探讨的是“拉姆齐定理”

与另一个叫做

“WKL₀”

的数学系统之间的关系。

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

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

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

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

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

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