“艾伦·麦席森？”

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

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

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

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

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

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

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

“自动计算机？”

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

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

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

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

Loading...

未加载完，尝试【刷新网页】or【关闭小说模式】or【关闭广告屏蔽】。

使用【Firefox浏览器】or【Chrome谷歌浏览器】打开并收藏！

移动流量偶尔打不开，可以切换电信、联通网络。

收藏网址：www.sisiread.com

(＞人＜；)