计算机之父冯·诺伊曼对计算机逻辑的探讨及其意义

摘要：

冯·诺伊曼是第一个把注意力从研究自动机的机械制造转移到研究自动机逻辑形式上的计算机专家,他认为在当前还没有真正拥有自动机理论,即恰当的数理逻辑理论.他对自动机的数学与现存的逻辑学做了比较:1.自动机数学中使用分析数学方法,而形式逻辑是组合的,2.自动机逻辑理论是概率的,而数理逻辑是决定的;并提出了自动机新逻辑理论的特点,指出了缺乏恰当数学理论所造出的后果.

关键词：冯·诺伊曼、计算机、逻辑

所属期刊栏目：32

分类号：B81(逻辑学(论理学))

资助基金：广西高等学校人文社会科学研究基金“现代计算机理论中的哲学方法论研究”的研究成果之一,项目SK13YB032

在线出版日期：2014-07-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：27-29