第11章 倒霉的班行远(1/6)

    那位大统领上任没多久，就遇到了麻烦，一时间半岛政坛风云动荡，班行远无心也无力关注。

    2003年5月，感觉到一直研究的数学问题到了突破的时候。除了每周上一节历史文化课还有正常的学生指导，其他的活动全都推掉，全力攻坚。这一次的数学证明非常艰辛，耗尽了他全部的精力。

    因为在证明过程中突然来了灵感，顺手解决了一个计算机科学领域关于计算复杂性的问题。这个问题是计算机科学的核心问题之一，之前普遍认为这个问题是哥德尔描述的那类不可证明的问题，也就是在现有体系内不能证明真假。班行远尽管没有完整的证明这个问题，也没有给出问题证明的路线方向，但是他最终证明了这一问题是可证的。这也是很了不起的突破，毕竟明确了今后工作的方向。同时在证明过程中还得到了一个很意外的结果：至少存在一个未知的严格顺序执行并且能够完整执行的算法，该算法前面步骤的计算依赖后面步骤的结果，该算法在现有体系下无法设计无法描述。论文发表后立即引起轰动。

    那个计算复杂性问题可以证明的结论倒还好，关键是班行远在论文里提到的那个算法，这完全是一个重大发现，预示着在计算机科学方面还有许多的未知需要探索。编写排版软件那次不算，班行远这次算是进入计算机科学的圈子里了。

    不单是计算机学界，在数学界一些数学家受到班行远论文的启发，证明了存在一类数学问题，这类问题只能用归纳法证明，并且在用归纳法证明时要想前面的环节是正确的必须首先要后面的环节正确。面对这些成果，无数的学者陷入了沉默，因为现实中一些重要的数学猜想真的不能排除是这类问题的可能。这完全是颠覆性的，也意味着全新的方向和方法。数学家一向都不担心有新的难题，反而跟担心不知道有没有难题。有困难解决就好，反正他们是世界上最聪明的人。

    一些学者断言，班行远的这篇论文值得一个图灵碗和一个菲尔茨奖。计算机科学和数学其实是不分家的。

    班行远已经顾不上外界的这些纷扰了。整个工作进展的十分顺利，毕竟所有的内容都已经在脑子里了，只要把论文写好就可以了，所有工作到7月中旬就可以完成。但是还是因为一场意外住院，延迟了一段
本章还未完，请点击下一页继续阅读>>>