第680章 西塔潘猜想（2/2）

通过一番交流和劝说，听到马菲菲心意已决，且还是先斩后做，林东升的心情也非常复杂。

由于对方的年薪虽然高达千万，但工作时间和积累有限，她看中的一座别墅，折算成人民币，据说售价高达两千万，还有一千万的缺口。

看到对方主动开口借钱，林东升也只好心情失落地挂断了电话，默默地给她的账户转去了一千五百万，比她需要的还多借了五百万。

转完钱之后，林东升就开始发呆，脑海里反复想起两人第一次见面的情形，那个活泼可爱的城里丫头，以及后来相处的点点滴滴。

那些曾经被蒙上灰尘的记忆，在这一刻仿佛被突然激活了，无比清晰。

下次再见，对方也许就是某个孩子的妈妈了。

一念至此，林东升也是一声长叹，为了马菲菲和她肚子里的孩子着想，他以后也必须得尽量与对方保持好距离了。

成长真是一件无比残酷的事情，很多人，走着走着，就散了。

这段时间，他和苏文浅也见得很少，大部分时间，都住在研究生宿舍里。

教室、图书馆、食堂、宿舍，四点一线，忙碌而充实。

或许是受到了马菲菲事件的严重刺激，当天晚上，林东升躺在床上，怎么也睡不着。

马菲菲真乃女中豪杰，看不上一般的男人，索性就直接去父留子，既能体验当母亲的艰辛与幸福，也能达成人生下一个阶段的小圆满，这种果敢和勇气，确实令人佩服！

突然，他脑中灵光一闪，人生的活法，没有定式，数学证明也是一样啊，顺推不行，那么，逆推可否？

随后，他直接修改了此前研究中用到过的树递归构造方法，可构造满足Rt2?但不满足wKL?的模型（反例），直接否定了原猜想。

他的核心逻辑就是，通过构造特定递归结构，证明Rt2?的系统强度不足以覆盖wKL?，二者不可比，不存在谁更强的关系。

即：以否定性证明破解了西塔潘猜想，核心是构造反例说明Rt2?不包含wKL?，推翻“Rt2?强于wKL?”的猜想。

奋战一个通宵后，他终于完成了该猜想的形式化证明，并用英文撰写好论文，悄悄投给了国际权威的《符号逻辑杂志》。

数学的世界，总是如此美妙，既是一个人的战斗，也是一个人的狂欢。

前面孤独地行走了99步，可能看似毫无意义，但只要能完成最后一步的终极跳跃，就能成功登顶一座巍峨的高峰。

从此，这座高峰上，将永久地留下某一个人的名字，并永久地承受世人的膜拜！

他没有刻意将自己的证明拿给熊教授等人甄别和讨论，虽然他有九成九的把握，相信自己论证的正确和严谨，但也不敢保证就一定是对的。

万一事后证明这只是一场空欢喜，其中依然有自己未曾想到的某种逻辑漏洞，那对自己的伤害可能没那么大，无非就是浪费了一点时间。

但是，对于熊教授这种一直对自己寄予厚望的人来说，绝对是一个沉重的打击。

秋天注定是一个收获的季节，学校收获了一群军训结束的黝黑新生，马菲菲收获了一个腹中的胎儿。

而林东升，也将旷世科技和升浅科技的分厂，全都开到了正在蓬勃发展的鹏城，为自己的国际化战略，进一步打下坚实的基础……