在哥德尔研究成果的影响下,二十世纪三十年代后期图灵从计算一个数的一般过程入手对计算的本质进行了研究,从而实现了对计算本质的真正认识。图灵用形式化方法表述了计算这一过程的本质,图灵的研究成果是哥德尔研究成果的进一步深化,该成果不仅再次表明了某些数学问题是不能用任何机械过程来解决的思想而且还深刻地揭示了计算所具有的能行过程的本质特征。图灵的描述是关于数值计算知道英文字母表的字母以及汉字均可以用数来表示,计算的每一过程都可以用字符串的形式进行编码,并存放在存储器中,以后使用时译码并由处理器执行。
相关推荐: