“嘿，艾倫，早上好……您好，邱奇教授。”
蘭恩和康拉德結伴走進了屋門，正遇上前來迎接的艾倫和艾倫的老師。
他們應邀來拜訪。
沒想到艾倫的老師邱奇教授，也出來迎接了一下他們兩個，果然像艾倫說的那樣好客。
對於邱奇教授，蘭恩很是敬重。
因為他看過邱奇教授的不少著作，當年為了讀懂艾倫·麥斯森那篇《論數字計算在決斷難題中的應用》，他在圖書館的舊期刊合集中，尋找到了邱奇先生關於“邱奇論點”的論文。
當時蘭恩還閱讀了克裏尼·斯蒂芬、庫爾特·哥德爾、埃爾布朗·埃爾布朗等人關於遞歸和可計算函數的論文，順便按圖索驥閱讀了大量的參考書，才正式邁進了通用計算這個領域。
邱奇教授已經在多多王子大學執教了幾十年。
他的所有學術成果，都是在這所學校完成的。多多王子大學屬於曆史悠久的大學，甚至比布魯弗萊還要悠久。
同時，卡特利特一個城市有布魯弗萊和多多王子兩所頂級大學，也算是在整個大陸上獨樹一幟。
“歡迎來到邱奇實驗室，蘭恩，康拉德”，艾倫湊上來歡迎道。
“歡迎你們，你們的中繼符文計算機在實驗室裏運行的很好，很實用。唯一的問題是太吵了，不得不找了兩個隔音好的房間放置它們。”
一旁的邱奇教授也歡迎道。
“放心，邱奇教授，我們正在設計的新一代符文計算機，將會完美的解決這個問題，它的內部摒棄了有機械運動的結構。”
教授點點頭：“我很期待你們接下來的成就，畢竟你們這麼年輕……艾倫是我最優秀的學生，你們好好交流。未來，是屬於你們的。”
“邱奇教授您謬讚了”，蘭恩的謙虛很符合法師禮儀。
“來到這裏請隨意一些，開心就好。還可以讓艾倫帶著你們去參觀下計算機的運行情況……你們聊吧，我還有些事情去處理，暫時失陪了”，邱奇教授笑道。
“教授您忙，我們不敢打擾。”
“希望你們喜歡這裏”，說罷，邱奇教授和藹的笑了下，轉身回了自己的屋子。
三人先來到了艾倫的桌邊。
艾倫出門迎接的很急，沒寫完的算式和表格散落在桌麵上，兩人看著他將剛剛正在處理的工作整理好，放在一邊，順便趁此機會打量了一下邱奇實驗室。
數學實驗室果然和其他種類的實驗室不同。