第130节 来信（1/2）

「艾伦·麦席森？」

兰恩十分惊讶，一时脱口而出。

「嗯？你知道我？」看到面前这个年轻人的表情，艾伦·麦席森有点惊奇。

「我拜读过你的论文，那篇《论数字计算在决断难题中的应用》我至少看过十遍，还阅读了一堆相关数据。关于可计算性问题的论证，你的工作是开创性的，对我后续的研究十分有启发。」兰恩发自内心的称赞道。

其实还有一点他没说出来，当年正是看到了艾伦·麦席森的论文，他才提起了对奥术研究的绝大兴趣，因此走上了目前的道路。

而对这个方向的研究，不断唤醒了他头脑中散碎的记忆，就更加不足以向外人所道了。

「多谢夸奖」，艾伦不是很在意，他继续重复了一遍追问道：「你们制作的符文计算机，它的用途是什么？」

和康拉德对视了一眼，兰恩讲道：「就像这个名字一样，它是一台可以进行计算的机器。但是它并不是像市面上机械计算器那样结构，它属于于一台自动计算机。」

「自动计算机？」

「没错」，兰恩道，「虽然并不完全，而且这个形容并不严谨，但是已经走在了正确的方向上。」

想了想，他继续使用艾伦·麦席森容易理解的方式来解释：「可以用比较规则的定义描述一下，您那篇《论数字计算在决断难题中的应用》中，对于可计算性下了定义后，又定义了一台理想型的计算机。」

「嗯，不过那个定义并不够严格，我去年又发表了一篇《可计算性与λ可定义性》，目前看来是真正的对『可计算性』做了足够严格的定义」，听到兰恩的话，艾伦补充道。

「没错，这篇我也研究过，非常棒的论文」，兰恩点点头说道，「而我们的这台符文计算机——它叫伊扎德一号——在逻辑结构上，已经接近于，和你提出的那台理想计算机等价。」

「如果把等价于这台理想计算机结构的机器，称作『麦席森完全』，那么这台符文计算机，已经接近了『麦席森完全』。」

听完兰恩的介绍，艾伦·麦席森想了想，说道：「这很棒，我从来没想到过，这种机器真的会以实物的形式出现，毕竟我的那个想法类似于『真空农场中的球形鸡』……奥术真是奇妙。」

「而且，预计我们对这台机器做的第二次升级，也就是下一次升级，就能达到『麦席森完全』」，兰恩很自信。

「可以认识一下么？」艾伦问道。

兰恩站起来，行了个法师礼，自我介绍道：「我叫兰恩·班纳瑞，布鲁弗莱奥法工程学院的在读学生，目前师从于范内瓦·布希教授，在布鲁弗莱奥法工程实验室学习。」

他指了指旁边，同样站起来行礼的康拉德，对艾伦介绍道：「不过，我们的这项工作，是在我们自己的实验室里开始的。这就是我们银河实验实验室的主管，康拉德·楚泽法师，一位优秀的工程奥术师。」

「很高兴认识你们」，艾伦·麦席森说道，「我在本市的多多王子大学，师从于阿隆佐·邱奇先生，学习数学。」

「请坐」，兰恩招呼两人坐下，然后招手和服务人员加了三杯晨露。

「不知道是否有幸，可以让我亲自看一眼这台机器？」图灵对伊扎德一号表现出了十分的兴趣。

「当然，欢迎之至」，兰恩说道。有人欣赏自己的成果，从来都是很让人高兴的事儿。

三人交换了地址和通信地址，然后聊了很久。

他们约定，在下一个或者下下个休息日，艾伦·麦席森会亲自上门拜访，顺便看望一下这台划时代的机器。

而艾伦也邀请他们，有时间可以去他所在的多多王子大学高等研究院做客。

分别时，艾伦带着一丝感慨对兰恩说道：「我以前从未意识到，不起眼的符文竟然有如此力量。看来，我也需要去找一些数据，系统的学习一下这方面的知识。」

……

两人叫了辆马车回到实验室。

因为兰恩对于使用自行车载人很不熟练，所以他那辆绝版的自行车，仍然老老实实的躺在小院的车棚里。

刚进门，兰恩就伸出手，阻止住了意图继续开展工作的康拉德：「今天给自己放个假吧，康拉德，不急在这小半天，而且你确实需要休息了。」

对于研究工作，康拉德从来都是十分投入。

本章未完，点击下一页继续阅读。