第642页

只林安情绪复杂,默默地注视着宋楠楠。

宋楠楠倒是淡定:“不怎么看,这个讲的应该是友谊定律。”

啊,她说的更加让人一头雾水啦。

“大概是1995年的时候,英国数理逻辑学家西塔潘在关于拉姆齐二染色定理证明强度方面提出的一个反推数学领域的猜想。组合数学上呢,拉姆齐定理是要解决问题,要找这样一个最小的数n,使得n个人中必定有k个人相识或l个人互不相识。”

周伟直接喊停,满脸无辜道:“你们数学就研究这个?我怎么感觉一点儿也不高大上。”

宋楠楠丝毫不掩饰自己的diss:“数学是基础的基础,也是高级的高级。你想要高级的表达方法,可以,我现在就给你换个说法。拉姆齐二染色定理就是任何一个对边进行2-染色的含无穷个顶点的完全图都有一个单一染色的含有无穷个顶点的子完全图……”

周伟立刻拱手求饶:“大姐我错了,我一定是饿晕了所以才胡说八道,您千万别跟我一般见识。”

妈呀,这人说的是人话吗?为什么好像每个字他都认识,但组合起来他完全听不懂?

宋楠楠嗤笑:“给你高级的你又不要了。其实这个挺有意思的,跟二阶算数中的五个子系统相关。西潘塔主要是发现子系统wkl_0并不强于 rt 2 ,于是他猜测可能 rt 2 要强于 wkl 0 。他提出这个猜想之后,蛮多人研究过,我们有位老师也攻过,但到目前为止还是没有足以让人信服的论证。”

舒方圆其实就是随口一念,没想到还引出了数学难题。

她不由得感慨:“又是得不到证明的难题啊。数学上的难题可真多。谁要是证明出来,是不是就扬名立万,跟证明了哥德巴赫猜想一样啊。”

宋楠楠笑了:“也不能这么说吧。要怎么讲呢,哥德巴赫猜想的主要意义体现在推进数学发展上。为了解决它而发展出来的数学,可能更加能体现问题的真正意义。证明它的意义,可能反而比不上这些。因为最终是站在无数巨人的肩膀上的。”