第160节 拜访邱奇实验室
“嘿,艾伦,早上好您好,邱奇教授。”
兰恩和康拉德结伴走进了屋门,正遇上前来迎接的艾伦和艾伦的老师。
他们应邀来拜访。
没想到艾伦的老师邱奇教授,也出来迎接了一下他们两个,果然像艾伦说的那样好客。
对于邱奇教授,兰恩很是敬重。
因为他看过邱奇教授的不少著作,当年为了读懂艾伦麦斯森那篇论数字计算在决断难题中的应用,他在图书馆的旧期刊合集中,寻找到了邱奇先生关于“邱奇论点”的论文。
当时兰恩还了克里尼斯蒂芬、库尔特哥德尔、埃尔布朗埃尔布朗等人关于递归和可计算函数的论文,顺便按图索骥了大量的参考书,才正式迈进了通用计算这个领域。
邱奇教授已经在多多王子大学执教了几十年。
他的所有学术成果,都是在这所学校完成的。多多王子大学属于历史悠久的大学,甚至比布鲁弗莱还要悠久。
同时,卡特利特一个城市有布鲁弗莱和多多王子两所顶级大学,也算是在整个大陆上独树一帜。
“欢迎来到邱奇实验室,兰恩,康拉德”,艾伦凑上来欢迎道。
“欢迎你们,你们的中继符文计算机在实验室里运行
<本章未完请点击"下一页"继续观看!>