1946年，在埃克特和莫奇利等人的主持下，世界上第一台大型数字处理电子计算机ENIAC诞生，使用了18000根真空管。（之后的发展：EDVCA和“约尼阿克”机。）
20世纪40年代后期，水银延迟线（以声波的形式存储数据）和阴极射线管（将数据作为图样进行储存）是两种主要的存储介质。
50年代初，英国工程师弗雷德里克·威廉姆斯设计出了“威廉姆斯存储器”，使普通的阴极管就可以有效地用作计算机存储器，从而使阴极管成为了首选的存储介质。
1954年，马丁·戴维斯为普林斯顿高等研究院的原始“约尼阿克”机编写了一个程序，可以判定一个PA的句子是否为真。这是第一个由计算机生成的数学证明。
