第11章 倒霉的班行远 (第1/3页)
那位大统领上任没多久，就遇到了麻烦，一时间半岛政坛风云动荡，班行远无心也无力关注。
2003年5月，感觉到一直研究的数学问题到了突破的时候。除了每周上一节历史文化课还有正常的学生指导，其他的活动全都推掉，全力攻坚。这一次的数学证明非常艰辛，耗尽了他全部的精力。
因为在证明过程中突然来了灵感，顺手解决了一个计算机科学领域关于计算复杂性的问题。这个问题是计算机科学的核心问题之一，之前普遍认为这个问题是哥德尔描述的那类不可证明的问题，也就是在现有体系内不能证明真假。班行远尽管没有完整的证明这个问题，也没有给出问题证明的路线方向，但是他最终证明了这一问题是可证的。这也是很了不起的突破，毕竟明确了今后工作的方向。同时在证明过程中还得到了一个很意外的结果：至少存在一�
更多内容加载中...请稍候...
本站只支持手机浏览器访问，若您看到此段落，代表章节内容加载失败，请关闭浏览器的阅读模式、畅读模式、小说模式，以及关闭广告屏蔽功能，或复制网址到其他浏览器阅读！
本章未完，请点击下一章继续阅读！若浏览器显示没有新章节了，请尝试点击右上角↗️或右下角↘️的菜单，退出阅读模式即可，谢谢！