在 1954 年 6 月 7 日,冰冷的圖靈被女傭發現,圖靈死在位於英國柴郡的公寓裡。
這位被後世稱為「人工智慧之父」的偉大數學家、密碼學家、哲學家,卻在他短短的四十二年生命中,體驗了少年成名、榮譽滿堂,也嘗盡了壯士斷腕、世人冷眼的滋味。
圖:少年圖靈,就讀於舍爾伯尼公學
跳過天才們相似的童年,出生在英國富人階級家庭的圖靈,一直享受著良好的貴族教育,小小年紀就拿齊了一手好牌,以下是圖靈的「學霸三連」:
24 歲(1936),發表論文「論數字計算在決斷難題中的應用」,首次在論文附錄中提出設想:一種可以輔助數學研究的機器,後來被人稱為「圖靈機」。
25 歲(1937),發表文章「可計算性與 λ 可定義性」,證明了圖靈機可計算函數與λ可定義函數是等價的。對計算理論的嚴格化、計算機科學的形成和發展都具有奠基性的意義。
26 歲(1938),獲得普林斯頓大學的博士學位,其論文題目為「以序數為基礎的邏輯系統」,在數理邏輯研究中產生了深遠的影響。
圖靈可能自己都沒意識到,在自己少年時代的這幾篇論文,會給後世帶來持續重大的影響。
圖靈和馮·諾依曼的相似之處,在於兩個人都被稱為「現代計算機之父」,圖靈是英國計算機圖靈機的奠基人,而馮·諾依曼是美國計算機 ENIAC 的研製者之一,或者說說 ENIAC 就是以馮·諾依曼的理論為指導研製成功的,至今馮·諾依曼的思想仍然是計算機發展的指導性思想。
兩位大神也經常被拿來一起做比較,不過他們的確曾經有一段陰差陽錯的故事。
圖靈在普林斯頓大學博士畢業後,馮·諾依曼曾以 1500 美元的年薪,極力挽留圖靈留在普林斯頓,希望他能留校做自己的助理教授。
這相對於當時的收入,已經足夠豐碩,可惜兩個偉大的計算機領域牛人,未能一起共事。
如果當時得以實現,或許很多偉大的發明與設計會來的更早些,也許圖靈的命運也會有其他發展的可能。
二戰爆發,英國對德國宣戰後,早已回到英國的圖靈隨即入伍,在英國戰時情報中心的政府編碼與密碼學院服役。
當時德國研製出的密碼機,能將明文自動轉換為密碼(密文),再通過無線電或電話線路傳送出去。即使被截獲,英國軍隊也只能對著一大堆謎一樣的密碼嘆氣。
圖:戰時德國密碼機 Enigma
圖靈帶領 200 多位密碼專家,將政府編碼與密碼學院每月破譯的情報數量從 39000 條提升到 84000 條。
這些情報,在盟軍的諾曼第登陸等重大軍事行動中發揮了重要作用,圖靈因此在 1946 年獲得「不列顛帝國勳章」,此時的圖靈僅僅 34 歲。
歷史學家認為,他讓二戰提早了起碼兩年結束,至少拯救了 2000 萬人的生命。
1950 年,圖靈發表了一篇《機器能思考嗎?》的論文,成為劃時代之作,也正是這篇文章,為圖靈贏得了「人工智慧之父」的桂冠。
圖靈在這篇論文裡第一次提出「機器思維」的概念並提出一個假想:
即一個人在不接觸對方的情況下,和對方進行一系列的問答。
如果在一段時間內,他無法根據這些問題判斷對方是人還是計算機,那麼就可以認為這個計算機具有同人相當的智力,即這臺計算機是有智能思維的。
這就是沿用至今著名的「圖靈測試」。
圖靈不單單是整日埋頭研究的科學家,他有著豐富的業餘生活,藝術、詩歌和體育都是他的愛好。
其中,圖靈的長跑水平達到了專業運動員的水準,這一愛好在電影「模仿遊戲」中也有體現。
根據記錄,他的馬拉松最好成績為 2:46:03,這一成績僅僅比 1948 年奧運會的馬拉松最好成績慢了 11 分鐘。
在同年的一次國際馬拉松比賽中,圖靈還跑贏了當年的奧運會銀牌得主湯姆·理察斯。
1952 年,圖靈曾經的同性伴侶穆雷,闖進圖靈的房子盜竊,圖靈為此而報警。
在警方的幾輪審訓之後,圖靈承認了與穆雷之間的同性戀關係,並被控以「明顯的猥褻和性顛倒行為」罪。
在當時的保守年代,他違反了 1885 年刑法修正案第 11 條「嚴重猥褻罪」,此法是針對男性之間的身體接觸。
圖靈的同性戀身份不被世人所容,政府要求圖靈入獄或實施化學閹割刑罰,圖靈選擇了後者。化學閹割就是定期注射雌性激素,但藥物產生的副作用,讓圖靈飽受其害。
最終,在接受了為期一年多的「治療」後,難忍其辱的圖靈決定結束自己的生命。
在 1954 年 6 月 7 日,冰冷的圖靈被女傭發現時,床頭還有半個塗有氰化鉀劇毒的蘋果 ,距離自己的 42 歲生日,僅僅還剩兩周。
2009 年,英國計算機科學家康明(John Graham-Cumming)發起了為圖靈平反的在線請願,截止到同年的 9 月10 日請願籤名人數已經超過了 3 萬。
2009 年 9 月 11 日,當時的英國政府及首相戈登布朗,不得不發表正式的道歉聲明。
首相戈登布朗在「每日電訊報」撰文,因為英國政府當年以同性戀相關罪名起訴圖靈並定罪,導致他自殺身亡,正式向艾倫·圖靈公開道歉。
2013 年 12 月 24 日,英國女王伊莉莎白二世籤署對圖靈定性為「嚴重猥褻」的赦免,並立即生效。司法大臣克裡斯·格雷林說圖靈應被當之無愧地:應該記住並認可他對戰爭無與倫比的貢獻,而不是對他後來刑事定罪。
BBC 於 2005 年製作了關於圖靈的長篇紀錄片「圖靈傳」、2009 拍攝了英劇「圖靈傳」,2014 年上映了「 The Imitation Game 模仿遊戲」。
圖靈的生平,不斷在熒幕上重現和演繹。
電影:The Imitation Game 模仿遊(2014)
英劇:Codebreaker 圖靈傳
英劇:The turing enigma 圖靈密碼
在生命中的最後幾天,圖靈曾給友人 Robin 和 Nick 寫了幾張明信片,在其中一張明信片上,圖靈模仿基督教讚美詩格式,寫了這樣一首詩。
圖:該明信片手稿
Hyperboloids of wondrous Light
Rolling for aye through Space and Time
Harbour those Waves which somehow Might
Play out God's holy pantomime
雙曲光線完美無瑕
穿越時空永遠流淌
積累美妙斑斕光波
演出上帝的童話劇
—— 完 ——
圖靈獎背後:他們 30 年前就選對了賽道,押對了場景
為愛發電