手机浏览器扫描二维码访问
第十七章
递归调用的问题并非仅仅只是一个编程技巧的问题,罗汉堂内堂的这些精英们,谁也不会觉得自己写出来的程序会产生死循环这种低级错误。@頂@点@小@说,.23wx.
但是当一个很平常的技巧,一旦上升到数据结构和软件架构的问题时,突然间就露出了它狰狞的面孔。
而这些罗汉堂内堂的精英们,研究的也早就不是一段具体的程序要怎么编写,而是更加看重指导程序编写的思想。
在递归调用中隐藏着一个会威胁到整个数学体系的危险,这个危险就是罗素悖论。
所谓罗素悖论其实很多人都耳熟能详,就是那个:我给岛上所有人不给自己刮脸的人刮脸,我也只给这些人刮脸。那么,理发师是否给自己刮脸呢?如果他不给自己刮脸,他就属于“不给自己刮脸的人”,他就要给自己刮脸。而如果他给自己刮脸呢?他又属于“给自己刮脸的人”,他就不该给自己刮脸。
也就是说,作为一个函数,理发师可以处理其他人,但是当他“自己调用自己”的时候,就陷入了两难的困境。
这和id越小丙提出的“后面这句话是假的,前面这句话是真的”一样,全都会陷入一个无法判断的悖论之中。
可这种问题只是纯数学问题,在现实中理发师大可不管这个问题,痛快的给自己刮个脸。而越小丙提出的这个问题,既然无法判断,那我们大可置之脑后。因为只要有人类的智力就能知道,这个问题毫无意义。
在人工智能大发展之前,侯世达曾经的历史上,人们就已经解决了这个问题。之所以递归调用会出现无法判断的悖论困境,最根本原因是计算机太过死板、极不灵活,而且绝对的照章办事。
对于计算机来说,它使用规则、遵守规则,但却无法操纵规则。人类能够比计算机智力更高,一个原因就是,我们能够灵活的处理“规则”。
侯世达脑海里只是将这些内容恍惚间过了一遍,实际上递归调用的解决办法早就已经深植他的脑海。
大师兄:很简单,递归出现悖论的根本,是因为没有规则之上的规则。想避免这种情况发生,只要给规则设置规则就行了。
越小丙:规则的规则?
小寒:似乎有些道理,大师兄能否详细说说?
乌木:我好像有点一语惊醒梦中人!好久没有这种朝闻道的感觉了!
侯世达嘴角上翘露出一丝笑容,他上辈子打死自己也不敢想象,罗汉堂内堂的精英们竟然会有一天像小学生一样向自己请教。
要知道今天他们讨论的东西可不是什么编程技巧,而是像越小丙之前所说的那样,是程序编写标准化的一部分。可以想象,能够讨论这种东西的人背后,不是有着极高的地位,就是占据了关键的位置。
今天他随口一句,说不定明天就会成为行业规范。这就是罗汉堂内堂的魅力,在这里互相交流和智力激荡的对象,没有一个会是平凡人。
大师兄:比如说越小丙的这句,“后面这句话是假的,前面这句话是真的”。如果它的上面有一个“元规则”,也就是定义规则的规则,那么这个悖论就是不成立的。我们完全可以规定,递归调用只能调用自身低层次规则,而不能对自身规则做调用。
这句话的前半句定义了后半句,这在规则上来说,它应该是高级规则。既然如此,后半句作为规则本身就不能再调用前半句。当出现这种互相调用的情况,元规则就可以对递归调用进行判断,如果出现不符合元规则的悖论,那干脆就放弃这次调用。
……
侯世达说的这些不过是曾经的历史上相当浅显的内容,罗素悖论实际上早在20世纪初就已经在数学上提出了解决的办法。可是对于这个重生之后的软件行业来说,却是有些让人振聋发聩。
他关于递归调用的处理方式发送完了半天,聊天室里竟然都没有人说一句话。
当然不是他写的内容别人不感兴趣,这从聊天室突然开始急剧增加的在线人数就能看得出来。而是许多看了聊天内容的人,都还在仔细的思考这里面蕴含的道理。要想提问和讨论,他们至少要先弄懂这套理论吧?
越小丙:我需要冷静一下,这个说法似乎是可行的,我要冷静冷静。
显然他已经有些语无伦次了,元规则、规则体系,这在应用中未必没有先例。但还是那句话,像侯世达这样能够归纳总结出来的,这还是第一次。若非是没有理论支撑,越小丙也不会在广泛应用的前提下,还要坚持对递归调用做出限制。
而侯世达提出的这个理论,显然是解决了她面临的这个问题。可即使是罗汉堂内堂,能够开创理论的人也是凤毛麟角。
就在这时,聊天室里一个红色名字的id突然冒了出来。侯世达眼前一亮,红色id,这时罗汉堂内堂最高评议会成员的待遇啊。
云中仙客:哈哈哈哈,不愧是碎伤推荐入会的成员,真是让人大开眼界!
重生七零小娇娇,最猛糙汉不禁撩 我在烂尾楼当包租婆 都市之仙尊纵横 巨星从直播跟天后PK开始 怎么会有那么强的超能力 折春娇 不败仙医 重生91火红年代 仙境升级传说 异体天王 斗罗:开局与千仞雪分手 死神垂钓 破灭天道 从颠覆水浒开始 末世大佬重生,全星际跪求她种田 报告,我重生啦! 满级大佬重回新手村后 在下刘庇 出狱后,单身妈咪轰动全球 登顶全球:我真的不是天才
林晼瑜和白晔上辈子一起在孤儿院相依为命长大,因为鬼差勾错人,他们死在车祸里。他们从结婚到离世当了十年的房贷负债人,生活刚有起色,就阴差阳错的去到地府,投胎成两个出生在1925年的资本家后代。他们在那个特殊的年代利用先机,抓住机会,慢慢接近权力,收获财富,带着家族成为国内顶级的豪门世家,福泽子嗣。不下乡本文男女主角出...
本书简介 过激宰厨檀真昼死了,但,又活了。因为上辈子活的很够本,从三次元降格到二次元的他对新人生没有一点指望,直到看到邻居家黑发鸢眼的小男孩。!!!颤抖吧!氧化腐朽的世界!从今天起,他要为守护爱豆而战!太宰有个幼驯染,只比他大一天,名叫檀真昼。檀真昼六岁之前没说过一句话,第一次开口就是问他早上好,入水吗?太宰您有事吗?我才六岁!转生成太宰的幼驯染之后全文免费阅读,如果您喜欢转生成太宰的幼驯染之后陈免免最新章节,请分享给您的好友一起来免费阅读。魔蝎小说...
纯cf端游,非电竞游戏融入现实杀伐果断无敌轻松信息断层壕无人性花样整活,秀翻全场!清朝老兵苏良因为玩穿越火线时过度‘兴’奋。穿越平行世界,cf游戏世界中。这个世界与蓝星高度融合,只是所有的生活旋律都围绕着cf旋转。人们通过日常工作赚取GP购买枪械,进入‘地图’探索猎杀幽灵获取更多的武器和财富!苏良初来乍到发现自己穿越到了一个同名同姓的废材身上。然而,他无意发现自己的妹妹居然是葵,邻家青梅姐姐是传说女帝!随后,更炸裂的来了!系统冷不丁绑定,一个熟悉又陌生的仓库界面弹出他,居然带来了穿越前的满级大号!正当苏良无敌之时,幕后黑暗势力妄图毁掉整个位面。秩序崩溃,苍生泣血!苏良却忽然瞥见了仓库中尘封已久的外挂捆绑包。一尊尊恐怖神明降临cf世界,那一条条蔓延到世界尽头的长长血条令世人窒息。苏良却咧嘴一笑。世界都要毁灭了,我小小开个外挂不过份吧?说完身后王者军火库洞开,亲手上演诸神黄昏!(要收很多女配,生活已经很累了,大伙别那么较真)简介无力,请各位老兵移步正文...
关于60年代,饥荒年,赶山挖百年参张汉水穿越到60年代的长白山下,在这个缺衣少食,闹饥荒的年代,有钱也难买到粮,但有粮绝对NO1。有粮在手,什么都有,有空间,传承『医经』还懂医术,以物换物,赶山挖野菜,采蘑菇,下河抓鱼摸虾,挖百年人参,打猎,在现代与过去实现财富自由,成为首富。...
两年婚姻,金泽以为自己找到了传说中的真爱,但是当他得知自己患上癌症时,看清楚了身边最亲近的人的嘴脸,毅然而然的选择了离婚,就在他刚拿到离婚证的时候,叮!恭喜宿主获得神农百草丹。叮!恭喜宿主获得10倍返现卡。叮!恭喜宿主获得帕加尼风神Huayra。叮叮叮叮叮停停停,你这系统有点逆天啊?叮!恭喜宿主,您已成功觉醒逆...
关于金枷玉链楚阳郡公沈谦有个秘密。他希望那个因一纸荒唐赐婚而被迫和他绑在一起的长公主李念,能为了自己心中所想所爱的一切,翻出宫墙,远走高飞。天下那般大,四海那般宽广,出了深深宫墙,花亦会绚烂,树亦会挺拔。他愿意默默站在远处,成全她想要的未来。不是因为爱。是因为知道宅院幽深,是磋磨女人半生的沙海,宫墙高耸,是埋人尸骨不留痕迹的坟墓。她有想要高飞的愿望,为何不能成全?明明心有山海,知天下规则是胜利者践踏别人的枷锁。明明聪慧过人,知女子当做世间半边天下。她不该是上位者的工具,联姻的棋子,更不该在这权力置换中,被牺牲掉所有的幸福。不就是逃婚么?我沈谦,陪她疯一场!欺君之罪又如何?抗旨不尊又怎样?只愿她此生得上天垂怜,看世间美好,踏山海万重。所愿一切皆能实现!...