他抚摸着玻璃的外壳，他接着感慨：“写那篇论时，我并非没想过这种机器的现实意义，但是从来没意识到，它会这么快的出现在我的面前。毕竟那篇论对我来说，最大的意义还是在数学的突破。”

“数学是奥术的基石之一，数学的突破转化为奥术进展，也是常见的事，不是么？”兰恩摊了摊手，“可惜面前这台伊扎德一号，仍然称不‘麦席森完全’。甚至我们正在开始设计的伊扎德二号，也称不‘麦席森完全’。”

然后兰恩招呼艾伦和康拉德，来到实验室门边的桌子周围坐下。

艾伦靠在藤椅短背，双手十指交叉着，道：“不用担心，像那句话说的‘我们终将实现，我们必将实现’，已经走在了正确的道路，接下来的达成，只不过是时间问题。”

兰恩点头。

“你们的论已经发出去了？”艾伦问道。

“嗯，发会报》，还没确定通过。”

“回头我找来看一下，我记得我们实验室有订阅…你们的下一代符计算机准备怎么改进？”

听到艾伦的问题，兰恩没有提那是五篇论的事儿，他划着双手说道：“我们准备在不改变逻辑结构的前提下，有很多先天不足。所以，我们准备使用一种新型符，替换掉它运行时所有有机械运动的结构。”

几人继续聊了一会儿这台机器，相谈甚欢。

交谈，艾伦对他们两个的工作评价很高，还憧憬了下符计算机的广阔应用方向。

如他们实验室的一项任务，是古代密码和密的破译工作，类似的计算机应该有用武之地，不过不是眼前这台。

三人还聊到了过往，对于两人都获得了博谢新秀奖这一点，兰恩和艾伦都感觉世界很妙。

艾伦是奥法联邦人，不过是在风暴洋的对岸，奥法联邦的另一块领土。

由于他父母都在外地工作，他成为了这年头较罕见的留守儿童。在很早的时候，他表现出了在奥术的天赋，在学校总是名列前茅。

艾伦·麦席森的大学并不是在卡特利特的，而是在他家乡附近的城市。和大多数人一样，他在奥法大学一年级毕业后，开始寻求接收自己的导师。

然后他来到了卡特利特，进入了多多王子大学，在邱奥术师手下学习，继续研究可计算性问题。

而那篇发表在《数学新进展》的《论数字计算在决断难题的应用》，则是天才的他，在奥法大学一年级完成的。

同属于天才，他和兰恩有很多共同语言。

话题一转，说回了三人的研究。

“我在继续研究群论和数理逻辑，并准备以这个方向作为我的毕业论”，艾伦说道。

“你去年那篇《可计算性与λ可定义性》不够格么？”兰恩忽然好。

“不，我的老师认为那已经足够……不过我还想在他这里多学习一段时间。最重要的是在我看来，这仍然属于我之前工作的扩展，所以我没有把它当做博士毕业论”，艾伦说道。

兰恩虽然理解这一点，但是他不会这样做的。

由于双方老师性格不同，兰恩如今的想法，是尽快在微分分析仪做出一些成果，拿到学历毕业，然后专心搞自己的实验室。

毕竟每次研究到兴头，总是要起来去搞不相关的内容……有点痛苦。

这时艾伦又问道：“兰恩，你呢，最近在研究些什么？只研究伊扎德二号么……你的导师没给你布置任务？”( 新时代导师 )