第一百三十六章 荣耀之旅(二) (2/2)

“今天给大家讲的是王一男教授跟伟大的格罗腾迪克先生合作完成的另外一项，我个人认为更加伟大的成果”，xx主任对着台下，“告诉我，是什么？”，

“g-ern的科学素养，那可是没的说。

“好吧，大家肯定看我这个老头子应该已经厌倦了，是时候把舞台让给年轻人了”，xx主任一语双关的说，看起来谣传他要退休的说法，不是空穴来风啊，

“下面，有请来自华国的，王一男教授”。

王一男站上讲台的时候，还是有点忐忑的，虽然《g-w不可描述定理》是一个数学定理，但是这个定理在哲学还有认知科学上的含义远远超过了数学本身，在欧罗巴这样充满了宗教传统的地方，信口开河是很容易拉仇恨的，在这个节骨眼上，王一男可不想弄出点什么奇怪的事情来。

摇摇头，这种问题想也没用，尽可能注意吧，“这个定理其实更多的来自格罗腾迪克先生”，王一男说，

“我们知道，形式化系统是人类手里最强大的武器，抽象能力也是自然界赋予我们最强大的能力之一”，

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

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

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

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

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

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

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

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

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

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

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

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

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

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