约翰·冯·诺伊曼
1936年，数学家阿兰·图灵发表了理论上“通用计算机器”的定义。图灵证明，通过编写算法，这样的机器可以解决任何可以想到的数学问题。在20世纪40年代，图灵和其他人如康拉德·楚泽发展了使用计算机自己的记忆体而不是磁带来保存程序和数据的想法，但Mark 1基于的却是数学家约翰·冯·诺伊曼定义的广受认可的“存储程序计算机”架构。