第141節 參觀與見聞（2/2）

他撫摸著玻璃的外殼，他接著感慨：「寫那篇論文時，我並非沒想過這種機器的現實意義，但是從來沒意識到，它會這麼快的出現在我的面前。畢竟那篇論文對我來說，最大的意義還是在數學上的突破。」

「數學是奧術的基石之一，數學上的突破轉化為奧術進展，也是常見的事，不是麼？」蘭恩攤了攤手，「可惜面前這台伊扎德一號，仍然稱不上『麥席森完全』。甚至我們正在開始設計的伊扎德二號，也稱不上『麥席森完全』。」

然後蘭恩招呼艾倫和康拉德，來到實驗室門邊的桌子周圍坐下。

艾倫靠在藤椅短背上，雙手十指交叉著，道：「不用擔心，就像那句話說的『我們終將實現，我們必將實現』，已經走在了正確的道路上，接下來的達成，只不過是時間問題。」

蘭恩點頭。

「你們的論文已經發出去了？」艾倫問道。

「嗯，發給了《符文工程學會報》，還沒確定通過。」

「回頭我找來看一下，我記得我們實驗室有訂閱…你們的下一代符文計算機準備怎麼改進？」

聽到艾倫的問題，蘭恩沒有提那是五篇論文的事兒，他比劃著名雙手說道：「我們準備在不改變邏輯結構的前提下，給它從裡到外換一遍，中繼符文有很多先天不足。所以，我們準備使用一種新型符文，替換掉它運行時所有有機械運動的結構。」

幾人繼續聊了一會兒這台機器，相談甚歡。

交談中，艾倫對他們兩個的工作評價很高，還憧憬了下符文計算機的廣闊應用方向。

比如他們實驗室的一項任務，就是古代密碼和密文的破譯工作，類似的計算機應該有用武之地，不過不是眼前這台。

三人還聊到了過往，對於兩人都獲得了博謝新秀獎這一點，蘭恩和艾倫都感覺世界很奇妙。

艾倫是奧法聯邦人，不過是在風暴洋的對岸，奧法聯邦的另一塊領土上。

由於他父母都在外地工作，他成為了這年頭比較罕見的留守兒童。在很早的時候，他就表現出了在奧術上的天賦，在學校中總是名列前茅。

艾倫·麥席森的大學並不是在卡特利特上的，而是在他家鄉附近的城市。和大多數人一樣，他在奧法大學一年級畢業後，就開始尋求接收自己的導師。

然後他來到了卡特利特，進入了多多王子大學，在邱奇奧術師手下學習，繼續研究可計算性問題。

而那篇發表在《數學新進展》上的《論數字計算在決斷難題中的應用》，則是天才的他，在奧法大學一年級完成的。

同屬於天才，他和蘭恩有很多共同語言。

話題一轉，說回了三人的研究上。

「我在繼續研究群論和數理邏輯，並準備以這個方向作為我的畢業論文」，艾倫說道。

「你去年那篇《可計算性與λ可定義性》不夠格麼？」蘭恩忽然好奇。

「不，我的老師認為那已經足夠……不過我還想在他這裡多學習一段時間。最重要的是在我看來，這仍然屬於我之前工作的擴展，所以我沒有把它當做博士畢業論文」，艾倫說道。

蘭恩雖然理解這一點，但是他不會這樣做的。

由於雙方老師性格不同，蘭恩如今的想法，就是儘快在微分分析儀上做出一些成果，拿到學歷畢業，然後專心搞自己的實驗室。

畢竟每次研究到興頭上，總是要起來去搞不相關的內容……有點痛苦。

這時艾倫又問道：「蘭恩，你呢，最近在研究些什麼？只研究伊扎德二號麼……你的導師沒給你布置任務？」