安装客户端,阅读更方便!

第三十二章 人类的极限(2 / 2)


“这两个公式之间的联系明显有问题,需要依赖于一个未经证实的假设”,邱先生一向是比较严谨的,

“我觉得这个假设是合理的,因为如果这个假设不成立的话,会得出一系列匪夷所思的结论”,陶教授的观点也很明确,存在就是合理,

“我们不能因为结论匪夷所思就先天性的排斥它们,要知道,非欧几何在否定了平行公设之后,一样得出了一系列匪夷所思的结论”,李文静说,

“我觉得我们的思考方向有问题,咱们能不能先不要纠结文章的对错,而尝试理解文章的作者想要告诉我们什么”,王一男说出了自己的想法,

“有意思,说来听听”,陶教授首先表示了对王一男想法的支持,

“我的意思是,我们是不是可以先做一个假设,这篇文章的主体是正确的?”,王一男说,

“你继续”,这回邱先生和李文静都点头了,貌似这个想法很不坏啊,

“直觉告诉我,文章的的很多东西是正确的,那么,在这个前提下,我们看看作者想说什么,或者说作者的整个推理和逻辑的链条,最终指向哪里?”,王一男侃侃而谈。

“如果文章是错的,那我们不是在浪费时间吗?”,李文静说,

“不对,就算文章是错的,我们也能从逻辑链条看出来,最终的结论错在哪里,这样的反例在科学上也是有非常大价值的”,陶教授反驳道,

“就像你说的非欧几何一样”。

确实,去掉平行线公设之后,几何学给科学家们打开了一个全新的领域,而更加恐怖的是,这个领域在若干年后,被爱因斯坦哪都有你从角落里找了出来,然后,预言了引力波的存在。

确定新的方向之后,讨论的进展立刻快了很多,一旦不去质疑作者的结论,就更容易看出作者脑海中所勾画的那个宏伟蓝图。

隐隐约约,一个全新的,让人目眩神迷的东西出现在天边。

当然,第三次讨论会再次凑足人的时候,已经是第四天晚上了,王一男到了牛津,陶教授也去了普林斯顿,这次的阵容就更加恐怖了,解决费马猜想的怀尔斯教授听到陶教授提起这件事后,一定要参加进来,于是史无前例的五人临时讨论会组成了,这个临时讨论会称为蓝星最强组合也一点都不为过。

第二天王一男还有一场牛津大学的讲座,所以这次讨论会没有进行的太晚,到最后,怀尔斯教授也跟邱先生一样,产生了一个奇怪的疑虑,“怎么感觉这篇文章的风格这么熟悉呢,难道真的是那个已经退出数学界的家伙吗?”,

“你们说的是一个人吗”,作为小字辈的王一男和李文静,只有好奇宝宝的份,

“应该是一个人”,邱先生和怀尔斯对望了一眼,

“不会是毛熊的那个佩雷尔曼吧”,在那两位面前,陶教授也是小字辈,他问到,

“当然不是,佩雷尔曼只是不善交际,可没有退出数学界”。

王一男在牛津的演讲同样取得了巨大的成功,出乎预料的是,保守的不列颠学术界这次非常大方,牛津授予了王一男客座教授的称号,还诚挚的邀请他每年都来演讲,王一男愉快的答应了,因为周慧特别喜欢这座城市的大街小巷,也许是因为说英语的缘故?

等到王一男再次回到欧罗巴大陆的时候,差不多一周的时间过去了,第一次来到这座永久中立国的首都,王一男深深的被这座城市的美丽打动了,果然是上百年没有经受战火的洗礼,每一栋建筑物似乎都有一个故事,美丽而又充满了历史的沧桑。

王一男和周慧流连在苏黎世的大街小巷,连续好多天超频都有点过热的脑子,似乎也感受到久违的平静,但王一男的内心可不像表面上那么平静。

事实上,在离开不列颠的前一天晚上,蓝星最强五人小组已经基本上破译了那一叠神秘的稿件。

最后得出的结论,让所有参加讨论的人都大吃一惊。

通过一系列的代数几何,还有公理逻辑的假设,文章似乎在哥德尔定理的方向上走的更远,如果说李文静之前在哥德尔定理的具象化上取得了一些成功,可以成功的构造出具体形式化系统的一些反例,从而找到现有系统的缺陷。

这篇文章从更加基础的层面发展了哥德尔定理,如果文章的论点完全成立的话,那么王一男和李文静以及邱先生陶教授最新的论文,是为数不多的几个反例。

也就是说,这篇文章试图说明,为本质上无序的复杂系统找到形式化的解释,从根本上是不可能的,需要满足一系列苛刻的条件。

换句话来说,将哥德尔系统的无序的神经网络,转换成人类能理解的数学理论,并不是一定可行的,甚至进一步说,绝大多数情况是不可能的。

如果这篇文章最后被证明是正确的,那么,最终的结论是,

人类绝大多数情况下,不能用人类可以理解的逻辑体系来解释神经网络的结果,

再换一个通俗的说法,机器最终,会比人更加聪明!