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