“艾伦·麦席森?”
兰恩十分惊讶,一时脱口而出。
“嗯?你知道我?”看到面前这个年轻人的表情,艾伦·麦席森有点惊奇。
“我拜读过你的论文,那篇《论数字计算在决断难题中的应用》我至少看过十遍,还阅读了一堆相关资料。关于可计算性问题的论证,你的工作是开创性的,对我后续的研究十分有启发。”兰恩发自内心的称赞道。
其实还有一点他没说出来,当年正是看到了艾伦·麦席森的论文,他才提起了对奥术研究的绝大兴趣,因此走上了目前的道路。
而对这个方向的研究,不断唤醒了他头脑中散碎的记忆,就更加不足以向外人所道了。
“多谢夸奖”,艾伦不是很在意,他继续重复了一遍追问道:“你们制作的符文计算机,它的用途是什么?”
和康拉德对视了一眼,兰恩讲道:“就像这个名字一样,它是一台可以进行计算的机器。但是它并不是像市面上机械计算器那样结构,它属于于一台自动计算机。”
“自动计算机?”
“没错”,兰恩道,“虽然并不完全,而且这个形容并不严谨,但是已经走在了正确的方向上。”
想了想,他继续使用艾伦·麦席森容易理解的方式来解释:“可以用比较规则的定义描述一下,您那篇《论数字计算在决断难题中的应用》中,对于可计算性下了定义后,又定义了一台理想型的计算机。”
“嗯,不过那个定义并不够严格,我去年又发表了一篇《可计算性与λ可定义性》,目前看来是真正的对‘可计算性’做了足够严格的定义”,听到兰恩的话,艾伦补充道。
“没错,这篇我也研究过,非常棒的论文”,兰恩点点头说道,“而我们的这台符文计算机——它叫伊扎德一号——在逻辑结构上,已经接近于,和你提出的那台理想计算机等价。”
“如果把等价于这台理想计算机结构的机器,称作‘麦席森完全’,那么这台符文计算机,已经接近了‘麦席森完全’。”
听完兰恩的介绍,艾伦·麦席森想了想,说道:“这很棒,我从来没想到过,这种机器真的会以实物的形式出现,毕竟我的那个想法类似于‘真空农场中的球形鸡’……奥术真是奇妙。”
“而且,预计我们对这台机器做的第二次升级,也就是下一次升级,就能达到‘麦席森完全’”,兰恩很自信。
“可以认识一下么?”艾伦问道。
兰恩站起来,行了个法师礼,自我介绍道:“我叫兰恩·班纳瑞,布鲁弗莱奥法工程学院的在读学生,目前师从于范内瓦·bù shén教授,在布鲁弗莱奥法工程实验室学习。”
他指了指旁边,同样站起来行礼的康拉德,对艾伦介绍道:“不过,我们的这项工作,是在我们自己的实验室里开始的。这就是我们银河实验实验室的主管,康拉德·楚泽法师,一位优秀的工程奥术师。”
“很高兴认识你们”,艾伦·麦席森说道,“我在本市的多多王子大学,师从于阿隆佐·邱奇先生,学习数学。”
“请坐”,兰恩招呼两人坐下,然后招手和服务人员加了三杯晨露。
“不知道是否有幸,可以让我亲自看一眼这台机器?”图灵对伊扎德一号表现出了十分的兴趣。
“当然,欢迎之至”,兰恩说道。有人欣赏自己的成果,从来都是很让人高兴的事儿。
三人交换了地址和通信地址,然后聊了很久。
他们约定,在下一个或者下下个休息日,艾伦·麦席森会亲自上门拜访,顺便看望一下这台划时代的机器。
而艾伦也邀请他们,有时间可以去他所在的多多王子大学高等研究院做客。
分别时,艾伦带着一丝感慨对兰恩说道:“我以前从未意识到,不起眼的符文竟然有如此力量。看来,我也需要去找一些资料,系统的学习一下这方面的知识。”
……
两人叫了辆马车回到实验室。
因为兰恩对于使用自行车载人很不熟练,所以他那辆绝版的自行车,仍然老老实实的躺在小院的车棚里。
刚进门,兰恩就伸出手,阻止住了意图继续开展工作的康拉德:“今天给自己放个假吧,康拉德,不急在这小半天,而且你确实需要休息了。”
对于研究工作,康拉德从来都是十分投入。
因此科研人员常有的熬夜、饮食不规律、思虑过度等现象,在他身上全都有。
“我不累的,兰恩。”
“不,你只是年轻而已”,兰恩劝他,“不仅仅要为你的身体考虑,也要为你的发际线考虑,不然以后去医院接受生发法术治疗,会浪费更多时间的……而且你还没结婚。”
“做研究比结婚有意思多了……好吧,我答应你。”
康拉德还是接受了兰恩的指令,乖乖回房间里,准备给自己补个觉。
兰恩则回到了自己的房间,开始拆信。
和他的猜想完全一致,唯一的那只、来自文学之城的包裹,是《欧瑞根幻想小说周报》寄来的样刊。
里面附上了最高标准的稿费,整整一叠精灵银行的纸币,约十五金币。这让最近为了实验室运行,支出了大半身家的兰恩,很是回血了一截。
还有一封拉尔夫主编的来信。
在信中,拉尔夫主编用恳切的语气,表达了希望兰恩将下一篇作品,继续发表在小说周报上的期望。