找考题网-背景图
单项选择题

A.图灵用形式化方法成功地表述了计算这一过程的本质B.根据图灵的研究,直观地说,计算就是计算者(人或机器)对一……

​在哥得尔等人研究成果的影响下,20世纪30年代后期,图灵从计算一个数的一般过程入手对计算的本质进行了研究,从而实现了对计算本质的真正认识。下列说法不正确的是()。

A.图灵用形式化方法成功地表述了计算这一过程的本质
B.根据图灵的研究,直观地说,计算就是计算者(人或机器)对一条两端可无限延长的纸带上的一串0和1执行指令,一步一步地改变纸带上的0或1,经过有限步骤,最后得到一个满足预先规定的符号串的变换过程
C.图灵的研究成果是哥得尔研究成果的进一步深化,该成果不仅再次表明了某些数学问题是不能用任何机械过程来解决的思想,而且还深刻地揭示了计算所具有的“能行过程”的本质特征
D.图灵对图灵机的描述是关于数值计算的,因此,图灵机不能处理非数值计算

热门试题