第十七章
遞歸調(diào)用的問題并非僅僅只是一個編程技巧的問題,羅漢堂內(nèi)堂的這些精英們,誰也不會覺得自己寫出來的程序會產(chǎn)生死循環(huán)這種低級錯誤。
但是當一個很平常的技巧,一旦上升到數(shù)據(jù)結(jié)構(gòu)和軟件架構(gòu)的問題時,突然間就露出了它猙獰的面孔。
而這些羅漢堂內(nèi)堂的精英們,研究的也早就不是一段具體的程序要怎么編寫,而是更加看重指導程序編寫的思想。
在遞歸調(diào)用中隱藏著一個會威脅到整個數(shù)學體系的危險,這個危險就是羅素悖論。
所謂羅素悖論其實很多人都耳熟能詳,就是那個:我給島上所有人不給自己刮臉的人刮臉,我也只給這些人刮臉。那么,理發(fā)師是否給自己刮臉呢?如果他不給自己刮臉,他就屬于“不給自己刮臉的人”,他就要給自己刮臉。而如果他給自己刮臉呢?他又屬于“給自己刮臉的人”,他就不該給自己刮臉。
也就是說,作為一個函數(shù),理發(fā)師可以處理其他人,但是當他“自己調(diào)用自己”的時候,就陷入了兩難的困境。
這和ID越小丙提出的“后面這句話是假的,前面這句話是真的”一樣,全都會陷入一個無法判斷的悖論之中。
可這種問題只是純數(shù)學問題,在現(xiàn)實中理發(fā)師大可不管這個問題,痛快的給自己刮個臉。而越小丙提出的這個問題,既然無法判斷,那我們大可置之腦后。因為只要有人類的智力就能知道,這個問題毫無意義。
在人工智能大發(fā)展之前,侯世達曾經(jīng)的歷史上,人們就已經(jīng)解決了這個問題。之所以遞歸調(diào)用會出現(xiàn)無法判斷的悖論困境,最根本原因是計算機太過死板、極不靈活,而且絕對的照章辦事。
對于計算機來說,它使用規(guī)則、遵守規(guī)則,但卻無法操縱規(guī)則。人類能夠比計算機智力更高,一個原因就是,我們能夠靈活的處理“規(guī)則”。
侯世達腦海里只是將這些內(nèi)容恍惚間過了一遍,實際上遞歸調(diào)用的解決辦法早就已經(jīng)深植他的腦海。
大師兄:很簡單,遞歸出現(xiàn)悖論的根本,是因為沒有規(guī)則之上的規(guī)則。想避免這種情況發(fā)生,只要給規(guī)則設置規(guī)則就行了。
越小丙:規(guī)則的規(guī)則?
小寒:似乎有些道理,大師兄能否詳細說說?
烏木:我好像有點一語驚醒夢中人!好久沒有這種朝聞道的感覺了!
侯世達嘴角上翹露出一絲笑容,他上輩子打死自己也不敢想象,羅漢堂內(nèi)堂的精英們竟然會有一天像小學生一樣向自己請教。
要知道今天他們討論的東西可不是什么編程技巧,而是像越小丙之前所說的那樣,是程序編寫標準化的一部分。可以想象,能夠討論這種東西的人背后,不是有著極高的地位,就是占據(jù)了關鍵的位置。
今天他隨口一句,說不定明天就會成為行業(yè)規(guī)范。這就是羅漢堂內(nèi)堂的魅力,在這里互相交流和智力激蕩的對象,沒有一個會是平凡人。
大師兄:比如說越小丙的這句,“后面這句話是假的,前面這句話是真的”。如果它的上面有一個“元規(guī)則”,也就是定義規(guī)則的規(guī)則,那么這個悖論就是不成立的。我們完全可以規(guī)定,遞歸調(diào)用只能調(diào)用自身低層次規(guī)則,而不能對自身規(guī)則做調(diào)用。
這句話的前半句定義了后半句,這在規(guī)則上來說,它應該是高級規(guī)則。既然如此,后半句作為規(guī)則本身就不能再調(diào)用前半句。當出現(xiàn)這種互相調(diào)用的情況,元規(guī)則就可以對遞歸調(diào)用進行判斷,如果出現(xiàn)不符合元規(guī)則的悖論,那干脆就放棄這次調(diào)用。
……
侯世達說的這些不過是曾經(jīng)的歷史上相當淺顯的內(nèi)容,羅素悖論實際上早在20世紀初就已經(jīng)在數(shù)學上提出了解決的辦法??墒菍τ谶@個重生之后的軟件行業(yè)來說,卻是有些讓人振聾發(fā)聵。
他關于遞歸調(diào)用的處理方式發(fā)送完了半天,聊天室里竟然都沒有人說一句話。
當然不是他寫的內(nèi)容別人不感興趣,這從聊天室突然開始急劇增加的在線人數(shù)就能看得出來。而是許多看了聊天內(nèi)容的人,都還在仔細的思考這里面蘊含的道理。要想提問和討論,他們至少要先弄懂這套理論吧?
越小丙:我需要冷靜一下,這個說法似乎是可行的,我要冷靜冷靜。
顯然他已經(jīng)有些語無倫次了,元規(guī)則、規(guī)則體系,這在應用中未必沒有先例。但還是那句話,像侯世達這樣能夠歸納總結(jié)出來的,這還是第一次。若非是沒有理論支撐,越小丙也不會在廣泛應用的前提下,還要堅持對遞歸調(diào)用做出限制。
而侯世達提出的這個理論,顯然是解決了她面臨的這個問題??杉词故橇_漢堂內(nèi)堂,能夠開創(chuàng)理論的人也是鳳毛麟角。
就在這時,聊天室里一個紅色名字的ID突然冒了出來。侯世達眼前一亮,紅色ID,這時羅漢堂內(nèi)堂最高評議會成員的待遇啊。
云中仙客:哈哈哈哈,不愧是碎傷推薦入會的成員,真是讓人大開眼界!
碎傷:我也只是舉手之勞,大師兄本來要參加羅漢堂征文,只不過正巧我作為審稿人。若是換了別人,我相信也會做出和我一樣的選擇。
赤旗插遍寰宇:我已經(jīng)拜讀過他的那篇《不確定推理中的模糊邏輯》,真是一篇奇文!也只有能寫出這樣論文的人,才能這么輕易就解決了遞歸調(diào)用的悖論吧。
團長:開創(chuàng)一個新的領域,不愧我們召開最高評議會通過他的申請??!
原本因為最高評議會巨頭出現(xiàn)而銷聲匿跡的普通成員們,這時也耐不住心中的好奇了。原本以為侯世達只是一個普通的新人而已,碰巧在遞歸調(diào)用的問題上有點積累,哪想竟然來歷這么不平凡!
最高評議會審核、論文開創(chuàng)一個新的領域,這樣的評價可不常出現(xiàn)在羅漢堂內(nèi)堂!
而每一個獲得這種殊榮的人,最后莫不都是成為了讓人仰視的行業(yè)巨擘!哪怕是在最高評議會里,有這種成就的成員也就是一手之數(shù)。
小寒:大師兄的論文開創(chuàng)了一個新的領域?這我要仔細拜讀一番,相信定然非同凡響。
團長:何止是非同凡響,大師兄的論文提出了一個人工智能的方向。也就是讓程序擁有人類的智力水平,讓人大開眼界!
越小丙:計算機擁有人類智力?這怎么可能!不對……他處理遞歸調(diào)用問題,似乎就是在模仿人類處理類似問題的方式!
云中仙客:我建議手頭寬裕的仙客營成員,都去閱讀一下這篇論文,會很受啟發(fā)。
侯世達本來被這一群大佬跑出來大夸一番還很不好意思,但這時卻敏銳的抓住了云中仙客的這句話。從云中仙客的話里,這“仙客營”似乎是一個組織?而這云中仙客應該是這個組織里地位很高的人,起碼他能發(fā)號施令。
羅漢堂內(nèi)堂之中,竟然有還有其他的組織嗎?
不等侯世達想明白,他的電腦里突然就開始叮咚叮咚的響個不停。在聊天室上方的用戶狀態(tài)欄上,短信息的提示數(shù)字突然開始了瘋漲。
他忙不迭的點開收件箱,里面整齊劃一的短消息全都是:您的論文已被訂閱,請查收LB收入。
侯世達看了看屏幕的右上角,在這樣短的時間里,他的LB竟然就漲到了8個,而且還在繼續(xù)不停的增長著。
侯世達看著轉(zhuǎn)瞬就上了兩位數(shù)的LB,再想到論文庫里那浩如煙海的論文數(shù)量,不由得搓了搓手。前進的道路還很長,他終于是有收入的人了!
不夠??!侯世達摸著下巴想到,要想通過羅漢堂內(nèi)堂的力量突破中動軟件的封鎖,這么一點LB根本濟不得什么事情。要想打動內(nèi)堂這些掌握龐大資源的成員,非得有讓人無法拒絕的優(yōu)勢才行。
不過這一切都還不能急,僅僅這兩天時間事件在網(wǎng)上仍然處于傳播醞釀期,還不到點火的時候。
就在侯世達摩拳擦掌,準備去論文庫里大肆翻檢一番的時候,寢室門外卻響起了敲門聲。
“誰?”
侯世達愣了一下,有些緊張的問道。羅漢堂內(nèi)堂不是什么犯罪組織,甚至在行業(yè)里還很是赫赫有名。
但在實際上,大家卻一致的保持著這個身份的神秘感。線上使用非實名的方式交流,線下也極少有人會到處傳播自己加入了羅漢堂內(nèi)堂。潛規(guī)則之下,似乎只有混的最慘的成員,才會打著羅漢堂內(nèi)堂的招牌去混個“高薪”。
一直憧憬羅漢堂內(nèi)堂的侯世達,當然對這種潛規(guī)則非常了解,從心底里也不想讓自己羅漢堂內(nèi)堂成員的身份曝光。
他關掉了羅漢堂內(nèi)堂的網(wǎng)頁,皺著眉頭向門口走去。啪嗒一聲將門拉開,侯世達意外的看到竟然是賈厚偉站在門前。
“賈厚偉?”侯世達很有些驚訝,他以為昨天之后賈厚偉能夠消停一段時間呢。兩人之間的打賭其實沒啥約束力,他要是一心想賴賬,侯世達其實也不打算真的去采取什么措施。
只要賈厚偉能看到自己躲遠點,這個賭其實就算是達到目的了。然而沒想到,自己竟然碰上了這么一個賴皮臉,他今天還敢出現(xiàn)在自己面前。
賈厚偉站在侯世達寢室的門口,臉色有些難看。他手上拿著一張紙,啪的一聲拍在了侯世達的手上,說道。
“創(chuàng)業(yè)教室的申請表,我賈厚偉可是說到做到了!”
侯世達看著轉(zhuǎn)身快步回去自己寢室的賈厚偉,不由得笑了一笑。這人,多少還是有些可愛之處嘛。