计算机之父冯·诺伊曼对计算机逻辑的探讨及其意义 |
| |
作者姓名: | 潘沁 |
| |
作者单位: | 桂林电子科技大学公共事务学院广西桂林541004 |
| |
基金项目: | 广西高等学校人文社会科学研究基金“现代计算机理论中的哲学方法论研究”的研究成果之一,项目编号:SK13YB032. |
| |
摘 要: | 冯·诺伊曼是第一个把注意力从研究自动机的机械制造转移到研究自动机逻辑形式上的计算机专家,他认为在当前还没有真正拥有自动机理论,即恰当的数理逻辑理论。他对自动机的数学与现存的逻辑学做了比较:1.自动机数学中使用分析数学方法,而形式逻辑是组合的,2.自动机逻辑理论是概率的,而数理逻辑是决定的;并提出了自动机新逻辑理论的特点,指出了缺乏恰当数学理论所造出的后果。
|
关 键 词: | 冯·诺伊曼 计算机 逻辑 |
本文献已被 维普 等数据库收录! |
|