逻辑与计算

摘要：

@@ 图灵指出:"我希望数字计算机能够最终激起人们对符号逻辑的极大兴趣……人与这些机器的交流的语言构成了一种符号逻辑."[1](P122)图灵所暗示的就是:程序设计语言不过是一种逻辑语言,而程序(或称算法)不过是用该语言表示的一列推理规则.

机标关键词：符号逻辑、程序设计语言、语言构成、推理规则、图灵、数字计算、逻辑语言、兴趣、算法、交流、机器、机能

所属期刊栏目：34

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

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

页数：共4页

页码：41-44