侯世达嘴角上翘露出一丝笑容,他上辈子打死自己也不敢想象,罗汉堂内堂的精英们竟然会有🐭🃃一🛓🛹♬天像小学生一样向自己请教。
要知道今天他们讨论的东西可不是什么编程技巧,而是像越小丙之前所说的那样,是程序编写标准化的一部分。可⚙👲🌮以🄅🞝🕋想象,能够讨⛮🝱🏀论这种东西的人背后,不是有着极高的地位,就是占据了关键的位置。
今天他随口一句,说不定明天就会成为行业规范。🐁这🇸🝙就是罗汉堂内堂的魅力,在这里互相交流和智力激荡的对象,没有一个会是平凡人。
大师兄:比如说越小丙的这句,“后面这句话是假的,前面这句话是真的”。如果它的上面有一个“元规则🚑”,也就是定义规则的规则,那么这个悖论就是不成立的。我们完全可以规定,递归调用只能调用自身低层次规则,而不能对自身规则做调用。
这句话的前半句定义了后半句,这在规则上来说,它应该是高级规则。既然如此,后半句作为规则本身就不能再调用前半句。当出现这种互相调用的情况,元规则就可以对递归调用进行判断,如果出现不符合元规则的悖论,那干脆就放🜹🖂弃这次调用。
……
侯世达说的这些不过是曾经的历史上相当浅显的内容,罗素悖论实际上早在20世纪初就已经在数学上提出了解决的办法。可是对⛮🝱🏀于这个重生之后的软件行业来说,却是有些让人振聋发聩。
他关于递归调用的处理方式发送完了半天,聊天室🐁里竟然都没有人说一句话。
当然不是他写的内容别人不感兴趣,这从聊天室突然开始急剧增加的在线人数就能看得出来。而是许多看了聊天内容🄅🞝🕋的人,都还在仔细的思考这里面蕴含的道理。要想提问和讨论,他们至少要先弄懂这套🐛理论吧?
越小丙:我需要冷静一下,这个说法似乎是可行的🐁,我要冷静冷静。
显然他已经有些语无伦次了,元规则、规🃃🕄则体系,这在应🁣🚥用中未必没有先例。但还是那句话,像侯世达这样能够归纳总结出来的,这还是第一次。若非是没有理论支撑,越🔽🆉🍮小丙也不会在广泛应用的前提下,还要坚持对递归调用做出限制。
而侯世达提出的这个理论,显🁀然是解决了她面🚺临的这个问题。可即使是罗汉堂内堂,能够开创理论的人也是凤毛麟角。
就在这时,聊天室里一个红色名字🃏的突然🃃🕄冒了出来。侯世达眼前一亮,红色,这时🚓罗汉堂内堂最高评议会成员的待遇啊。
云中仙客🍪:哈哈哈哈,不愧是碎伤推荐入会的成员,真是让人大开眼界!
碎伤:我也只是举手之劳,大师兄本来要参加罗汉堂征文,只不过正巧我作为审稿人。若是换了别人,我相信也🚬会做出和我一样的选择。
赤旗插遍寰宇:我已经拜读过🁀他的那篇《不确定推理中的模🈻🃝糊逻辑》,真是一篇奇文!也只有能写出这样论文的人,才能这么轻易就解决了递归调用的悖论吧。