What is computation?
What is computation?
复制标题
DOI：
10.1007/bf00413693
复制
发表时间：
1996-09-01
期刊：
影响因子：
1.5
通讯作者：
Copeland, BJ
中科院分区：
文献类型：
--
作者：
Copeland, BJ
计算就是执行一种算法。更准确地说，说一个设备或器官进行计算是说，在它和算法和支持体系结构的形式规范之间存在某种建模关系。关键问题是如何界定“某一类”这一短语。我把这称为区分标准和非标准计算模型的问题。这一区别的成功绘制保护了图灵1936年对计算的分析，防止了一直被提出反对它的困难，并削弱了对计算心理理论的各种反对意见。
To compute is to execute an algorithm. More precisely, to say that a device or organ computes is to say that there exists a modelling relationship of a certain kind between it and a formal specification of an algorithm and supporting architecture. The key issue is to delimit the phrase 'of a certain kind'. I call this the problem of distinguishing between standard and nonstandard models of computation. The successful drawing of this distinction guards Turing's 1936 analysis of computation against a difficulty that has persistently been raised against it, and undercuts various objections that have been made to the computational theory of mind.