放大圖片
■艾倫.圖靈被尊稱為「電腦科學之父」。 網上圖片
今年被定為「艾倫.圖靈年」(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
逢周三見報
|