可计算性与可定义性，目前看来是真正的对可计算性做了足够严格的定义”，听到兰恩的话，艾伦补充道。
“没错，这篇我也研究过，非常棒的论文”，兰恩点点头说道，“而我们的这台符文计算机它叫伊扎德一号在逻辑结构上，已经接近于，和你提出的那台理想计算机等价。”
“如果把等价于这台理想计算机结构的机器，称作麦席森完全，那么这台符文计算机，已经接近了麦席森完全。水印广告测试 水印广告测试”
听完兰恩的介绍，艾伦麦席森想了想，说道：“这很棒，我从来没想到过，这种机器真的会以实物的形式出现，毕竟我的那个想法类似于真空农场中的球形鸡奥术真是奇妙。”
“而且，预计我们对这台机器做的第二次升级，也就是下一次升级，就能达到麦席森完全”，兰恩很自信。
“可以认识一下么？”艾伦问道。
兰恩站起来，行了个法师礼，自我介绍道：“我叫兰恩班纳瑞，布鲁弗莱奥法工程学院的在读学生，目前师从于范内瓦bsn教授，在布鲁弗莱奥法工程实验室学习。”
他指了指旁边，同样站起来行礼的康拉德，对艾伦介绍道：“不过，我们的这项工作，是在我们自己的实验室里开始的。这就是我们银河实验实验室的主管，康拉德楚泽法师，一位优秀的工程奥术师。”
“很高兴认识你们”，艾伦麦席森说道，“我在本市的多多王子大学，师从于阿隆佐邱奇先生，学习数学。”
“请坐”，兰恩招呼两人坐下，然后招手和服务人员加了三杯晨露。
“不知道是否有幸，可以让
第130节 来信(2/5)