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

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

        这家伙居然在搞数论。

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

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

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

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

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

        这一看，就逐渐入了神。

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

  The content is not finished, continue reading on the next page