1945年，数学家冯·诺依曼在研究EDVAC机时提出了____的概念，这是冯·诺依曼机器的核心思想。