即使我們把所有崇高的致意奉獻給他都不為過。他就是阿蘭·圖靈。100年前,阿蘭·圖靈誕生在一個文化和科技水平都與現(xiàn)在完全不同的時代里,但這并不影響他成為今天最偉大最值得紀念的人之一。
阿蘭·圖靈擁有傳奇的一生。他擁有的數(shù)學天賦幫助拯救了數(shù)以萬計的生命,然而作為同性戀者卻被當時的社會所譴責遺棄,無奈中選擇結束自己的生命。他的存在充滿光芒,結局卻是黯淡。他為計算機領域奠定了不可埋沒的基礎,沒有他就沒有計算機的今天。1936年,還在劍橋國王學院就讀的阿蘭·圖靈發(fā)表重要論文《論可計算數(shù)及其在判定問題上的應用》,提出算法(algorithms)和計算機(computing machines)兩個核心概念,一直讓我們受用到今天。
談及圖靈時不得不提他在二戰(zhàn)時為盟軍所作的杰出貢獻。當時他在布萊切利公園擔任解碼專家,于1940年創(chuàng)造出可以破譯德軍密報的機器Bombe,為盟軍的勝利立下了汗馬功勞。戰(zhàn)后,阿蘭·圖靈任職于泰丁頓國家物理研究所,開始從事“自動計算機”(Automatic Computing Engine)的邏輯設計和具體研制工作。1946年,圖靈發(fā)表論文闡述存儲程序計算機的設計。他的成就與研究離散變量自動電子計算機的約翰·馮·諾伊曼同期。圖靈的自動計算機與諾伊曼的離散變量自動電子計算機都采用了二進制,都以“內(nèi)存儲存程序以運行計算機”打破了那個時代的舊有概念。
程序被儲存在電腦內(nèi)存中意味著程序可以自動運行,此項突破為計算機領域打開了一扇人工智能的大門。值得一提的是,1947年與圖靈同在國家物理研究所研究自動計算機的哈里·哈斯基(Harry Huskey )在1954將自動計算機的設計概念應用于Bendix公司的G-15計算機上,而也就是在這一年,阿蘭·圖靈選擇結束了自己的生命。
1949年,圖靈成為曼徹斯特大學(University of Manchester )計算實驗室的副院長,致力研發(fā)運行Manchester Mark 1型號儲存程序式計算機所需的軟件。1950年他發(fā)表論文《計算機器與智能》,為后來的人工智能科學提供了開創(chuàng)性的構思。提出著名的“圖靈測試”,指出如果第三者無法辨別人類與人工智能機器反應的差別,則可以論斷該機器具備人工智能。
以上對圖靈一生成就的陳述只是他所有成就的一個片段,語言很難概述他具體為我們現(xiàn)在科技的繁榮做出了多大的貢獻。如今,美國計算機協(xié)會設立圖靈獎為其最高獎項。
圖靈留下的偉大思想還在演化前進,他清晰的思維和無與比擬的創(chuàng)造力激勵著與他一起工作的每一位同事;他提出的概念,如圖靈機,又在為可計算性(computability)和可判斷性(decidability)提供理論基石。因他被賦予生命的每一臺計算機與計算機器,如解碼機“Bombe”與“自動計算機”,驅(qū)散了計算機領域的迷云,為21世紀計算機的產(chǎn)業(yè)騰飛指明了道路。
如果他能夠活到今年,不知他看到今日的景象會有如何的感想,又能為我們提出哪些值得思考的問題。相信如果有他在,很多問題都能夠迎刃而解。我們的壽命有限,這是人類無法突破的自我局限性,它注定了我們在某些時候不得不停下自己探索的腳步。不過圖靈的人工智能理論給我們提供了一個參考答案,我們可以借助人工智能來彌補自己生命的短暫。機器人們可以背負人類的使命,代替人類走向太空。
對于許多谷歌的工程師而言,圖靈他們是心中的英雄。能夠站在圖靈的肩膀上研究、奮斗是我們這一群人的榮幸,他是我們的傳奇,我們的英雄。
(本文作者文特·瑟夫與羅伯特·卡恩一同創(chuàng)立了TCP/IP協(xié)議,被稱為“互聯(lián)網(wǎng)之父”。)