冯·诺依曼提出了存储程序，程序自动控制理论，并首次创立了二进制代数。（）