有收藏更好，呵呵。
……公告：網文聯賽本賽季海選階段最後三週！未參加的小夥伴抓緊了！重磅獎金、成神機會等你來拿！點此參與……》
一百三十九
長久道：“數學家邏輯嚴謹，那些計算機程式肯定一瞧便會，要換了其他學科的人，估計到您這歲數連計算機是啥都不知道。”
文俊老人雖知這是馬屁，但是還是舒服啊。
長久又道：“冒昧問一句，您是做什麼研究的，我數學也學過一點。”
“定理證明。”老人脫口而出，“機器定理證明，就是把人證明數學定理和日常生活中的演繹推理變成一系列能在計算機上自動實現的符號演算的過程和技術，你聽說過沒有？”
這麼長的專業語言別人或許不知道，長久還是瞭解的：“這個啊，很有用的，對計算機邏輯和程式語言、人工智慧來說這個就是基礎，想不到您居然對這方面有研究……”
早年長久做的就是自動編譯器系統，有關這方面的書籍可沒少看，要說起數學定理機械自動證明這玩意，似乎還有個中國人是關鍵，破解了這個天地玄關，好像也叫文俊，弄出個演算法叫文氏演算法，登上了這個領域的頂峰……
世界還真他媽的小啊，隨著年歲的增加，長久對夢中的事情反而越發的清楚，來到這個世界上之後到處都能碰到一些景仰的人物。
想到這裡，長久頓時肅然起敬，舉杯問道：“您老辛苦了，不知道您研究到什麼程度了，我對此也有點心得，不知道能不能交流一下。”
文俊老人很感興趣，隨便問了幾個問題，長久一一回答並做了一些引申，老人聞之大喜，一把抓住長久的手說：“相見恨晚啊，我雖說搞這個，卻剛剛開始學計算機，十竅九通，你的想法很好啊，大有啟發，大有啟發。”
長久微笑道：“不算什麼，大家行業不同而已。您也在國外求過學的，怎麼不留在外面，那裡的學術環境應該好一點吧。”
老人大笑，幽默的說：“看你怎麼想了，我有兩個導師，一個是老外，他就挽留我，說國外可以賺很多很多money。另一個則說看你自己，只要有心，無處不是學問。這不我就回來了。”
長久也笑，兩人又舉杯幹了。
老人又講道：“不過回來也不錯，中華民族的傳統文化還真是取之不盡，有些古老的數學典籍確實很有研究價值，我現在的研究就從中吸取了很多營養。”
長久知道這事，記憶中這位泰斗就是這樣，總是那麼的推崇傳統數學研究，並做出了舉世矚目的貢獻。且不管是不是真的，至少人家是專家泰斗加權威，說從中國古籍中推出來的公式，你個老外不信也得信，誰讓你在這方面超不過人家捏。
就為這個，當浮一大白。
酒精下肚，老人的話慢慢的多了起來，大多是關於計算機的。長久靜靜的聽著，不厭其煩的為老人做著解答。
臨到末了，老人說了一句：“要是能有自己專用的計算機該多好啊，就不用和別人搶機時了，搞得今天還豁出老臉跟人吵架，呵呵。”
“那沒什麼。”有點喝高了，長久當即答道，“等過幾天我給您老弄一臺來，要是不嫌棄，等我在這邊辦企業，機器隨您用。”
“那感情好！”老人也是醉眼朦朧，不過似乎壓根沒把長久的話當回事，哪有送人計算機的啊。
又結識了一個牛人前輩，長久深感自己此行不虛，到底是值回票價了。
隨後幾天長久和老人整天在那裡聊天，順便交流一下學術上的一些事情，長久只是自學成才，論深度自然不及這位大數學家，可是在計算機程式方面長久可是專家，兩人所知互相印證，大有一日千里的感覺。
幾天之後，長久一