主题:
字号:
16
行距:
2.0

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

界还正常?

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

“要冷静,灰原哀。”

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

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

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

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

事实上也确实如此。

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

稿纸上的内容是:

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

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

这家伙居然在搞数论。

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

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

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

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

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

这一看,就逐渐入了神。

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

林染一杯热茶慢慢见底,饶有兴致地欣赏着小萝莉的面部变化,对自己的论文完全不担心。

他要证明的论文,是英国数理逻辑学家西塔潘在1990年提出的一个猜想,距今为止才过去了6年,热度还在

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

大秦:开局扶苏被贬,忽悠他造反
瑜兰瑾
七零不做冤大头,下乡赶山娶村花
啄云扶月
分手后,我把前女友炼成僵尸!
因帅被罚破产
高考满分,我要开始逆天啦!
夜冷
看见血条的我,选择打爆世界
红豆茶
公路求生:我召星际元帅成饭搭子
锦鲤绘扇
叫你拍特摄,你真去当奥特曼了?
秋月爱莉
网游之枪破苍穹
幸运一
穿越封神,我功德成圣了
蜀中说书人945
傻子,尝鲜!
武小胜
不是联姻吗?韩总怎么这么爱
橘糖
玄幻:开局一身无敌大招
丸子先生
大明:我真不是万寿帝君
翊月影
祖传风水师笔记
我自东方
辽东沦丧前夜,率军兵谏少帅
吃鱼的小狗
提前登陆游戏世界,开局联姻女帝
潇楚还没睡
御兽之灵主
闲笑鱼
足球:一个门将会点国术很合理吧
割四赔五
将通房丫鬟送人后,世子悔疯了
青简
高考分手后,带校花房车旅游暴富
远大前陈
万古第一战皇
蒙面加菲猫
美漫:悟性逆天,手搓禁咒
善良的乌贼
完美犯罪?在我的眼里全是破绽!
只抽半颗烟的老登
不是,我电子女友咋修成剑仙了
宇宙无敌暴龙烧鹅
2889 年一个美国新闻界巨子的一天
儒勒·凡尔纳
三角洲:梦中调教小麦,我赛伊德
粥大肘子
到处都是主角,这个世界不对劲
愿日月抚卿
太古神尊
楚长歌
乡村神医真呀真快活
一曲秋水
斩神:我靠王者系统拯救遗憾
布酱栗猫
破镜重圆?可夫人剧本是男二上位
火球银花
冰河末世,我囤积了百亿物资
记忆的海
太古神尊叶风叶紫灵
楚长歌
海岛求生:植灵师大人她只想种田
鸭鸭绿
这个甄嬛传怎么不一样
飞鸡飞鱼飞锅里
从暮年娶妻到长生不死
白雪的马甲
假千金在抢男人,七零真千金已上交国家
萤火年年
【七零】穿书女配不下乡,改嫁大佬赢麻了
禾禾
我一个校长,听学生建议怎么了?
东北女主
名柯:成为财阀,从加入酒厂开始
飞翔鲫鱼
大明:开局筋斗云,老朱馋哭了!
大总管9527
穿书被龙掳走,我被龙族当崽了?
超爱吃咖喱
第一次破译免费?反手破译系统!
我不吃牛肉c
重生之花滑女王绝不认输
酥耶
战皇林寒
蒙面加菲猫
武道天帝王腾
蒙面加菲猫
废土人间
棵东林
小妻子太凶,陆爷把持不住了
兔旺旺
渣男不配,他哥才是顶配
锦瑟澜
财阀小娇妻:闪婚后,大叔他把持不住了
花惊鹊