图灵离开NPL以后,图灵到曼彻斯特大学新成立的皇家学会计算实验室(RoyalSocietyComputingLaboratory)当副主任
曼彻斯特大学在计算机发展史上曾经起过重大的作用,以威廉斯管的发明人F.C.Williams(1911—1977)和汤姆•基尔蓬(TomKilburn)为首的研究小组曾在1948年6月开发出了被称为世界上第一台存储程序式计算机的MARKI,其原型则被称为“婴儿机”(BabyMachine)
注意,20世纪40年代曾经出现过两个被称为MARKI的计算机,一个是这里所说的MARKI,另一个是美国哈佛大学的霍沃德•艾肯(HowardAiken,1900---1973)在IBM的支持下于1944年开发成功的机电式MARKI,这也正是IBM走上计算机产业之路的开始
为了区别,常常把前者称为“曼彻斯特MARKI”,而把后者称为"IBMMARKI”
曼彻斯特MARKI后来由Ferranti公司商品化,其第一台于1951年2月安装于曼彻斯特大学,有资料把它说成是世界上第一个商品化计算机型号
图灵加盟曼彻斯特大学不但为它提供了强大的理论支持,也为它做了许多实际工作,据资料记载,图灵在这里曾和其他人合作,设计了纸带输入/输出系统,还编写了程序设计手册
因此,有些图灵传记中说图灵到曼彻斯特大学以后并未参与计算机的实际开发工作,是不太确切的
在这段时间里图灵为计算机科学所作出的又一个杰出贡献是他在1950年10月发表的论文“计算机和智能”(ComputingMachineryandIntelligence)
在这篇经典的论文中,图灵进一步阐明了他认为计算机可以有智能的思想,并提出了测试机器是否有智能的方法,他称之为“模仿游戏”(ImitationGame),而大家现在称之为“图灵测试”(TuringTest)
在这个测试中,让一个提问者通过电传打字机(现在可以通