第37 章 【关於西塔潘猜想在RT?2与WKL?关係中的证明思路】（3 / 3）
事实上也確实如此。
虽然数学不是小哀之前主攻的方向，但数学毕竟是一切学科的基础，她对此也有所了解，而当看到稿纸最上方上写的標题，她下意识地抬眸看了眼林染，才继续低头看下去。
稿纸上的內容是：
【关於西塔潘猜想在rt?2与wkl?关係中的证明思路】
【摘要：本文旨在探討 反推数学 中 拉姆齐定理的弱化体系rt?2 与 弱柯尼希引理体系wkl? 之间的逻辑关係。针对由seetapun提出的 seetapun猜想，即 rt?2是否严格强於wkl? 的问题，本文通过构建 w-模型並分析其二阶算术子系统中的证明论强度，给出证明……】
这傢伙居然在搞数论。
小哀眉头紧皱，要知道数论这东西，看起来门槛很低，一些公式定理连普通人都能看懂，但实际上它是最吃天赋的一个领域。
或者可以说是天才的试金石
没有那个金刚钻，你就是皓首穷经、埋头苦干一辈子，很可能连门都摸不著，更別提做出什么像样的成果了。
一瞬间，小哀甚至怀疑林染是不是和那些沉迷於“证明哥德巴赫猜想”的民间科学家们一样，属於自我感觉良好、实则误入歧途的类型。
不过，看在救命恩人以及新包包的份上，她决定还是先看看內容再说，免得过早下结论打击了对方的数学热情。
这一看，就逐渐入了神。
表情从最初的审视、到逐渐凝重、再到陷入深思，眉头时而微蹙，时而舒展。
林染一杯热茶慢慢见底，饶有兴致地欣赏著小萝莉的面部变化，对自己的论文完全不担心。
他要证明的论文，是英国数理逻辑学家西塔潘在1990年提出的一个猜想，距今为止才过去了6年，热度还在。
探討的是“拉姆齐定理” 与另一个叫做 “wkl?” 的数学系统之间的关係。
用通俗点的话来说：要证明“在任何一个无限的数学结构中，都能找到一个具有某种规律的无限子结构”这个结论，到底需要多强的公理系统。
这个猜想並不属於希尔伯特问题或千禧年难题那种“百年悬案”级別。
它更像是数理逻辑领域內部一个非常专业、有待釐清的问题，在圈外人看来可能很“小”，但其解决需要对该领域有深刻的理解。
可以说非常適合林染现在发表。
既能证明他在数学方面的天赋和实力，树立天才形象，又不会因为成果过於惊世骇俗而引来不必要的麻烦和质疑。
毕竟，你一个文学界新人，要是上来就把“黎曼猜想”或者“p对np问题”这种困扰了无数数学巨擘几百年的终极难题给干趴下了，那就有些太离谱了。 ↑返回顶部↑
虽然数学不是小哀之前主攻的方向，但数学毕竟是一切学科的基础，她对此也有所了解，而当看到稿纸最上方上写的標题，她下意识地抬眸看了眼林染，才继续低头看下去。
稿纸上的內容是：
【关於西塔潘猜想在rt?2与wkl?关係中的证明思路】
【摘要：本文旨在探討 反推数学 中 拉姆齐定理的弱化体系rt?2 与 弱柯尼希引理体系wkl? 之间的逻辑关係。针对由seetapun提出的 seetapun猜想，即 rt?2是否严格强於wkl? 的问题，本文通过构建 w-模型並分析其二阶算术子系统中的证明论强度，给出证明……】
这傢伙居然在搞数论。
小哀眉头紧皱，要知道数论这东西，看起来门槛很低，一些公式定理连普通人都能看懂，但实际上它是最吃天赋的一个领域。
或者可以说是天才的试金石
没有那个金刚钻，你就是皓首穷经、埋头苦干一辈子，很可能连门都摸不著，更別提做出什么像样的成果了。
一瞬间，小哀甚至怀疑林染是不是和那些沉迷於“证明哥德巴赫猜想”的民间科学家们一样，属於自我感觉良好、实则误入歧途的类型。
不过，看在救命恩人以及新包包的份上，她决定还是先看看內容再说，免得过早下结论打击了对方的数学热情。
这一看，就逐渐入了神。
表情从最初的审视、到逐渐凝重、再到陷入深思，眉头时而微蹙，时而舒展。
林染一杯热茶慢慢见底，饶有兴致地欣赏著小萝莉的面部变化，对自己的论文完全不担心。
他要证明的论文，是英国数理逻辑学家西塔潘在1990年提出的一个猜想，距今为止才过去了6年，热度还在。
探討的是“拉姆齐定理” 与另一个叫做 “wkl?” 的数学系统之间的关係。
用通俗点的话来说：要证明“在任何一个无限的数学结构中，都能找到一个具有某种规律的无限子结构”这个结论，到底需要多强的公理系统。
这个猜想並不属於希尔伯特问题或千禧年难题那种“百年悬案”级別。
它更像是数理逻辑领域內部一个非常专业、有待釐清的问题，在圈外人看来可能很“小”，但其解决需要对该领域有深刻的理解。
可以说非常適合林染现在发表。
既能证明他在数学方面的天赋和实力，树立天才形象，又不会因为成果过於惊世骇俗而引来不必要的麻烦和质疑。
毕竟，你一个文学界新人，要是上来就把“黎曼猜想”或者“p对np问题”这种困扰了无数数学巨擘几百年的终极难题给干趴下了，那就有些太离谱了。 ↑返回顶部↑