Reflections on a Symposium on Computation

被引：2

作者：

Denning, Peter J. ^{[1
]}

机构：

[1] USN, Postgrad Sch, Monterey, CA 93943 USA

来源：

COMPUTER JOURNAL | 2012年 / 55卷 / 07期

关键词：

algorithm; computation; computational model; computational process; computational thinking; information; information process; interactive computation; natural computation; nonterminating computation; physical computation; reactive computation; turing; turing computability; turing machines;

D O I：

10.1093/comjnl/bxs064

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

ACM Ubiquity hosted a symposium in 2010-2011 on Turing's question, 'What is computation?' The editor reflects on how the symposium was organized and what conclusions it reached. The authors showed strong consensus around the propositions that computation is a process, computational model matters, many computations are natural, many important computations are continuous, many important computations are nonterminating and computational thinking has emerged as a core practice of computing. They left open the questions of whether the Turing model is the best reference model, is computational necessarily a physical process, what is information and what is an algorithm.

引用

页码：799 / 802

页数：4