圖靈是如何揭示計算本質的

在哥德爾研究成果的影響下,二十世紀三十年代後期圖靈從計算一個數的一般過程入手對計算的本質進行了研究,從而實現了對計算本質的真正認識。圖靈用形式化方法表述了計算這一過程的本質，圖靈的研究成果是哥德爾研究成果的進一步深化，該成果不僅再次表明了某些數學問題是不能用任何機械過程來解決的思想而且還深刻地揭示了計算所具有的能行過程的本質特徵。圖靈的描述是關於數值計算知道英文字母表的字母以及漢字均可以用數來表示，計算的每一過程都可以用字符串的形式進行編碼，並存放在存儲器中，以後使用時譯碼並由處理器執行。