第45章 網絡生命？

  祖文遠說：“這裏有個問題，讓重複信息減少是可以的。隻是這個冗餘是個什麽東西？”


  華羅說：“就是一個大家停下來之後，依舊做著強大運算的怪異東西。”


  祖文遠說：“這個東西怎麽用數學來表達呀？”


  華羅說：“聽說你們的自動證明機2.0已經可以使用，可以計算這個嗎？”


  祖文遠說：“網路冗餘這個命題需要用簡單的邏輯符號表示出來才可以做這個工作呢！”


  華羅說：“能不能把大斜邊計劃的構架用簡單邏輯符號表示出來，運算出這種冗餘？”


  吳俊說：“你可以找孔丘明那裏的人問問嗎？畢竟網絡是他們做出來的。”


  華羅說：“隻是我和他的領導不太一樣，會不會遭嫌疑？”


  吳俊說：“別亂想，那是他們高層的問題，你可是需要解決當下的問題呀。如果你解決不了淨化網絡的問題，你還得離開你的崗位。”


  華羅想了想有些道理，他馬上聯係夏商卜來討論，雖然夏商卜因為這個事情近期被孔丘明警告了，但是他沒有灰心，還是很興奮的積極來到咖啡屋。此刻是四個人開始討論這個問題了，他們跟夏商卜說了情況。


  夏商卜說：“我致力於想寫一個操作係統，可以為什麽會出現這些問題？這個我也想不出來。我甚至想用最簡單的方式來進行運算的。簡單到根本不想摻雜任何沒有用的東西。”


  華羅說：“你的操作界麵看起來確實是最簡化的，隻會有極為必要的簡單設置，除此以外沒有任何其他雜質。”


  吳俊說：“這個我知道，我們都用你的操作係統，都覺得很不錯，但是肯定有些東西產生問題了。是不是裏麵本身還是包含了你沒注意到的一些東西？操作係統畢竟要形成文件化管理。”


  夏商卜說：“不會的，你可以把我的操作係統比喻成一隻蟲子。”


  卡萊因覺得很有趣的笑著說：“那是什麽樣子？思路是什麽？”


  夏商卜把自己操作係統的靈感說成是一隻蟲子，夏商卜認為蟲子不會占地方，蟲子需要適應環境就行，操作係統跟蟲子一樣小。


  蟲，很簡單，不需要複雜的大腦，就能夠做最簡單直接的事情。


  自然界最先有蟲，蟲的適應能力很強，要求也不多，隻做簡單的求生。


  不同的蟲有各自不同的功能，而且還很強大，在對應的領域可以幹很多了不起的事情。


  蟲，其實也複雜，是生態協調自己的一個壓縮性的優化的一種係統。


  大自然想要變得很協調，不需要做很多複雜的改變，很多情況下僅僅需要一個簡單的蟲就可以去掉很多對生態不利的東西。


  蟲，可以解決人類的很多問題，行走，穩定的飛行，敏捷的反應能力，少生病等等。


  圖靈自然蟲可以做出很多大工程，但是原則很簡易，大工程也很係統，不是去每個不同的分工去構建。


  僅僅是讓蟲子去，讓它們自然的去，它們會自然的做好這個係統。不是一個個呆板的步驟，有很多種路徑可以完成它，所以它要完成的工程難以被阻止。


  我們需要向蟲學習，它的方法簡單而強大，節省空間不浪費，某個地方被破壞可以不影響全局，或者可以自動恢複。


  我們不去學習，不去創立一個複雜的學科，有問題，就讓蟲去解決，蟲子可以很好的解決問題，要學會控製它們。


  一個程序就是一條蟲子，一條很長的蟲子，計算機運算的變化就是蟲子內部的一維變化。或者是幾條蟲子。


  程序代碼的最高境界，就是壓縮力強，運行效率很高，類似在廣袤的空間中，似乎隻有一隻蟲子的蠕動。


  作為自然界中最偉大的兩個東西，蟲子和植物，它們之間有太多的聯係，更像是一個整體，或者互補。蟲子不能單獨為一個種類，應該其中還有各種分類。


  若分好之後，成了單元，考慮權重之後全部整合，之後又有了新問題，按新問題在分開單元，重新考慮所有權重。


  從理論上講，不可能分好所有係統的因子，也有做好自己沒有把握因素的心理準備，隻能是有一個就收集一個。


  聽完夏商卜的描述後，吳俊、華羅、祖文遠都很驚歎這樣的設計結構。


  吳俊想了想說：“那也是很簡單的簡單邏輯詞表示的，隻要做到跟以前電腦一樣那樣五髒俱全即可。”


  夏商卜說：“沒錯，其實就這麽簡單。”


  華羅說：“不可能呀，就這麽簡單難道還會出現冗餘。”


  祖文遠說：“等一下，一隻蟲子很簡單，幾隻蟲子也不難，但是蟲子多了，也分不同蟲子，而且蟲子與蟲子之間可以進化。而所以的這些問題，需要去找變量，因為因素太多，所以需要收集所能收集到的，每一個收集到的碎片都可能是一個重要變量。一個係統原來由那幾個變量組成，引入一個變量的話，或許原來的某些變量會廢除掉，或許會保留掉，如果廢除了，有保留的，那就隻是發生了一半的變化。若是全部廢除掉了，那就是發生了全部更新，若是經過幾次變化而又變回擁有原來變量的，那就是自我增加，或者回歸自我。一個係統隻要與其他係統，或其他變量發生聯係，我們就可以關聯起來，再看看係統是否發生變化。係統，變量，其他係統，這些鏈接可能由於語義不明會是混亂的。第一次畫鏈接圖，要自然提出自己知道的問題，然後看看每個問題是否能分解成子問題，是否能分解成無法分割的單元子問題，然後改進圖，一直改進到能夠考慮足夠多的問題，然後都分割成子問題即可。還要考慮圖與圖之間的鏈接性的權重，還考慮有些因子是否連接。可以把鏈接去掉，分開因子到單元，再看哪個可以相連。因子的參量就是是與否的二進製變量，就用布爾代數來表示，反因子會對係統也有影響，反因子是非單元的還是單元的，都應該考慮，若單元隻要是與否的情況，就去用。做了就會有出路。下來需要做的是，每個單元連好線，或者有的不連線，每一根線有權重，權重是否可以預測其變化和發展。之後就成了一套網絡圖，神經網絡係統，這套神經網絡係統是否可以預測出近下來的發展。以此預測房價的變化。有麻煩的地方是，有兩個因子直接連接是正向發展，布爾為1，但進行另外的間接的鏈接就成了總體的反向發展，布爾為0。能保證自己不被這種複雜性搞的混亂，需要從中進行思考，需要總結經驗。”


  祖文遠一邊說一邊拿著自動證明機2.0開始輸入自然蟲操作係統，之後再去證明簡單操作係統在網絡客戶端中是否有冗餘。


  吳俊說：“其實就是進化，蟲子進化成了人、猴子、老虎、大象等等這些沒用的東西。”


  自動證明機在四個人驚訝的目光中開始運算，發現機器已經停不下來了，四個人看著機器快速的跑了很久，不知道何時才會停下。


  夏商卜笑著問：“這就能說明確實有冗餘嗎？”


  吳俊說：“不好說，或許他跑這麽久能夠證明沒有冗餘。”


  夏商卜說：“不會證明幾千年才停下來吧，這個也能用我們的大斜邊係統去改造快一些。”


  吳俊說：“你的大斜邊已經出現問題，還要來禍害我的機器？”


  夏商卜說：“你的自動證明機的弱點是算的太慢，我們需要給他加快速度了。”