就爱来小说网

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

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

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

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

    “哦好……嗯?!”

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

    你在说什么?

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

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

    迷茫了,哀酱真的迷茫。

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

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

    “你……在看数学?”

    “对啊。”

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

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

    灰原哀:“……”

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

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

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

    “要冷静,灰原哀。”

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

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

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

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

    事实上也确实如此。

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

    稿纸上的内容是:

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

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

    这家伙居然在搞数论。

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

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

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

    一瞬间,小哀甚至怀疑林染是不是和那些沉迷于“证-->>

本章未完,点击下一页继续阅读