第131章 來信 (第1/2頁)

漢家楓竹提示您：看後求收藏（筆趣閣小說www.biqugexsw.tw），接著再看更方便。

“艾倫·麥席森？”

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

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

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

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

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

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

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

“自動計算機？”

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

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

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

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

“如果把等價於這臺理想計算機結構的機器，稱作‘麥席森完全’，那麼這臺符文計算機，已經接近了‘麥席森完全’。”

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

“而且，預計我們對這臺機器做的第二次升級，也就是下一次升級，就能達到‘麥席森完全’”，蘭恩很自信。

“可以認識一下麼？”艾倫問道。

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

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

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

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

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

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

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

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

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

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

……

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

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

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

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

因此科研人員常有的熬夜、飲食不規律、思慮過度等現象，在他身上全都有。

《新時代導師女主是誰》 第131章 來信（第1/2頁），本章未完，點選下一頁繼續閱讀。