论图灵的可计算思想

摘要：

图灵的可计算思想有着深刻的思想渊源，莱布尼兹、弗雷格和哥德尔对于人工语言研究的发展皆对图灵的可计算思想有影响。图灵在《论可计算数在判决性问题中的应用》中提到图灵机和通用计算机两个抽象机器，并描述了两种机器的基本结构以及运行方式，其中，通用计算机是现代计算机的原型。图灵的可计算思想从根本上影响了冯·诺依曼，并使得冯·诺依曼建造出人类第一台计算机。图灵对于现代计算机以及机器思维方面的发展所做出的贡献是无法取代的。

关键词：可计算思想、图灵机、通用计算机、现代计算机、机器思维

所属期刊栏目：30

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

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

页数：共6页

页码：32-37