兰·图灵发表了理论上“通用计算机器”的定义。图灵证明，通过编写算法，这样的机器可以解决任何可以想到的数学问题。在20世纪40年代，图灵和其他人如康拉德·楚泽发展了使用计算机自己的记忆体而不是磁带来保存程序和数据的想法，但Mark 1基于的却是数学家约翰·冯·诺伊曼定义的广受认可的“存储程序计算机”架构。冯·诺依曼计算机的实际构造取决于合适的存储器设备的可用性。曼彻斯特大学SSEM，世界上第一台电子存储程序计算机于1948年6月21日开始运作第一个项目，成功地证明了存储程序方法和威廉姆斯管的实用性，威廉姆斯