<!--go-->

長久道：“數學家邏輯嚴謹，那些計算機程式肯定一瞧便會，要換了其他學科的人，估計到您這歲數連計算機是啥都不知道。”

文俊老人雖知這是馬屁，但是還是舒服啊。

長久又道：“冒昧問一句，您是做什麼研究的，我數學也學過一點。”

“定理證明。”老人脫口而出，“機器定理證明，就是把人證明數學定理和日常生活中的演繹推理變成一系列能在計算機上自動實現的符號演算的過程和技術，你聽說過沒有？”

這麼長的專業語言別人或許不知道，長久還是瞭解的：“這個啊，很有用的，對計算機邏輯和程式語言、人工智慧來說這個就是基礎，想不到您居然對這方面有研究……”

早年長久做的就是自動編譯器系統，有關這方面的書籍可沒少看，要說起數學定理機械自動證明這玩意，似乎還有個中國人是關鍵，破解了這個天地玄關，好像也叫文俊，‘弄’出個演算法叫文氏演算法，登上了這個領域的頂峰……世界還真他***小啊，隨著年歲的增加，長久對夢中的事情反而越發的清楚，來到這個世界上之後到處都能碰到一些景仰的人物。

想到這裡，長久頓時肅然起敬，舉杯問道：“您老辛苦了，不知道您研究到什麼程度了，我對此也有點心得，不知道能不能‘交’流一下。”

文俊老人很感興趣，隨便問了幾個問題，長久一一回答並做了一些引申，老人聞之大喜，一把抓住長久的手說：“相見恨晚啊，我雖說搞這個，卻剛剛開始學計算機，十竅九通，你的想法很好啊，大有啟發，大有啟發。”

Loading...

未載入完，嘗試【重新整理】or【關閉小說模式】or【關閉廣告遮蔽】。

嘗試更換【Firefox瀏覽器】or【Chrome谷歌瀏覽器】開啟多多收藏！

移動流量偶爾打不開，可以切換電信、聯通、Wifi。

收藏網址：www.peakbooks.cc

(＞人＜；)