冯·诺依曼在计算机理论中提出了存储程序的思想，这是现代计算机系统的核心原理。