第37 章 【关于西塔潘猜想在RT?2与WKL?关系中的证明思路】（2 / 2）
请关闭浏览器的阅读/畅读/小说模式并且关闭广告屏蔽过滤功能，避免出现内容无法显示或者段落错乱。
萝莉冰蓝色的眼眸看着眼前的男人眨了眨。
然后她才注意到，林染桌上放着的不是什么她想的文学著作，而是一本数学书，本子上写的也不是什么风花雪月的优美文句，而是一堆数学符号和推导公式。
迷茫了，哀酱真的迷茫。
你一个大作家，文坛新贵，亿万富翁，不去好好构思你的下一本作品，不去享受你的成名生活，大半夜的躲在书房里玩什么数学啊？
这不纯纯的“不务正业”嘛！
“你……在看数学？”
“对啊。”
林染理所当然地点点头，将手中的笔放下，活动了一下有些发酸的手腕，“文学是我的爱好，科学才是我的追求，全面发展嘛。”
他指了指桌上的稿纸，头疼道：“我准备投稿一篇论文，格式上我总觉得有点别扭，你帮我看看？”
灰原哀：“……”
她低头看了看自己身上还没换下来，带着卡通图案的家居服，又抬头看了看林染那张写满“求知欲”的俊脸，一时竟不知该作何反应。
一个轰动文坛的天才少年作家，深夜不构思新书，反而在钻研什么数学，还要发表论文，你确定这个世界还正常？
她深吸一口气，努力让自己接受这个设定。
“要冷静，灰原哀。”
毕竟，连APTX-4869这种能让人返老还童的药物你都亲手研发出来了，眼前这个家伙不过是兴趣广泛了点，跨度大了点，也不是完全不能接受。
哀爬上椅子，柔软的腿跪坐在上面，目光扫过稿纸上的内容，准备看看这家伙到底在搞什么名堂。
林染则是捧着茶杯，慢悠悠的品了起来。
他心里门清，眼前这位别看现在是萝莉的模样，但之前可是18岁就医学和化学双博士学位的天才美少女，平时估计SCI论文都没少发，这种学术格式问题，找她咨询，绝对是专业对口。
事实上也确实如此。
虽然数学不是哀之前主攻的方向，但数学毕竟是一切学科的基础，她对此也有所了解，而当看到稿纸最上方上写的标题，她下意识地抬眸看了眼林染，才继续低头看下去。
稿纸上的内容是：
【关于西塔潘猜想在RT?2与WKL?关系中的证明思路】
【摘要：本文旨在探讨反推数学中拉姆齐定理的弱化体系RT?2与弱柯尼希引理体系WKL?之间的逻辑关系。针对由SeetapUn提出的SeetapUn猜想，即RT?2是否严格强于WKL?的问题，本文通过构建ω-模型并分析其二阶算术子系统中的证明论强度，给出证明……】
这家伙居然在搞数论。
哀眉头紧皱，要知道数论这东西，看起来门槛很低，一些公式定理连普通人都能看懂，但实际上它是最吃天赋的一个领域。
或者可以是天才的试金石
没有那个金刚钻，你就是皓首穷经、埋头苦干一辈子，很可能连门都摸不着，更别提做出什么像样的成果了。
一瞬间，哀甚至怀疑林染是不是和那些沉迷于“证明哥德巴赫猜想”的民间科学家们一样，属于自我感觉良好、实则误入歧途的类型。
不过，看在救命恩人以及新包包的份上，她决定还是先看看内容再，免得过早下结论打击了对方的数学热情。
这一看，就逐渐入了神。
表情从最初的审视、到逐渐凝重、再到陷入深思，眉头时而微蹙，时而舒展。
林染一杯热茶慢慢见底，饶有兴致地欣赏着萝莉的面部变化，对自己的论文完全不担心。
他要证明的论文，是英国数理逻辑学家西塔潘在1990年提出的一个猜想，距今为止才过去了6年，热度还在。
探讨的是“拉姆齐定理”与另一个叫做“WKL?”的数学系统之间的关系。
用通俗点的话来：要证明“在任何一个无限的数学结构中，都能找到一个具有某种规律的无限子结构”这个结论，到底需要多强的公理系统。
这个猜想并不属于希尔伯特问题或千禧年难题那种“百年悬案”级别。
它更像是数理逻辑领域内部一个非常专业、有待厘清的问题，在圈外人看来可能很“”，但其解决需要对该领域有深刻的理解。
可以非常适合林染现在发表。
既能证明他在数学方面的天赋和实力，树立天才形象，又不会因为成果过于惊世骇俗而引来不必要的麻烦和质疑。
毕竟，你一个文学界新人，要是上来就把“黎曼猜想”或者“P对NP问题”这种困扰了无数数学巨擘几百年的终极难题给干趴下了，那就有些太离谱了。
↑返回顶部↑