单选题 最早提出存储程序体系结构，从而奠定了现代计算机理论基础的科学家是（ ）