那位大统领上任没多久,就遇到了麻烦,一时间半岛政坛风云动荡,班行远无心也无力关注。
2003年5月,感觉到一直研究的数学问题到了突破的时候。除了每周上一节历史文化课还有正常的学生指导,其他的活动全都推掉,全力攻坚。这一次的数学证明非常艰辛,耗尽了他全部的精力。
因为在证明过程中突然来了灵感,顺手解决了一个计算机科学领域关于计算复杂性的问题。这个问题是计算机科学的核心问题之一,之前普遍认为这个问题是哥德尔描述的那类不可证明的问题,也就是在现有体系内不能证明真假。班行远尽管没有完整的证明这个问题,也没有给出问题证明的路线方向,但是他最终证明了这一问题是可证的。这也是很了不起的突破,毕竟明确了今后工作的方向。同时在证明过程中还得到了一个很意外的结果:至少存在一个未知的严格顺序执行并且能够完整执行的算法,该算法前面步骤的计算依赖后面步骤的结果,该算法在现有体系下无法设计无法描述。论文发表后立即引起轰动。
那个计算复杂性问题可以证明的结论倒还好,关键是班行远在论文里提到的那个算法,这完全是一个重大发现,预示着在计算机科学方面还有许多的未知需要探索。编写排版软件那次不算,班行远这次算是进入计算机科学的圈子里了。
不单是计算机学界,在数学界一些数学家受到班行远论文的启发,证明了存在一类数学问题,这类问题只能用归纳法证明,并且在用归纳法证明时要想前面的环节是正确的必须首先要后面的环节正确。面对这些成果,无数的学者陷入了沉默,因为现实中一些重要的数学猜想真的不能排除是这类问题的可能。这完全是颠覆性的,也意味着全新的方向和方法。数学家一向都不担心有新的难题,反而跟担心不知道有没有难题。有困难解决就好,反正他们是世界上最聪明的人。
一些学者断言,班行远的这篇论文值得一个图灵碗和一个菲尔茨奖。计算机科学和数学其实是不分家的。
班行远已经顾不上外界的这些纷扰了。整个工作进展的十分顺利,毕竟所有的内容都已经在脑子里了,只要把论文写好就可以了,所有工作到7月中旬就可以完成。但是还是因为一场意外住院,延迟了一段时间。
班行远是在非典爆发前返回韩国的,但还是意外的中招了,禽流感。
本来以为只是普通的感冒,但是症状越来越严重,不得不住院治疗,最经确诊禽流感。这下子热闹了,班行远是一个老师还带着课呢,整个首尔大学都紧张起来,宝儿、徐珠璇、金泰熙……数不清的密接、次密接。还好经过排查只有他一个人确诊。
也合该他倒霉。李惠安的离世对他的打击太大了。虽然看上去没什么事的样子,但实际上无时不刻都处于极度的痛苦之中,他的精神一直都处于崩溃的边缘。高强度的脑力活动在榨干他全部精力的同时,也透支了他的健康。
最初住院的时候情况并不算太严重,忽然有一天就凶险了起来,班行院被送入了重症监护病房。已经解除确诊风危的宝儿收到医院的病危通知后一下子就瘫在了地上。得到消息匆匆赶来的金泰熙和徐朱璇两个人合力搀扶着她赶到了医院。宝儿的手抖得都没有办法在有关文件上签字了,最后还是三个人中年龄最大的金泰熙签署了有关的文件。情况紧急,她也顾不上是不是符合亲属关系的要求了。宝儿已经无法想像也无法承受亲人的再一次离开了。三个人隔着玻璃窗看到浑身插满各种管子的班行远后抱在一起大哭起来。
还好有惊无险。在重症监护病房抢救了10天后,逐渐恢复的班行远回到了普通病房。流调显示,病原体是鸟类在他的院子停留带来的,如果班行远住的是楼房完全不会遇上这个无妄之害。医生也告诉他但凡免疫力强一些也完全能抗得过去,班行远的精神和