他因同性戀被判「激素」治療,卻是20世紀最偉大的偶像級科學家
科學家阿蘭·圖靈在BBC「偶像」系列的現場決賽中,被評為「20世紀最偉大的人物」。
英國BBC新聞網新版塊「偶像(ICON)」欄目發起「20世紀最偉大人物」評選,選擇的範圍廣泛,其類別包括藝術家、活動家、體育明星、演藝人員、科學家、探險家和領導者等7個版塊,總計入圍28位候選人。
1月14日公布的「科學家篇」名單中,中國首位諾貝爾生理學或醫學獎得主屠呦呦成功進入圍候選人名單,包括《科學網》在內的國內各個媒體都曾經報導。
2月5日,阿蘭·圖靈在公眾投票中,超越其他6位進入決賽的選手(馬丁·路德·金、納爾遜·曼德拉、歐內斯特·沙克爾頓、戴維·鮑伊、穆罕默德·阿里和巴勃羅·畢加索),被命名為英國廣播公司「20世紀最偉大的偶像」。
主持人克里斯·帕克漢姆對圖靈的生平和遺產發表了充滿激情的演講。他說:「圖靈給我們的禮物是我們的未來。」帕克漢姆邀請觀眾舉起手機,提醒他們,圖靈在創造現代計算機工作方面的貢獻,「我們醒來的時候他和我們在一起。當我們晚上睡覺的時候,他和我們在一起。當我們和我們所愛的人交談的時候,他和我們在一起。」他說補充說:「科學家是我們未來的唯一希望,他們擁有阿蘭·圖靈的遺產。」
下面根據Jack Copeland的《The Essential Turing》一書,編譯簡介有阿蘭·圖靈的生平(原文見參考資料[1]),該書書全面介紹並收錄了阿蘭·圖靈在計算機、邏輯、哲學、人工智慧和人工生命等方面的開創性著作,以及在二戰期間破解德國海軍密碼。
阿蘭·馬西森·圖靈(Alan Mathison Turing)於1912年6月23日出生於倫敦,1954年6月7日在柴郡威爾姆斯洛的家中去世。圖靈在邏輯學、數學、生物學、哲學、密碼分析做出了貢獻,並對後來被稱為計算機科學、認知科學、人工智慧和人工生命的領域做出了開創性的貢獻。
1931年10月圖靈到劍橋國王學院讀數學,於1934年畢業。1935年3月被選為國王學院的一員,年僅22歲。
1936年,他出版了他最重要的理論著作《關於可計算數及其應用於判定問題[決策問題]》。文章描述了抽象數字計算機——現在簡稱通用圖靈機——是現代計算機的基礎。圖靈關於通用存儲程序計算機的基本思想,在美國由約翰·馮·諾依曼提升,在英國由馬克斯·紐曼提升。到1945年底,幾個小組,包括在倫敦圖靈自己在內的小組,都在開展設計電子存儲程序通用數字計算機——硬體圖靈機的計劃。
1936年,圖靈離開劍橋前往美國,在普林斯頓大學繼續他的研究。1938年,他在那裡完成了一個名為「基於序數的邏輯系統」的博士學位,隨後以同樣的標題出版。這是一部經典著作,它論述了哥德爾著名的不完全性結果的含義。圖靈對數學推理進行了新的分析,並繼續進行研究,從「關於可計算數」開始,研究不可計算的問題——這些問題「太難」了,計算機無法解決(即使是具有無限時間和內存的問題)。
1938年夏天,圖靈回到國王學院學習。1939年9月爆發與德國的戰爭時,他搬到了政府法典和密碼學校的戰時總部布萊奇利公園。圖靈在布萊奇利公園的出色工作產生了深遠的影響。一位著名的布萊奇利密碼分析員說,「我不會說圖靈的所作所為,讓我們贏得了戰爭,但我敢說沒有他,我們可能會輸掉戰爭」。
圖靈破解了德國海軍的Enigma(德語,一般譯為「謎」式密碼機),是高速密碼破譯機「Bombe(一般譯為「炸彈」)」的主要設計者——巧妙的Bombe從Enigma中獲得大量的高級情報,這是大西洋戰役獲勝的決定性因素。據估計,圖靈和他的同事所做的工作將歐洲戰爭縮短了至少兩年。圖靈對盟軍勝利的貢獻是一個國家機密,是他得到的唯一的官方認可。
1945年,戰爭結束後,圖靈被招募到倫敦的國家物理實驗室(NPL),他的任務是設計和開發電子數字計算機——通用圖靈機器的具體形式。他的設計(用於自動計算引擎或ACE)比當時在大西洋兩岸考慮的任何設計都要先進。圖靈和他的團隊在等待工程師們建造ACE的同時,開創了計算機編程的科學,為計劃中的機器編寫了一個複雜的數學程序庫。
圖靈建立了現在被稱為「人工智慧」的領域,並且是早期人類大腦實際上是一台數字計算機理論的主要倡導者。1947年2月,他發表了最早的公開演講,提到計算機智能。他的技術報告《智能機械》寫於1948年,實際上是人工智慧的第一個宣言。兩年後,圖靈在他的著名文章《計算機器和智能》中提出(後來被稱為)圖靈測試,作為機器能否思考的標準。
最終,NPL的工程師們在建造世界上第一台可工作的電子存儲程序數字計算機的競賽中輸了,這一榮譽於1948年6月在曼徹斯特大學的計算機實驗室獲得。通用圖靈機的概念對曼徹斯特計算機項目產生了基本影響(通過的策劃者紐曼)。1948年晚些時候,應紐曼的邀請,圖靈擔任計算機實驗室的副主任(沒有主任)。圖靈在曼徹斯特大學度過了他短暫的職業生涯。1951年3月,他被選為倫敦皇家學會會員,1953年5月,他被任命為曼徹斯特計算機理論的准教授職位。
1952年3月,在曼徹斯特,他因同性戀行為(當時在英國是一種犯罪行為)被起訴,並被判處12個月的「激素」治療,這是他幫助拯救的國家對他的最惡劣治療方式,但他似乎表現出了有趣的剛毅。
在他生命的最後,圖靈開創了現在被稱為人工生命的領域。他1952年的文章《形態形成的化學基礎》描述了他關於生物模式和形態發展的一些研究。這項研究在他最後幾年處於主要地位,儘管如此,他還是抽出時間在1953年發表了他關於計算機象棋的經典文章,1954年的《可解和不可解的問題》,這又回到了「關於可計算數」的話題。從1951年起,他使用計算機實驗室的Ferranti Mark I(第一台商業化生產的電子存儲程序計算機)來模擬生物生長的各個方面,在這項開創性的工作中,他去世了。
圖靈是一個遠見卓識的天才,他的研究有著顯著的廣度:數學邏輯、數學基礎、計算機設計、數學中的機械方法、密碼分析和象棋、智力和智力的本質以及生物生長的機制。為了紀念他對計算機科學的巨大貢獻,由美國計算機協會(ACM)於1966年設立一年一度的圖靈獎,以表彰在計算機科學中做出突出貢獻的人,圖靈獎被喻為「計算機界的諾貝爾獎」。
【參考資料】
[1] Edited by B. Jack Copeland. The Essential Turing. Seminal Writings in Computing, Logic, Philosophy, Artificial Intelligence, and Artificial Life plus The Secrets of Enigma. Oxford University Press. 2004
※交通噪音越大,越容易長胖!
※一個「肺癌細胞」的獨白:我從何而來,將去往何處
TAG:科學網 |