­

嘿,圖靈,生日快樂!

  • 2019 年 12 月 1 日
  • 筆記

今天是 6 月 23 日,也是阿蘭·圖靈的 106 周年誕辰。

這位被後世稱為「人工智能」之父的偉大數學家、密碼學家、哲學家,卻在他短短的四十二年生命中,體驗了少年成名、榮譽滿堂,也嘗盡了壯士斷腕、世人冷眼的滋味。

圖靈的學霸三連SF

圖:少年圖靈,就讀於舍爾伯尼公學

跳過天才們相似的童年,出生在英國富人階級家庭的圖靈,一直享受着良好的貴族教育,小小年紀就拿齊了一手好牌,以下是圖靈的「學霸三連」:

24 歲(1936),發表論文「論數字計算在決斷難題中的應用」,首次在論文附錄中提出設想:一種可以輔助數學研究的機器,後來被人稱為「圖靈機」。

25 歲(1937),發表文章「可計算性與λ可定義性」,證明了圖靈機可計算函數與λ可定義函數是等價的。對計算理論的嚴格化、計算機科學的形成和發展都具有奠基性的意義。

26 歲(1938),獲得普林斯頓大學的博士學位,其論文題目為「以序數為基礎的邏輯系統」,在數理邏輯研究中產生了深遠的影響。

兩大學神的情深緣淺

圖靈在普林斯頓大學博士畢業後,馮·諾依曼曾以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 萬。

為此,當時的英國政府及首相戈登布朗不得不發表正式的道歉聲明。

首相戈登布朗在「每日電訊報」撰文,因為英國政府當年以同性戀相關罪名起訴圖靈並定罪,導致他自殺身亡,正式向艾倫·圖靈公開道歉。

後來的後來

BBC 於 2005 年製作了關於圖靈的長篇紀錄片「圖靈傳」、2009 拍攝了英劇「圖靈傳」,2014 年上映了「 The Imitation Game 模仿遊戲」。

圖靈的生平,不斷在熒幕上重現和演繹。

電影:The Imitation Game 模仿遊戲

英劇: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

雙曲光線完美無瑕 穿越時空永遠流淌 積累美妙斑斕光波 演出上帝的童話劇

超神經小百科

單詞

cryptography

[krɪp'tɒlədʒɪ] n. 密碼研究,密碼學

encrypt 加密 decrypt 解密

discriminant

[dɪ'skrɪmənənt] n. 判別式

詞組

Computational Number Theory 計算數論

Bayesian Network 貝葉斯網絡