第十七章
递归调用的问题并非仅仅只是一个编程技巧的问题,罗汉堂内堂的这些精英们,谁也不会觉得自己写出来的程序会产生死循环这种低级错误。
但是当一个很平常的技巧,一旦上升到数据结构和软件架构的问题时,突然间就露出了它狰狞的面孔。
而这些罗汉堂内堂的精英们,研究的也早就不是一段具体的程序要怎么编写,而是更加看重指导程序编写的思想。
在递归调用中隐藏着一个会威胁到整个数学体系的危险,这个危险就是罗素悖论。
所谓罗素悖论其实很多人都耳熟能详,就是那个:我给岛上所有人不给自己刮脸的人刮脸,我也只给这些人刮脸。那么,理发师是否给自己刮脸呢?如果他不给自己刮脸,他就属于“不给自己刮脸的人”,他就要给自己刮脸。而如果他给自己刮脸呢?他又属于“给自己刮脸的人”,他就不该给自己刮脸。
也就是说,作为一个函数,理发师可以处理其他人,但是当他“自己调用自己”的时候,就陷入了两难的困境。
这和ID越小丙提出的“后面这句话是假的,前面这句话是真的”一样,全都会陷入一个无法判断的悖论之中。
可这种问题只是纯数学问题,在现实中理发师大可不管这个问题,痛快的给自己刮个脸。而越小丙提出的这个问题,既然无法判断,那我们大可置之脑后。因为只要有人类的智力就能知道,这个问题毫无意义。
在人工智能大发展之前,侯世达曾经的历史上,人们就已经解决了这个问题。之所以递归调用会出现无法判断的悖论困境,最根本原因是计算机太过死板、极不灵活,而且绝对的照章办事。
对于计算机来说,它使用规则、遵守规则,但却无法操纵规则。人类能够比计算机智力更高,一个原因就是,我们能够灵活的处理“规则”。
侯世达脑海里只是将这些内容恍惚间过了一遍,实际上递归调用的解决办法早就已经深植他的脑海。
大师兄:很简单,递归出现悖论的根本,是因为没有规则之上的规则。想避免这种情况发生,只要给规则设置规则就行了。
越小丙:规则的规则?
小寒:似乎有些道理,大师兄能否详细说说?
乌木:我好像有点一语惊醒梦中人!好久没有这种朝闻道的感觉了!
侯世达嘴角上翘露出一丝笑容,他上辈子打死自己也不敢想象,罗汉堂内堂的精英们竟然会有一天像小学生一样向自己请教。
要知道今天他们讨论的东西可不是什么编程技巧,而是像越小丙之前所说的那样,是程序编写标准化的一部分。可以想象,能够讨论这种东西的人背后,不是有着极高的地位,就是占据了关键的位置。
今天他随口一句,说不定明天就会成为行业规范。这就是罗汉堂内堂的魅力,在这里互相交流和智力激荡的对象,没有一个会是平凡人。
大师兄:比如说越小丙的这句,“后面这句话是假的,前面这句话是真的”。如果它的上面有一个“元规则”,也就是定义规则的规则,那么这个悖论就是不成立的。我们完全可以规定,递归调用只能调用自身低层次规则,而不能对自身规则做调用。
这句话的前半句定义了后半句,这在规则上来说,它应该是高级规则。既然如此,后半句作为规则本身就不能再调用前半句。当出现这种互相调用的情况,元规则就可以对递归调用进行判断,如果出现不符合元规则的悖论,那干脆就放弃这次调用。
……
侯世达说的这些不过是曾经的历史上相当浅显的内容,罗素悖论实际上早在20世纪初就已经在数学上提出了解决的办法。可是对于这个重生之后的软件行业来说,却是有些让人振聋发聩。
他关于递归调用的处理方式发送完了半天,聊天室里竟然都没有人说一句话。
当然不是他写的内容别人不感兴趣,这从聊天室突然开始急剧增加的在线人数就能看得出来。而是许多看了聊天内容的人,都还在仔细的思考这里面蕴含的道理。要想提问和讨论,他们至少要先弄懂这套理论吧?
越小丙:我需要冷静一下,这个说法似乎是可行的,我要冷静冷静。
显然他已经有些语无伦次了,元规则、规则体系,这在应用中未必没有先例。但还是那句话,像侯世达这样能够归纳总结出来的,这还是第一次。若非是没有理论支撑,越小丙也不会在广泛应用的前提下,还要坚持对递归调用做出限制。
而侯世达提出的这个理论,显然是解决了她面临的这个问题。可即使是罗汉堂内堂,能够开创理论的人也是凤毛麟角。
就在这时,聊天室里一个红色名字的ID突然冒了出来。侯世达眼前一亮,红色ID,这时罗汉堂内堂最高评议会成员的待遇啊。
云中仙客:哈哈哈哈,不愧是碎伤推荐入会的成员,真是让人大开眼界!
碎伤:我也只是举手之劳,大师兄本来要参加罗汉堂征文,只不过正巧我作为审稿人。若是换了别人,我相信也会做出和我一样的选择。
赤旗插遍寰宇:我已经拜读过他的那篇《不确定推理中的模糊逻辑》,真是一篇奇文!也只有能写出这样论文的人,才能这么轻易就解决了递归调用的悖论吧。
团长:开创一个新的领域,不愧我们召开最高评议会通过他的申请啊!
原本因为最高评议会巨头出现而销声匿迹的普通成员们,这时也耐不住心中的好奇了。原本以为侯世达只是一个普通的新人而已,碰巧在递归调用的问题上有点积累,哪想竟然来历这么不平凡!
最高评议会审核、论文开创一个新的领域,这样的评价可不常出现在罗汉堂内堂!
而每一个获得这种殊荣的人,最后莫不都是成为了让人仰视的行业巨擘!哪怕是在最高评议会里,有这种成就的成员也就是一手之数。
小寒:大师兄的论文开创了一个新的领域?这我要仔细拜读一番,相信定然非同凡响。
团长:何止是非同凡响,大师兄的论文提出了一个人工智能的方向。也就是让程序拥有人类的智力水平,让人大开眼界!
越小丙:计算机拥有人类智力?这怎么可能!不对……他处理递归调用问题,似乎就是在模仿人类处理类似问题的方式!
云中仙客:我建议手头宽裕的仙客营成员,都去阅读一下这篇论文,会很受启发。
侯世达本来被这一群大佬跑出来大夸一番还很不好意思,但这时却敏锐的抓住了云中仙客的这句话。从云中仙客的话里,这“仙客营”似乎是一个组织?而这云中仙客应该是这个组织里地位很高的人,起码他能发号施令。
罗汉堂内堂之中,竟然有还有其他的组织吗?
不等侯世达想明白,他的电脑里突然就开始叮咚叮咚的响个不停。在聊天室上方的用户状态栏上,短信息的提示数字突然开始了疯涨。
他忙不迭的点开收件箱,里面整齐划一的短消息全都是:您的论文已被订阅,请查收LB收入。
侯世达看了看屏幕的右上角,在这样短的时间里,他的LB竟然就涨到了8个,而且还在继续不停的增长着。
侯世达看着转瞬就上了两位数的LB,再想到论文库里那浩如烟海的论文数量,不由得搓了搓手。前进的道路还很长,他终于是有收入的人了!
不够啊!侯世达摸着下巴想到,要想通过罗汉堂内堂的力量突破中动软件的封锁,这么一点LB根本济不得什么事情。要想打动内堂这些掌握庞大资源的成员,非得有让人无法拒绝的优势才行。
不过这一切都还不能急,仅仅这两天时间事件在网上仍然处于传播酝酿期,还不到点火的时候。
就在侯世达摩拳擦掌,准备去论文库里大肆翻检一番的时候,寝室门外却响起了敲门声。
“谁?”
侯世达愣了一下,有些紧张的问道。罗汉堂内堂不是什么犯罪组织,甚至在行业里还很是赫赫有名。
但在实际上,大家却一致的保持着这个身份的神秘感。线上使用非实名的方式交流,线下也极少有人会到处传播自己加入了罗汉堂内堂。潜规则之下,似乎只有混的最惨的成员,才会打着罗汉堂内堂的招牌去混个“高薪”。
一直憧憬罗汉堂内堂的侯世达,当然对这种潜规则非常了解,从心底里也不想让自己罗汉堂内堂成员的身份曝光。
他关掉了罗汉堂内堂的网页,皱着眉头向门口走去。啪嗒一声将门拉开,侯世达意外的看到竟然是贾厚伟站在门前。
“贾厚伟?”侯世达很有些惊讶,他以为昨天之后贾厚伟能够消停一段时间呢。两人之间的打赌其实没啥约束力,他要是一心想赖账,侯世达其实也不打算真的去采取什么措施。
只要贾厚伟能看到自己躲远点,这个赌其实就算是达到目的了。然而没想到,自己竟然碰上了这么一个赖皮脸,他今天还敢出现在自己面前。
贾厚伟站在侯世达寝室的门口,脸色有些难看。他手上拿着一张纸,啪的一声拍在了侯世达的手上,说道。
“创业教室的申请表,我贾厚伟可是说到做到了!”
侯世达看着转身快步回去自己寝室的贾厚伟,不由得笑了一笑。这人,多少还是有些可爱之处嘛。