要知道今天他們討論的東西可不是什麼程式設計技巧,而是像越小丙之前所說的那樣,是程式編寫標準化的一部分。可以想象,能夠討論這種東西的人背後,不是有著極高的地位,就是佔據了關鍵的位置。
今天他隨口一句,說不定明天就會成為行業規範。這就是羅漢堂內堂的魅力,在這裡互相交流和智力激蕩的物件,沒有一個會是平凡人。
大師兄:比如說越小丙的這句,“後面這句話是假的,前面這句話是真的”。如果它的上面有一個“元規則”,也就是定義規則的規則,那麼這個悖論就是不成立的。我們完全可以規定,遞迴呼叫只能呼叫自身低層次規則,而不能對自身規則做呼叫。
這句話的前半句定義了後半句,這在規則上來說,它應該是高階規則。既然如此,後半句作為規則本身就不能再呼叫前半句。當出現這種互相呼叫的情況,元規則就可以對遞迴呼叫進行判斷,如果出現不符合元規則的悖論,那幹脆就放棄這次呼叫。
……
侯世達說的這些不過是曾經的歷史上相當淺顯的內容,羅素悖論實際上早在20世紀初就已經在數學上提出瞭解決的辦法。可是對於這個重生之後的軟體行業來說,卻是有些讓人振聾發聵。
他關於遞迴呼叫的處理方式傳送完了半天,聊天室裡竟然都沒有人說一句話。
當然不是他寫的內容別人不感興趣,這從聊天室突然開始急劇增加的線上人數就能看得出來。而是許多看了聊天內容的人,都還在仔細的思考這裡面蘊含的道理。要想提問和討論,他們至少要先弄懂這套理論吧?
越小丙:我需要冷靜一下,這個說法似乎是可行的,我要冷靜冷靜。
顯然他已經有些語無倫次了,元規則、規則體系,這在應用中未必沒有先例。但還是那句話,像侯世達這樣能夠歸納總結出來的,這還是第一次。若非是沒有理論支撐,越小丙也不會在廣泛應用的前提下,還要堅持對遞迴呼叫做出限制。
而侯世達提出的這個理論,顯然是解決了她面臨的這個問題。可即使是羅漢堂內堂,能夠開創理論的人也是鳳毛麟角。
就在這時,聊天室裡一個紅色名字的id突然冒了出來。侯世達眼前一亮,紅色id,這時羅漢堂內堂最高評議會成員的待遇啊。
雲中仙客:哈哈哈哈,不愧是碎傷推薦入會的成員,真是讓人大開眼界!
碎傷:我也只是舉手之勞,大師兄本來要參加羅漢堂徵文,只不過正巧我作為審稿人。若是換了別人,我相信也會做出和我一樣的選擇。
赤旗插遍寰宇:我已經拜讀過他的那篇《不確定推理中的模糊邏輯》,真是一篇奇文!也只有能寫出這樣論文的人,才能這麼輕易就解決了遞迴呼叫的悖論吧。
團長:開創一個新的領域,不愧我們召開最高評議會透過他的申請啊!
原本因為最高評議會巨頭出現而銷聲匿跡的普通成員們,這時也耐不住心中的好奇了。原本以為侯世達只是一個普通的新人而已,碰巧在遞迴呼叫的問題上有點積累,哪想竟然來歷這麼不平凡!
最高評議會審核、論文開創一個新的領域,這樣的評價可不常出現在羅漢堂內堂!
而每一個獲得這種殊榮的人,最後莫不都是成為了讓人仰視的行業巨擘!哪怕是在最高評議會裡,有這種成就的成員也就是一手之數。
小寒:大師兄的論文開創了一個新的領域?這我要仔細拜讀一番,相信定然非同凡響。
團長:何止是非同凡響,大師兄的論文提出了一個人工智慧的方向。也就是讓程式擁有人類的智力水平,讓人大開眼界!