圖靈機與計算機科學

圖靈機 阿蘭·麥席森·圖靈AlanMathisonTuring,6月23日生於英國倫敦.是英國著名的數學家和邏輯學家,被稱爲計算機科學之父、人工智能之父,是計算機邏輯的奠基者,提出了「圖靈機」和「圖靈測試」等重要概念.人們爲紀念其在計算機領域的卓越貢獻而設立「圖靈獎」.1937年,阿蘭·麥席森·圖靈發表的一篇文章「可計算性與λ可定義性」拓廣了丘奇(Church)提出的「丘奇論點」,形成「丘奇-圖靈

>>阅读原文<<