计算机科学的哲学思想,冯_诺依曼计算机科学哲学思想.pdf

冯_诺依曼计算机科学哲学思想.pdf

28 ， 4 Vol． 28 No． 4

第 卷 第 期 科学技术哲学研究

20 11 8 Studies in Philosophy of Science and Technology Aug． ，20 11

年 月

·

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

，

任晓明 潘 沁

( ， 30007 1)

南开大学哲学院 天津

: · 。

摘 要 冯 诺依曼是计算机科学哲学理论的主要奠基人之一 他的计算机科学哲学思想主要体现在他的

。 · 。

自动机理论中 冯 诺依曼为自动机理论奠定了逻辑基础 他认为最高层次的抽象应当借助严密的数理逻辑方

。 ， ; ，

法去完成 在他看来 只有抽象的形式结构可以了解整个世界 只有严密的逻辑体系才可能包含普遍真理 计算机

。 ，

的设计必须追求逻辑简洁性 在他看来 借助数量极少的术语和规则可以在计算机上作出极其复杂的计算或推

。 ， 。 、

理 不断追求逻辑的简洁性和形式美 是计算机科学研究的永恒目标 逻辑简洁性 数学和谐性和形式美的理念

。 · ，

在他的自动机理论中表现得淋漓尽致 冯 诺依曼的自动机理论源于毕达哥拉斯主义 是毕达哥拉斯主义数学自

然观的产物。

: · ; ; ;

关键词 冯 诺依曼 自动机理论计算机科学哲学 毕达哥拉斯主义

中图分类号:N02 文献标识码:A 文章编号:1674 － 7062 (2011)04 － 0018 － 05

· (John Von Neumann )

冯 诺依曼 的计算机科 的计算机逻辑结构的设计奠定了后来的计算机逻辑

。 “ · ”

学哲学思想主要体现在计算机逻辑理论和自动机理 理论的基础 下面我们来看看 冯 诺依曼机 的

论中。他的自动机理论研究始于他对电子计算机逻 逻辑设计是如何体现数学和谐性和逻辑简洁性原则

辑理论的研究。早期的计算机的逻辑设计是他提出 的。

， 20 30 ，

自动机理论的第一步 随后他又进一步提出了自动 世纪 年代 电子学的发展以及研制穿孔

。 · ，

机理论的总体构想与模型 冯 诺依曼的自动机理 卡片式统计分析机的经验 为创立电子计算机提供

、 ， 。 ，

论是高度数学化 形式化的 他常常把他的自动机理 了主要的技术前提 当时 负责研制第一台计算机

“ ”， “