“嘿，艾伦，早上好……您好，邱奇教授。”

兰恩和康拉德结伴走进了屋门，正遇上前来迎接的艾伦和艾伦的老师。

他们应邀来拜访。

没想到艾伦的老师邱奇教授，也出来迎接了一下他们两个，果然像艾伦说的那样好客。

对于邱奇教授，兰恩很是敬重。

因为他看过邱奇教授的不少着作，当年为了读懂艾伦·麦斯森那篇《论数字计算在决断难题中的应用》，他在图书馆的旧期刊合集中，寻找到了邱奇先生关于“邱奇论点”的论文。

当时兰恩还阅读了克里尼·斯蒂芬、库尔特·哥德尔、埃尔布朗·埃尔布朗等人关于递归和可计算函数的论文，顺便按图索骥阅读了大量的参考书，才正式迈进了通用计算这个领域。

邱奇教授已经在多多王子大学执教了几十年。

他的所有学术成果，都是在这所学校完成的。多多王子大学属于历史悠久的大学，甚至比布鲁弗莱还要悠久。

同时，卡特利特一个城市有布鲁弗莱和多多王子两所顶级大学，也算是在整个大陆上独树一帜。

“欢迎来到邱奇实验室，兰恩，康拉德”，艾伦凑上来欢迎道。

“欢迎你们，你们的中继符文计算机在实验室里运行的很好，很实用。唯一的问题是太吵了，不得不找了两个隔音好的房间放置它们。”

一旁的邱奇教授也欢迎道。

“放心，邱奇教授，我们正在设计的新一代符文计算机，将会完美的解决这个问题，它的内部摒弃了有机械运动的结构。”

教授点点头：“我很期待你们接下来的成就，毕竟你们这么年轻……艾伦是我最优秀的学生，你们好好交流。未来，是属于你们的。”

“邱奇教授您谬赞了”，兰恩的谦虚很符合法师礼仪。

“来到这里请随意一些，开心就好。还可以让艾伦带着你们去参观下计算机的运行情况……你们聊吧，我还有些事情去处理，暂时失陪了”，邱奇教授笑道。

“教授您忙，我们不敢打扰。”

“希望你们喜欢这里”，说罢，邱奇教授和蔼的笑了下，转身回了自己的屋子。

三人先来到了艾伦的桌边。

艾伦出门迎接的很急，没写完的算式和表格散落在桌面上，两人看着他将刚刚正在处理的工作整理好，放在一边，顺便趁此机会打量了一下邱奇实验室。

数学实验室果然和其他种类的实验室不同。

说是实验室，这里其实就是一个大厅，因为数学——并不需要做实验。大厅的中央和四周全都是黑板，连绵不绝。上面大都写有各种东西，主要是长长的、复杂而潦草的算式，有些还没写完。

除此之外，大厅里就是一张一张的桌子，略带凌乱遥遥的排成排。

一些人坐在自己的桌前奋笔疾书，还有一团一簇的围在一起在交流，没有人注意这边。偶尔有人转头看向这个方向，也快速的转回去，继续自己手上的工作。

每个人的桌前都堆着厚厚的草稿纸，还有各种的书籍，艾伦的桌上也不例外。

邱奇实验室由于年头比较久，用的还是老式的水管散冷片制冷设备，也或许是这种不做实验的实验室，对于温度并不敏感。兰恩注意到，有一个杯子被用怪异的姿势，拴在了艾伦桌边的冷水管上。

“你的杯子？”

“嗯，水杯”，艾伦回应道，“走吧，我带你们去设备室。”

其实数学研究并不是这些数学家们的专利。