「我這么厲害的嗎？」

女孩愣愣的眨了眨眼睛。

王崎點了點頭：「超厲害。」

陳由嘉眯起眼睛，笑了。

可旋即，她有有些疑惑：「這個……算是基礎算學？我原本是要開發應用……」

「這對解析算君的成就，非常有用。」王崎說道：「再者，你是從算君的『應用』之中反推出來，也算是一條『從理論指向運用』的道路了。」

類型論，和函數編程也是息息相關了。

盡管在地球上，lisp一類可以實際使用的函數式編程，早在類型論之前就開發出來了，但這並不妨礙類型論讓整個編程，尤其是函數編程的藝術再上一個台階。

布爾巴基學派理論通向應用的障礙，又消去了一個。

王崎深吸一口氣，嚴肅道：「但是，師妹，這個還不算完。在你手上，這個類型論，也只是剛剛成型而已。」

陳由嘉一愣：「你叫它什么？類型論？」

王崎點了點頭：「定義語言類型……你有什么不滿嗎？」

陳由嘉笑了：「感覺會被你的類論【k理論】蓋過名頭啊。」

王崎一愣。這可是前世語境下不存在的麻煩。

「那就喚『型論』咯。」

「聽起來和你那『類論』是一對兒啊，不妥不妥……」

王崎勾起陳由嘉下巴，反問道：「一對兒，有什么不妥？」

「別鬧，這兩個理論在算學領域天差地別……」

「名字相似而已嘛！」

笑鬧之中，這注定震動歷史的理論，算是敲定名字了。

陳由嘉卻突然嘆息：「這一次，還真是機緣巧合……若是沒有海霆真人、馮老師的論戰，我絕無可能觸及算君的那一絲『想法』；而若是沒有算君的書稿，我縱使窺得門徑，也未必能入……」

「自信一點。」王崎拍了拍陳由嘉的腦袋：「你也足夠強了。」

興奮過後，陳由嘉忽然又有些擔憂：「話說，基派算學，主要就是為了那算學根基。這次我論文發表，那便是……便是以連宗的身份加入現在的論戰了吧？是不是……不大好？」

一個學派，總得有一個學派的理念一以貫之。

王崎思考片刻：「我看沒什么不好啊。我發表不周之算的時候，可還算歌庭派編外成員呢。」

「啊？我總覺得你做了個不吉利的比喻……」

王崎擺手：「想哪去了……總之，不周之算，算是我萬法門內崛起的一個點，也算是基派的原點了吧？可以說，連宗離宗的上一場論戰，就是由我終結。而現在，也就是他們最後的論戰，也算是因我而起。」

現在離宗連宗，都在嘗試對不完備定理發起挑戰。王崎這么說，也沒錯。

「我也正是因為這樣，才有了組建基派的資本。」

「這一場紛亂，因基派而起，那么，由基派成員終結，也並無不妥。」

陳由嘉語氣一滯：「終結……」

王崎點了點頭：「終結。我該說……去吧，終結這個舊世代。」

陳由嘉忍不住笑了：「說得好像歌庭少黎恩怨都要終結了一樣。」

王崎沒有笑。事實也差不多就是這樣。

這個世界和無靈氣宇宙的數學規律基本一致。在可預見的方向上，直覺主義和形式主義必然衰落。

就算有不同，那頂多也就是……算君還活著，所以直覺主義不至於淪落成給計算機科學打工，而是反客為主，讓直覺主義主宰計算機科學領域？

這也只是最「壞」的可能了吧。

畢竟，馮老師、圖靈真人也沒有跪不是？

王崎說道：「蘇師兄也在關注這方面，你倒是可以跟他交流一下。」

陳由嘉點了點頭：「對了，你能夠聯系上算君嗎？」

王崎一愣：「干什么？」

「請教，還有致謝。」

「你不要命了？」王崎驚呼：「你不是剛剛才心力耗竭嗎？而且謝他干什么？寫書給其他學者看，不是天經地義的事情嗎？啟發其他學者什么的……」

「你自己說的，何必畏懼算君？」陳由嘉語氣平靜：「不只是算君，馮老師，海霆真人，都得致謝。當然，還有順便請教。」

王崎咧嘴：「你不覺得……這有點太冒進了嗎？」

「你不幫忙，我找我父親去。」陳由嘉盯著王崎。

雖然他鄉遇故鄉神州之間有通訊限制，但是，陳景雲也是逍遙修士，他親屬跟他通訊，還是不受限制的。

但陳由嘉想找算君就難了。

王崎舉手：「別，別，從神州轉發還耗費仙盟寶貴的帶寬，不值當，不值當啊。我幫你發函總行了吧？」

他是長生者待遇，而且密級夠高，還剛好知道算君現在在那個旮旯底，還真能寄信給算君。