第十七章

    遞歸調用的問題並非僅僅隻是一個編程技巧的問題，羅漢堂內堂的這些精英們，誰也不會覺得自己寫出來的程序會產生死循環這種低級錯誤。

    但是當一個很平常的技巧，一旦上升到數據結構和軟件架構的問題時，突然間就露出了它猙獰的麵孔。

    而這些羅漢堂內堂的精英們，研究的也早就不是一段具體的程序要怎編寫，而是更加看重指導程序編寫的思想。

    在遞歸調用中隱藏著一個會威脅到整個數學體係的危險，這個危險就是羅素悖論。

    所謂羅素悖論其實很多人都耳熟能詳，就是那個：我給島上所有人不給自己刮臉的人刮臉，我也隻給這些人刮臉。那，理發師是否給自己刮臉呢？如果他不給自己刮臉，他就屬於“不給自己刮臉的人”，他就要給自己刮臉。而如果他給自己刮臉呢？他又屬於“給自己刮臉的人”，他就不該給自己刮臉。

    也就是，作為一個函數，理發師可以處理其他人，但是當他“自己調用自己”的時候，就陷入了兩難的困境。

    這和id越丙提出的“後麵這句話是假的，前麵這句話是真的”一樣，全都會陷入一個無法判斷的悖論之中。

    可這種問題隻是純數學問題，在現實中理發師大可不管這個問題，痛快的給自己刮個臉。而越丙提出的這個問題，既然無法判斷，那我們大可置之腦後。因為隻要有人類的智力就能知道，這個問題毫無意義。

    在人工智能大發展之前，侯世達曾經的曆史上，人們就已經解決了這個問題。之所以遞歸調用會出現無法判斷的悖論困境，最根本原因是計算機太過死板、極不靈活，而且絕對的照章辦事。

    對於計算機來，它使用規則、遵守規則，但卻無法操縱規則。人類能夠比計算機智力更高，一個原因就是，我們能夠靈活的處理“規則”。

    侯世達腦海隻是將這些內容恍惚間過了一遍，實際上遞歸調用的解決辦法早就已經深植他的腦海。

    大師兄：很簡單，遞歸出現悖論的根本，是因為沒有規則之上的規則。想避免這種情況發生，隻要給規則設置規則就行了。

    越丙：規則的規則？

    寒：似乎有些道理，大師兄能否詳細？

    烏木：我好像有點一語驚醒夢中人！好久沒有這種朝聞道的感覺了！

    侯世達嘴角上翹露出一絲笑容，他上輩子打死自己也不敢想象，羅漢堂內堂的精英們竟然會有一像學生一樣向自己請教。

    要知道今他們討論的東西可不是什編程技巧，而是像越丙之前所的那樣，是程序編寫標準化的一部分。可以想象，能夠討論這種東西的人背後，不是有著極高的地位，就是占據了關鍵的位置。

    今他隨口一句，不定明就會成為行業規範。這就是羅漢堂內堂的魅力，在這互相交流和智力激蕩的對象，沒有一個會是平凡人。

    大師兄：比如越丙的這句，“後麵這句話是假的，前麵這句話是真的”。如果它的上麵有一個“元規則”，也就是定義規則的規則，那這個悖論就是不成立的。我們完全可以規定，遞歸調用隻能調用自身低層次規則，而不能對自身規則做調用。

    這句話的前半句定義了後半句，這在規則上來，它應該是高級規則。既然如此，後半句作為規則本身就不能再調用前半句。當出現這種互相調用的情況，元規則就可以對遞歸調用進行判斷，如果出現不符合元規則的悖論，那幹脆就放棄這次調用。

    ……

    侯世達的這些不過是曾經的曆史上相當淺顯的內容，羅素悖論實際上早在0世紀初就已經在數學上提出了解決的辦法。可是對於這個重生之後的軟件行業來，卻是有些讓人振聾發聵。

    他關於遞歸調用的處理方式發送完了半，聊室竟然都沒有人一句話。

    當然不是他寫的內容別人不感興趣，這從聊室突然開始急劇增加的在線人數就能看得出來。而是許多看了聊內容的人，都還在仔細的思考這麵蘊含的道理。要想提問和討論，他們至少要先弄懂這套理論吧？

    越丙：我需要冷靜一下，這個法似乎是可行的，我要冷靜冷靜。

    顯然他已經有些語無倫次了，元規則、規則體係，這在應用中未必沒有先例。但還是那句話，像侯世達這樣能夠歸納總結出來的，這還是第一次。若非是沒有理論支撐，越丙也不會在廣泛應用的前提下，還要堅持對遞歸調用做出限製。

    而侯世達提出的這個理論，顯然是解決了她麵臨的這個問題。可即使是羅漢堂內堂，能夠開創理論的人也是鳳毛麟角。

    就在這時，聊室一個紅色名字的id突然冒了出來。侯世達眼前一亮，紅色id，這時羅漢堂內堂最高評議會成員的待遇啊。

    雲中仙客：哈哈哈哈，不愧是碎傷推薦入會的成員，真是讓人大開眼界！

    碎傷：我也隻是舉手之勞，大師兄本來要參加羅漢堂征文，隻不過正巧我作為審稿人。若是換了別人，我相信也會做出和我一樣的選擇。

    赤旗插遍寰宇：我已經拜讀過他的那篇《不確定推理中的模糊邏輯》，真是一篇奇文！也隻有能寫出這樣論文的人，才能這輕易就解決了遞歸調用的悖論吧。