主题:
字号:
16
行距:
2.0

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

担心。

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

探讨的是“拉姆齐定理”与另一个叫做“WKL??”的数学系统之间的关系。

用通俗点的话来说:要证明“在任何一个无限的数学结构中,都能找到一个具有某种规律的无限子结构”这个结论,到底需要多强的公理系统。

这个猜想并不属于希尔伯特问题或千禧年难题那种“百年悬案”级别。

它更像是数理逻辑领域内部一个非常专业、有待厘清的问题,在圈外人看来可能很“小”,但其解决需要对该领域有深刻的理解。

可以说非常适合林染现在发表。

既能证明他在数学方面的天赋和实力,树立天才形象,又不会因为成果过于惊世骇俗而引来不必要的麻烦和质疑。

毕竟,你一个文学界新人,要是上来就把“黎曼猜想”或者“P对NP问题”这种困扰了无数数学巨擘几百年的终极难题给干趴下了,那就有些太离谱了。

重回1982小渔村
米饭的米
公若不弃,愿拜为义父
辣酱热干面
第四天灾从不相信钢铁洪流!
喀秋莎第一可爱
修仙界只有妖女了是吗
月下千早
四合院之扮猪吃老虎
戈壁孤狼夜
青山
会说话的肘子
仙命在我
杜养吾
半岛头号玩咖!
HKDoll
被夺一切后我成了仙道魁首
盛唐无夜
重生鉴宝:我真没想当专家
眀智
华娱从洪世贤开始
在下励志师
工业克苏鲁,从海岛领主开始
刀如故
娱乐:我就是顶峰
疑似风月
长生修仙:从福修开始
宅到时间尽头
以一龙之力打倒整个世界!
唐宋元明氢
美警生存实录:以德服人
夜叶总差
循规蹈矩能叫重生吗?
法学院新生
全球觉醒:开局加入聊天群
飞翔的四眼
大明:从战场捡属性开创诸天大明
无谅888
税收只在机枪射程内!
践行践远
道君,从蓬莱筑基开始
临渊今天一定更
诸天影视从四合院开始
洒家要吃肉
混沌天帝诀凌峰苏琳
剑轻阳
魔王大人深不可测
晨星LL
穿越,然后被富家JK堵门
晚不鸽
路明非,成为艾尔登之王吧!
苏三十二
人在斗破:天赋绝世竟带系统
仪昔
超武斗东京
木隐红尘
诸天:谁把他放进恐怖片的?
三维的乱象
F1:车神养成日记
诸位贱笑了
从梁祝开始燃烧世界
小黑帽
嫡明
戈昔
人在峨眉,开局获取金色词条
黑白大团子
祭祀百年,我成了部落先祖
山人有妙计
斗罗:三位一体,我贯穿了时间线
我不开挂
谁教他这么复国的
星罗封陈
别打扰邪术师搞科研
一枚有趣的土豆
穿越七零做外贸
青铜老五
精灵:开局格斗馆主,被娜姿缠上
今天洛尘涅槃了么
黑木崖抄书百年,我成了魔道祖师
仍是少年
重生华娱,95小花养成日记
闻风太白
坐忘长生
飞翔的黎哥
超凡崛起:开局契约银龙女伯爵
汤姆不吃糖
六十大寿来系统,儿子被退婚了!
九月有二
我靠烧香爆红娱乐圈
容焉
从肝熟练度开始长生不死
乌鸦还是黑的好
战锤之黑皇帝
辣椒炒恶魔
华娱浪子,怎么被天仙改造了?
快出栏的猪
星痕纹章
米里米里
我在俄国当文豪
卡拉马佐夫