思思師語：艾倫．圖靈

http://paper.wenweipo.com [2012-05-16] 我要評論

放大圖片

■艾倫．圖靈被尊稱為「電腦科學之父」。網上圖片

　今年被定為「艾倫．圖靈年」（The Alan Turing Year），世界各地都有慶祝活動，紀念這位偉大思想家誕生一百周年。可是，對大部分人來說，「圖靈」這個名字恐怕仍是比較陌生，遠不及「愛因斯坦」那麼廣為人知，縱使圖靈對人類的貢獻確實可媲美愛因斯坦。

數學天才電腦之父

　圖靈1912年6月生於英國，在劍橋大學攻讀數學，其後研究數理邏輯。1936年發表他那篇劃時代的論文《論可計算數及其在判定問題上的應用》，在此文中，圖靈否定地回答了大數學家希爾伯特提出的著名問題：「數學是可判定的嗎？」即：對於任何數學命題，是否存在一個有限的機械方法（或稱「算法」）去判定那個命題的真假？在他的證明中，圖靈第一步要做的工作，就是對「算法」這個直觀的概念，給出一個精確的數學定義，為此圖靈提出了成為他對人類最偉大貢獻的那個概念─「圖靈機」（Turing Machine）。必須強調的是，「圖靈機」並不是一部存在於現實中的實體計算機器，而是一個高度理想化了的計算機器的抽象概念，只存在於思想中。儘管如此，圖靈通過一種特別的「圖靈機」─「通用圖靈機」（Universal Turing Machine）展示了電腦的基本原理，因此，圖靈1936年的這篇論文，代表著一門嶄新的科學─電腦科學─的誕生，這說明了為何圖靈被尊稱為「電腦科學之父」，以及為何電腦科學界最崇高的獎項名為「圖靈獎」（Turing Award）。

科學哲學均有貢獻

　除了電腦科學，圖靈在人工智能、認知科學和心靈哲學等領域裡，都作出了開創性的貢獻。1950年圖靈發表了他另一篇著名的論文《計算機器和智能》，在此文中，圖靈為了取代「電腦能思考嗎？」這個他認為太不明確的問題，提出了用「圖靈測試」（Turing Test）去判斷電腦是否擁有人類般的智能，其方法是僅僅通過文本的輸入輸出，測試電腦能否藉著提供答案，去欺騙發問的人，使他不能準確判斷它是電腦或是人。

　事實上，圖靈的影響遍及科學的每一個領域。雖然圖靈仍是遠不及愛因斯坦那麼廣為人知，但我相信，只要我們在享受電腦帶給我們無比方便和無窮樂趣的時候，不忘記電腦只不過是抽象的「通用圖靈機」的一個物理實現，那我們便會對圖靈對人類的偉大貢獻多一點理解，同時亦會對抽象思想多一份敬意。圖靈是這個電腦時代背後的「主腦」，正是他的思想使這一切成為可能。

　關於2012 The Alan Turing Year，可瀏覽http://www.turingcentenary.eu/。　■香港理工大學香港專上學院講師黃廣昌

網址：www.hkcc-polyu.edu.hk

逢周三見報

點擊排行榜

新聞專題