超圖靈計算

  超圖靈計算 (2009-08-09 23:45:11) 標籤： 教育 分類： 工做篇 1. 圖靈的歷史貢獻php        阿蘭·圖靈[1]是一位天才的數學家，最先對歌德爾[2]關於「邏輯沒法刻畫全部數學公理」的證實進行了擴展，指出計算機不能徹底證實數學命題。這裏數學與計算機的聯繫後來被髮展成了計算機科學的數學基礎，如同物理學和其餘天然科學中的數學基礎同樣。本文指出，圖靈機並不適於做爲解決

>>阅读原文<<