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

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

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

兰恩点头。

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

“嗯，发给了符文工程学会报，还没确定通过。”

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

3