第176章 自動機

  吉妮說：“那你就是物理學的了。我接觸過關於心髒的悸動就有這方麵的研究，你也熟悉嗎？”


  祖文遠說：“我知道，他們借助的是對人體輸送不同鹽來研究心髒肌肉的變化，貌似結果還不理想。”


  吉妮說：“你能夠熟練的計算非整數的微分計算嗎？”


  祖文遠說：“做過幾個，就是太困難了。你要是高興的的話，我可以給你看幾個成果。”


  祖文遠說著腦子裏並不是非整數微分的問題，反而是覺得自己在表示代數數這個領域上有了一些非凡的突破。除了加減乘除、根號、三角函數、連分式以外，還有一種可以表示許多其他領域代數數的一些符號。這些符號也是從群論這個最原始的出發點裏推演出來的，依舊符合群論的推演。


  吉妮看到祖文遠發呆，問道：“電磁學或許會應用到非整數微分方麵的學問，那肯定是跟電磁方程有些區別的。”


  祖文遠說：“哪種電磁方程，用什麽形式寫出？”


  吉妮笑著說：“你隻是一個運氣不錯的人罷了，沒有真正的真才實學，連電磁方程都不會還好意思說自己做物理。”


  祖文遠沒回答，隻是發著呆，突然在想自己做的關於對於基因的解讀上麵的技術難題讓自己已經十分頭疼，就更別說是癌症區域基金的解讀，在技術上就是一個巨大的方法問題，或者也包含了複雜的數學問題。眼前這個都說不清是幹什麽的人更不會幫上自己什麽忙。自己僅僅是腦子空白的呡一口咖啡。


  吉妮子說：“對於基因編輯係統，我們現在已經具備了一定的控製能力，能用不能用，還是一個道德問題，畢竟還是沒有幾個人願意做試驗品。隻能看到幾隻長生不老的老鼠。聽人說有人秘密的進行過這些實驗，不知道是不是真的。”


  祖文遠發呆，沒有回答問題。兩個人喝過咖啡後，匆匆離開。


  下午吳俊找到了祖文遠，問：“感覺怎麽樣？”


  祖文遠說：“沒有任何感覺，估計不成。”


  吳俊說：“你得主動點呀，她人還不錯，還是一個很厲害的生物學家。”


  祖文遠說：“人家不答應，主動也勞神。”


  吳俊說：“感情是自己談的，我隻能幫到這裏了。”


  祖文遠說：“自己的狀態不在這裏，腦子裏還在想亂七八糟的事情。”


  吳俊說：“你是學非線性物理的，把你轉進自動證明機這個領域對你來說也是個折磨吧。”


  祖文遠說：“那倒是沒關係，我覺得挺有意思，雖然幫不上什麽大忙，但是也能學點東西，而且還可以看看相互之間是不是可以借鑒些什麽東西。”


  吳俊說話間從口袋裏拿出筆和紙，一遍說話一遍畫著一些圖案。


  吳俊說：“前十年我們公司製作一台機器證明1.0，能看一個命題是否可以證明。讀懂命題是一件十分重要的事情。命題都要集合化，用一階、二階邏輯謂詞來看看。”


  祖文遠說：“你能把猜想定理也用一階邏輯謂詞表示出來？”


  吳俊說：“我們把許多定理和公理用一階邏輯謂詞表示出來。許多一階邏輯謂詞的表述可以表述成各種數學定理，環語言可以進行擴張加映射。”


  祖文遠說：“簡化計算的工作麻煩嗎？”


  吳俊說：“不增加其他形式的計算，不會在其他情況出現簡單的行為。所以沒有所謂的簡化工作。”


  祖文遠說：“可以計算所有的有理數域？”


  吳俊說：“很簡單，有理數可以被整數環有限擴張映射出來。”


  祖文遠說：“能作出自動機的關鍵是什麽？”


  吳俊說：“這就是五年前的第二台機器證明2.0，能把可證明的命題給證明出來。隻是雜亂的邏輯謂詞小定理的繁複堆積，他能證明這種堆積是正確的，沒有錯誤。其中的關鍵是，我們創立了一套可否定判定的算法，就是證否就可以停機而不需要無窮搜索的裝置。還研製了一種算法，可以反複去驗證錯誤猜想無法去推導，邏輯謂詞語言表達沒有相似性，而正確猜想就可以這樣表達出來，雖然語言難懂。所以隻需要把難懂的語言通過邏輯謂詞翻譯器翻譯成人能讀懂的樣子。”


  祖文遠說：“可以用多種方法證明一個猜想嗎？”


  吳俊說：“多種不同的表達就是多種或者是一種，一種方式或許能弄成多種表達一階謂詞。”


  祖文遠說：“你們嚐試使用了嗎？”


  吳俊說：“說來挺有趣，所以我們驗證了黎曼猜想是正確的，哥德巴赫1+1正確，p-np部分問題可以解決到最優和比較優點，有些問題無法解決。”


  祖文遠說：“證明的語言好理解嗎？是不是可以讓我們洞察更加深邃的數學機理？”


  吳俊笑著說：“隻是翻譯過來之後的人都難以讀懂是一種什麽方式，隻有大量的橢圓曲線，模空間，擴展域，交換群的變化。繞的人都難以看懂，簡直難以理解。四色猜想的複雜度簡直變得非人道。黎曼猜想中0.5軸上點的分布與質數分布毫無關係，卻有一種奇特的變化。”


  祖文遠也笑著說：“原來如此有趣呢？我倒是想拜讀一下這些著作，如果正確的話，我或許能夠根據這個工作可以發展出更多的數學工具。”


  吳俊說：“國際上許多的數學大咖早就這麽做了，但是對我的證明機十分懷疑，因為這裏的數學證明他們都看不懂，所有他們甚至認為這些證明都是錯誤的。所以說我們現在正在研發了第三台機器證明3.0，能用不同的幾個數學模塊相互組合。這種機器證明出來的東西我們就能看懂，當然也可以推動第四台機器證明4.0，可以創立新命題，對數學有重大推動作用。”


  祖文遠說：“我跟你們一起參與3.0的研究吧，我都很感興趣了。”


  吳俊說：“你最重要的就是需要理解很多數學理論與邏輯符合的聯係，這樣找到一種算法就可以製造機器證明3.0。”


  祖文遠說：“如果能夠得到機器證明4.0，那是很多數學家夢寐以求的事情。”


  吳俊說：“不過呢，你還是需要見見那個女孩，時間長了，說不定可以培養出感情，而且她是做基因編輯研究的，基因計算或許需要你的幫忙。”


  祖文遠說：“好吧，她不排斥我就行。”


  之間吳俊畫出了黎曼zeta函數的各種不同角度的圖案，祖文遠大為驚奇。


  祖文遠說：“你能教教我嗎？你能畫出連電腦都難以計算的圖形？”


  吳俊說：“能追上吉妮，我再教你。”