第(3/3)页

    “当原始人类从一块石头，两块石头，抽象出一和二概念的时候，人类就注定要成为整个蓝星的主宰”。

    “过去几个世纪科技的发展，充分证明了我们这种抽象能力的强大，也证明形式化系统所具有的巨大的表达能力，以至于让我们觉得，利用形式化系统，我们可以描述和解决一切问题”。

    “想不到这个时候的王一男教授，这么有魅力”，拿着话筒的华国电视台女主持人，看着王一男在讲台上侃侃而谈，两眼忍不住冒出了小星星。

    “废话，我男人肯定什么时候都是最帅的”，一旁的周慧忍不住站了出来宣示主权。

    “这段剪掉啊”，女主持人一边感叹，还不忘记跟摄像大哥吩咐一句，“剪不剪导演说了算”，摄像大哥在心里暗暗地说，“这么好的素材，我估计导演是舍不得剪的”。

    王一男是没办法注意到台下这个小区域的一场暗战，说完强大的形式化系统，以及上世纪著名的希尔伯特纲领，王一男停顿了几秒钟，

    “但是在上世纪初，天才的哥德尔改变了这一切，他提出了一种形式化系统的方法，证明了任何拥有足够表达能力的形式化系统，一定存在不能证明为真，也不能证明为假的命题”。

    “华国数学家李文静，也是我的搭档，在哥德尔定理的基础上，发展出出一系列的数学方法，进一步证明了，在现实的形式化系统中，比如说程序设计语言，同样可以构造出一些无法证明的命题来”，

    李文静之前将哥德尔系统研究的一些早期成果发表了论文，毕竟，就算她不发表，别人很快也能得出类似的结论，当然，哥德尔系统虽然是利用这些理论产生的，但是中间发生了什么，让它具有远超过预想的能力，直到今天，王一男和李文静还是没搞明白。

    “在晶格频率的形式化努力中，李文静教授，还有邱先生和陶教授，以及我自己，发展出了一些新的数学工具，这些数学工具提供了远超以往的表达能力”，

    “但是，表达能力越强，就意味着本质的矛盾会越明显的暴露在我们面前”，

    “于是天才的格罗腾迪克先生，从这些数学工具中，发现了表达能力、复杂性和严密的逻辑之间，存在一些内在的联系，这些联系似乎更加接近世界的本质，也更加接近思维的本质”，

    这还是王一男第一次在外界详细描述“G-W不可描述定理”产生的完整过程，坐在第一排的XX主任喜出望外，这次赚到了，CERN难道以后不但是高能物理的中心，还会成为蓝星一个新的数学中心么，只要王一男教授每年定期来讲一次课，貌似也不是不可能啊。

    “有句华国的古话，叫做天之道，损有余而补不足；人之道，损不足而益有余”，王一男说，

    


    第(3/3)页