经验得出结论，计算机在科学角色中的使用比在纯数学中更多。1951年以后他们开始研制Mark 1的继任者，也就是包含有一个浮点单元的Meg。
背景.1936年，数学家阿兰·图灵发表了理论上“通用计算机器”的定义。图灵证明，通过编写算法，这样的机器可以解决任何可以想到的数学问题。在20世纪40年代，图灵和其他人如康拉德·楚泽发展了使用计算机自己的记忆体而不是磁带来保存程序和数据的想法，但Mark 1基于的却是数学家约翰·冯·诺伊曼定义的广受认可的“存储程序计算机”架构。冯·诺依曼计算