第130節 來信（1/2）

「艾倫·麥席森？」

蘭恩十分驚訝，一時脫口而出。

「嗯？你知道我？」看到面前這個年輕人的表情，艾倫·麥席森有點驚奇。

「我拜讀過你的論文，那篇《論數字計算在決斷難題中的應用》我至少看過十遍，還閱讀了一堆相關資料。關於可計算性問題的論證，你的工作是開創性的，對我後續的研究十分有啟發。」蘭恩發自內心的稱讚道。

其實還有一點他沒說出來，當年正是看到了艾倫·麥席森的論文，他才提起了對奧術研究的絕大興趣，因此走上了目前的道路。

而對這個方向的研究，不斷喚醒了他頭腦中散碎的記憶，就更加不足以向外人所道了。

「多謝誇獎」，艾倫不是很在意，他繼續重複了一遍追問道：「你們製作的符文計算機，它的用途是什麼？」

和康拉德對視了一眼，蘭恩講道：「就像這個名字一樣，它是一台可以進行計算的機器。但是它並不是像市面上機械計算器那樣結構，它屬于于一台自動計算機。」

「自動計算機？」

「沒錯」，蘭恩道，「雖然並不完全，而且這個形容並不嚴謹，但是已經走在了正確的方向上。」

想了想，他繼續使用艾倫·麥席森容易理解的方式來解釋：「可以用比較規則的定義描述一下，您那篇《論數字計算在決斷難題中的應用》中，對於可計算性下了定義後，又定義了一台理想型的計算機。」

「嗯，不過那個定義並不夠嚴格，我去年又發表了一篇《可計算性與λ可定義性》，目前看來是真正的對『可計算性』做了足夠嚴格的定義」，聽到蘭恩的話，艾倫補充道。

「沒錯，這篇我也研究過，非常棒的論文」，蘭恩點點頭說道，「而我們的這台符文計算機——它叫伊扎德一號——在邏輯結構上，已經接近於，和你提出的那台理想計算機等價。」

「如果把等價於這台理想計算機結構的機器，稱作『麥席森完全』，那麼這台符文計算機，已經接近了『麥席森完全』。」

聽完蘭恩的介紹，艾倫·麥席森想了想，說道：「這很棒，我從來沒想到過，這種機器真的會以實物的形式出現，畢竟我的那個想法類似於『真空農場中的球形雞』……奧術真是奇妙。」

「而且，預計我們對這台機器做的第二次升級，也就是下一次升級，就能達到『麥席森完全』」，蘭恩很自信。

「可以認識一下麼？」艾倫問道。

蘭恩站起來，行了個法師禮，自我介紹道：「我叫蘭恩·班納瑞，布魯弗萊奧法工程學院的在讀學生，目前師從於范內瓦·布希教授，在布魯弗萊奧法工程實驗室學習。」

他指了指旁邊，同樣站起來行禮的康拉德，對艾倫介紹道：「不過，我們的這項工作，是在我們自己的實驗室里開始的。這就是我們銀河實驗實驗室的主管，康拉德·楚澤法師，一位優秀的工程奧術師。」

「很高興認識你們」，艾倫·麥席森說道，「我在本市的多多王子大學，師從於阿隆佐·邱奇先生，學習數學。」

「請坐」，蘭恩招呼兩人坐下，然後招手和服務人員加了三杯晨露。

「不知道是否有幸，可以讓我親自看一眼這台機器？」圖靈對伊扎德一號表現出了十分的興趣。

「當然，歡迎之至」，蘭恩說道。有人欣賞自己的成果，從來都是很讓人高興的事兒。

三人交換了地址和通信地址，然後聊了很久。

他們約定，在下一個或者下下個休息日，艾倫·麥席森會親自上門拜訪，順便看望一下這台劃時代的機器。

而艾倫也邀請他們，有時間可以去他所在的多多王子大學高等研究院做客。

分別時，艾倫帶著一絲感慨對蘭恩說道：「我以前從未意識到，不起眼的符文竟然有如此力量。看來，我也需要去找一些資料，系統的學習一下這方面的知識。」

……

兩人叫了輛馬車回到實驗室。

因為蘭恩對於使用自行車載人很不熟練，所以他那輛絕版的自行車，仍然老老實實的躺在小院的車棚里。

剛進門，蘭恩就伸出手，阻止住了意圖繼續開展工作的康拉德：「今天給自己放個假吧，康拉德，不急在這小半天，而且你確實需要休息了。」

對於研究工作，康拉德從來都是十分投入。

本章未完，點選下一頁繼續閱讀。