冯·诺依曼的计算机科学哲学思想

冯·诺依曼是计算机科学哲学理论的主要奠基人之一。他的计算机科学哲学思想主要体现在他的自动机理论中。冯·诺依曼为自动机理论奠定了逻辑基础。他认为最高层次的抽象应当借助严密的数理逻辑方法去完成。在他看来,只有抽象的形式结构可以了解整个世界;只有严密的逻辑体系才可能包含普遍真理,计算机的设计必须追求逻辑简洁性。在他看来,借助数量极少的术语和规则可以在计算机上作出极其复杂的计算或推理。不断追求逻辑的简洁性和形式美,是计算机科学研究的永恒目标。逻辑简洁性、数学和谐性和形式美的理念在他的自动机理论中表现得淋漓尽致。冯.诺依曼的自动机理论源于毕达哥拉斯主义,是毕达哥拉斯主义数学自然观的产物。