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

。 “要冷静，灰原哀。” 毕竟，连APTX-4869这种能让人返老还童的药物你都亲手研发出来了，眼前这个家伙不过是兴趣广泛了点，跨度大了点，也不是完全不能接受。 小哀爬上椅子，柔软的小腿跪坐在上面，目光扫过稿纸上的内容，准备看看这家伙到底在搞什么名堂。 林染则是捧着茶杯，慢悠悠的品了起来。 他心里门清，眼前这位别看现在是小萝莉的模样，但之前可是18岁就医学和化学双博士学位的天才美少女，平时估计SCI论文都没少发，这种学术格式问题，找她咨询，绝对是专业对口。 事实上也确实如此。 虽然数学不是小哀之前主攻的方向，但数学毕竟是一切学科的基础，她对此也有所了解，而当看到稿纸最上方上写的标题，她下意识地抬眸看了眼林染，才继续低头看下去。 稿纸上的内容是： 【关于西塔潘猜想在RT与WKL关系中的证明思路】 【摘要：本文旨在探讨 反推数学 中 拉姆齐定理的弱化体系RT 与 弱柯尼希引理体系WKL 之间的逻辑关系。针对由Seetapun提出的 Seetapun猜想，即 RT是否严格强于WKL 的问题，本文通过构建 ω-模型并分析其二阶算术子系统中的证明论强度，给出证明……】 这家伙居然在搞数论。 小哀眉头紧皱，要知道数论这东西，看起来门槛很低，一些公式定理连普通人都能看懂，但实际上它是最吃天赋的一个领域。 或者可以说是天才的试金石 没有那个金刚钻，你就是皓首穷经、埋头苦干一辈子，很可能连门都摸不着，更别提做出什么像样的成果了。 一瞬间，小哀甚至怀疑林染是不是和那些沉迷于“证明哥德巴赫猜想”的民间科学家们一样，属于自我感觉良好、实则误入歧途的类型。 不过，看在救命恩人以及新包包的份上，她决定还是先看看内容再说，免得过早下结论打击了对方的数学热情。 这一看，就逐渐入了神。 表情从最初的审视、到逐渐凝重、再到陷入深思，眉头时而微蹙，时而舒展。 林染一杯热茶慢慢见底，饶有兴致地欣赏着小萝莉的面部变化，对自己的论文完全不担心。 他要证明的论文，是英国数理逻辑学家西塔潘在1990年提出的一个猜想，距今为止才过去了6年，热度还在。 探讨的是“拉姆齐定理” 与另一个叫做 “WKL” 的数学系统之间的关
本章还未完，请点击下一页继续阅读>>>