半个世纪以来，数学家提出的各种各样的计算模型都被证明是和图灵机等价的。1945年，图灵到英国国家物理研究所工作，并开始设计自动计算机。1950年，图灵发表了题为《计算机能思考吗？》的论文，给人工智能下了一个定义，而且论证了人工智能的可能性。1951年，他被选为英国皇家学会会员。

----------------------------------------

九、冯·诺依曼计算机存储程序原理

　　是由美籍匈牙利数学家冯·诺依曼于1946年提出的，把程序本身当作数据来对待，程序和该程序处理的数据用同样的方式储存，这正是治愈“神童”ENIAC健忘症的良方。冯·诺依曼和同事们依据此原理设计出了一个完整的现代计算机雏形，并确定了存储程序计算机的五大组成部分和基本工作方法。冯·诺依曼的这一设计思想被誉为计算机发展史上的里程碑，标志着计算机时代的真正开始。

　　虽然计算机技术发展很快，但“存储程序原理”至今仍然是计算机内在的基本工作原理。自计算机诞生的那一天起，这一原理就决定了人们使用计算机的主要方式——编写程序和运行程序。科学家们一直致力于提高程序设计的自动化水平，改进用户的操作界面，提供各种开发工具、环境与平台，其目的都是为了让人们更加方便地使用计算机，可以少编程甚至不编程来使用计算机，因为计算机编程毕竟是一项复杂的脑力劳动。但不管用户的开发与使用界面如何演变，“存储程序原理”没有变，它仍然是我们理解计算机系统功能与特征的基础。

　　EDSAC于1949年5月建成，它是世界上第一台真正实现内部存储程序的电子计算机，其中凝集着冯·诺依曼等人设想，也是后来所有电脑的真正原型和范本。