一区二区三区日韩精品-日韩经典一区二区三区-五月激情综合丁香婷婷-欧美精品中文字幕专区

分享

名人X檔案之艾倫·圖靈|紀念圖靈誕辰 110 周年

 學術頭條 2022-06-23 發(fā)布于北京

名人X檔案 page one

艾倫·圖靈

艾倫·圖靈(Alan Turing),英國計算機科學家、數(shù)學家、邏輯學家、密碼分析學家和理論生物學家,被譽為計算機科學與人工智能之父。1912 年 6 月 23 日出生于英國倫敦,1954 年 6 月 7 日因食用浸過氰化物溶液的蘋果而去世。

圖靈的一生,始終將科學置于一切之上,對數(shù)學、密碼分析、邏輯學、哲學和數(shù)學生物學,以及計算機科學、人工智能和認知科學都做出了重要貢獻。

1950 年,圖靈發(fā)表了一篇劃時代的論文——《計算機器與智能》(Computing Machinery and Intelligence),在論文中提出了“機器會思考嗎?”的疑問,并預言了創(chuàng)造出具有真正智能的機器的可能性。圖靈相信,計算機最終將可以進行與人類沒有區(qū)別的思考,并提出了圖靈測試來評估機器是否具有智能。如今,這一論文被廣泛認為是人工智能研究的基礎。


同時,圖靈在密碼學方面也頗有造詣。在第二次世界大戰(zhàn)期間,圖靈設計了一些加速破譯德國密碼的技術,包括改進波蘭戰(zhàn)前研制的機器 Bombe,成功破譯了密碼系統(tǒng) Enigma。

此外,圖靈還是一位世界級的長跑運動員,他的馬拉松最好成績是 2 小時 46 分 03 秒(手動計時),只比 1948 年倫敦奧運會男子馬拉松冠軍 Delfo Cabrera 慢了 11 分鐘。

值此圖靈誕辰 110 周年之際,學術頭條謹以此文紀念這位偉大的、命運坎坷的科學家。



110 年的“今天”,1912 年 6 月 23 日,圖靈在一個普通的公務員家庭出生了。

當時,可能連圖靈的父母都不會想到,他們的孩子會在幾十年后為人類科學做出一個又一個的偉大工作。

圖靈的一生是閃耀的。

他提出的圖靈機模型,為現(xiàn)代計算機的邏輯工作方式奠定了基礎。

他在第二次世界大戰(zhàn)期間,成功破譯了德國的密碼系統(tǒng) Enigma。

他僅僅在大學畢業(yè)一年后,就當選為劍橋大學國王學院的研究員。

他被《自然》雜志稱贊是“有史以來最具科學思想的人物之一”......

圖靈的一生也是不幸的。

他因同性戀傾向而遭到當時的英國政府迫害,職業(yè)生涯盡毀。

他因食用浸過氰化物溶液的蘋果而離奇死亡......

16 歲的圖靈

Alan Mathison Turing

sixteen

/ 通用圖靈機發(fā)明者 /

圖靈從小就表現(xiàn)出了過人的才華,對數(shù)字和智力游戲十分著迷,之后便一發(fā)不可收。


1931 年,圖靈進入劍橋大學學習數(shù)學。1934 年以優(yōu)異成績畢業(yè)后,圖靈他在概率論方面的貢獻,被選為劍橋大學國王學院的研究員。

在數(shù)學家看來,解決問題的“有效”方法,其實就是僅需要一個人類數(shù)學文員(mathematical clerk)死記硬背就能搞定的方法。在圖靈生活的那個年代,那些死記硬背的工人實際上被稱為“人類計算機”,他們完成了一些后來由電子計算機完成的工作。


決策問題(The Entscheidungsproblem)尋求一種有效的方法來解決基本數(shù)學問題,即判斷哪些數(shù)學命題在給定的形式數(shù)學系統(tǒng)中是可證明的,哪些是不可證明的。判斷這一點的方法被稱為決策方法。

1936 年,圖靈的開創(chuàng)性論文《論可計算數(shù)及其在判定問題中的應用》

On Computable Numbers, with an Application to the Entscheidungsproblem

被美國數(shù)理邏輯學家阿隆佐·邱奇(Alonzo Church)推薦發(fā)表。

在論文中,圖靈提出了著名的“圖靈機”的設想,將邏輯中的任意命題用一種通用的機器來表示和計算,并能按照一定的規(guī)則推導出結論,其推斷結果通俗來講則是:圖靈機能計算的函數(shù)就是可計算的函數(shù),反之則是不可計算的函數(shù)。

邱奇是圖靈之后的博士導師,盡管他早于圖靈得出了相同的結論,但圖靈的論證更易于理解和直觀,通用(圖靈)機的概念也更新穎。圖靈的方法對新興的計算科學有著深遠的意義。

1937-1938 年,圖靈在普林斯頓大學度過了大部分時間,在邱奇的指導下獲取了博士學位。圖靈的論文介紹了超計算的概念,在圖靈機加上了預言機,讓研究圖靈機無法解的問題變得可能。

/ 密碼破譯者 /

從普林斯頓大學畢業(yè)后,圖靈回到了倫敦大學國王學院,隨后加入了英國政府通信總部。

而在此幾周之前,波蘭政府向英國和法國提供了波蘭破解德國軍方用于加密無線電通信的主要密碼機 Enigma 的細節(jié)。

1930 年代的圖靈

早在 1932 年,一個由 Marian Rejewski 領導的波蘭數(shù)學家密碼分析小組就成功地推導出了 Enigma 的內部連接。


1938 年,Rejewski 團隊設計出了一種名為 Bomba 的密碼破譯機。Bomba 的成功依賴于德國的操作程序,但 1940 年 5 月,德國更改了原有操作程序,Bomba 便失去了作用。

于是,在 1939年秋天到 1940 年春天期間,由圖靈領導的一個小組便重新設計了一個相關的、但非常不同的密碼破譯機,并將其命名為 Bombe。

在第二次世界大戰(zhàn)期間,Bombe 為同盟國提供了大量的軍事情報。到 1942 年初,布萊切利園(英國政府進行密碼破譯工作的主要地方)的密碼分析人員每月破譯的截獲信息達到了 3.9 萬條,這一數(shù)字在之后更是上升到了 8.4 萬。

密碼機 Enigma

密碼破譯機器

Bombe


1942 年,圖靈還提出了第一個系統(tǒng)性方法,來破解由更精密的德國密碼機(英國人稱之為“Tunny”)加密的信息。

圖靈也因在密碼破譯工作中做出的巨大貢獻而被授予大英帝國勛章。

/ 計算機設計者 /

1945 年,圖靈被招募到倫敦的國家物理實驗室(NPL),任務是制造一臺電子計算機。他的自動計算引擎(ACE)設計是電子存儲程序通用數(shù)字計算機的第一個完整規(guī)范。如果完全按照圖靈的計劃制造,ACE 將擁有比其他早期計算機多得多的內存,速度也會更快。但是,圖靈的同事們認為這個工程太難了,便制造了一個小得多的機器,即 Pilot Model ACE。

導致的結果就是,NPL 在“建造世界上第一臺可工作的電子存儲程序數(shù)字計算機”的競賽中失利了,這一榮譽被曼徹斯特大學計算機實驗室摘得。

圖靈對 NPL 的拖延感到沮喪,同年便加入了曼徹斯特大學計算機實驗室,擔任實驗室副主任,負責最早的真正的計算機——曼徹斯特一號的軟件工作。


圖靈早期提出的通用圖靈機的理論概念,從一開始就對曼徹斯特計算機項目產(chǎn)生了根本性的影響。圖靈來到曼徹斯特大學后,對計算機發(fā)展的主要貢獻是利用布萊切利園的技術設計了一個輸入輸出系統(tǒng),并設計了對應的編程系統(tǒng)——后來被用在第一臺商用電子數(shù)字計算機 Ferranti Mark I 中。當然,圖靈還配套編寫了第一本編程手冊。

位于布萊切利園的圖靈石像

1952 年,圖靈編寫了一個國際象棋程序。但當時還沒有一臺計算機有足夠的運算能力去執(zhí)行這個程序。于是,圖靈就模仿計算機,每走一步要用半小時,他與一位同事下了一盤,結果是:這個程序輸了。

后來,美國洛斯阿拉莫斯國家實驗室的研究組根據(jù)圖靈的理論,在 ENIAC 上設計出了世界上第一個電腦程序的國際象棋——洛斯阿拉莫斯國際象棋。

/ 人工智能開拓者 /

圖靈的一生,始終將科學置于一切之上,對新技術十分感興趣。

在人工智能領域,圖靈是人工智能和現(xiàn)代認知科學的奠基人,是“人類大腦在很大程度上可以被看作為一臺數(shù)字計算機”這一假設的早期倡導者。

在圖靈看來,早期的大腦皮層只是一個“無組織的機器”,但會通過后天的訓練變得更“有組織”,進而演變成一個通用機器或類似的東西。

圖靈希望計算機也能通過訓練變得越來越智能,于是便花費了很多時間來研究算法、復雜的計算機系統(tǒng)和人工智能的發(fā)展,以及其他科學家向智能機器提出的問題。

1950 年,圖靈發(fā)表了一篇劃時代的論文——《計算機器與智能》(Computing Machinery and Intelligence),在論文中提出了“機器會思考嗎?”的疑問,并預言了創(chuàng)造出具有真正智能的機器的可能性。

為了更好地驗證計算機是否可以像人一樣說出自然語言,且與人類之間的差異無法被發(fā)現(xiàn),圖靈提出了著名的圖靈測試,即如果一臺機器能夠與人類展開對話而不被辨別出其機器身份,這臺機器就具有智能。

有意思的是,當時的圖靈認為,計算機有望在 2000 年左右通過圖靈測試。但遺憾的是,這一預測并沒有應驗。

1951 年代的圖靈

/ 不幸者 /

1951 年 3 月,圖靈榮膺為倫敦皇家學會的會員,這是一項很高的榮譽,但他的生活也自此變得非常艱難。

1952 年,圖靈的同性伴侶協(xié)同一名同謀一起闖進圖靈的房子行竊,但是英國警方的調查結果使得他被控以“明顯的猥褻和性顛倒行為”罪(同性戀在當時的英國是一種罪行)。

在公審過后,圖靈面臨兩個選擇:坐牢,或者接受女性荷爾蒙注射“療法”(即化學閹割)。圖靈選擇了長達一年的雌激素注射。雌激素注射產(chǎn)生的副作用,使得原本熱愛體育運動的圖靈在身心上受到極大的傷害。


也因此,圖靈再也不能為英國政府通信總部工作了。

。

。

。

從 1951 年直到去世,圖靈便一直做人工生命(artificial life)方向的研究。1952 年,圖靈發(fā)表了《形態(tài)發(fā)生的化學基礎》一書,描述了他在生物體形態(tài)和模式發(fā)展方面的研究,并使用計算機模擬了他所假設的動物和植物解剖結構生成的化學機制。

在這項開創(chuàng)性的工作中,圖靈因食用浸過氰化物溶液的蘋果而死亡。當時很多人認為他是有意吃了蘋果,并斷定他是自殺。

但是,圖靈的意外死亡,通常會被聯(lián)想到他在被指控為同性戀后接受的激素“治療”,盡管他是在停止注射激素一年多后去世的。但從驗尸報告來看,沒有任何證據(jù)表明圖靈有意自殺,也沒有證據(jù)表明圖靈存在精神問題。

不管怎樣,這個世界確實損失了一位可能改變世界的人。

/  /  /  /  /

2009 年 9 月,一份超過 3 萬人的請愿簽名,迫使英國首相戈登·布朗(Gordon Brown)代表英國政府公開為圖靈受到的“完全不公平”(utterly unfair)的對待而道歉。


4 年后,英國女王伊麗莎白二世赦免了圖靈。

這就是圖靈,偉大而不幸的人生。

參考資料

https://www./biography/Alan-Turing
https://en./wiki/Alan_Turing

福利送書TIME

《永恒的圖靈》

圖靈誕辰百年至今,偉大思想的光芒恒久閃耀。本書云集20位不同方向的頂尖科學家,共同探討圖靈計算思想的濫觴,特別是其對未來的重要影響。

這些內容不僅涵蓋我們熟知的計算機科學和人工智能領域,還涉及理論生物學等并非廣為人知的圖靈研究領域,最終形成各具學術鋒芒的15章。

 獲獎方式

圖靈逝世一直是很多人心中無法彌補的遺憾。

如果可以乘坐時光機回到過去,回到圖靈還在世的年代,

你最想告訴他【如今人工智能的哪項發(fā)展或應用呢?】

【想要告訴他某項發(fā)展的理由又是什么?】

評論區(qū)留下你的答案,抽取留言點贊排名1~5樓(24小時)的5位讀者朋友

各送上一本《永恒的圖靈》。

    轉藏 分享 獻花(0

    0條評論

    發(fā)表

    請遵守用戶 評論公約

    類似文章 更多

    激情五月综五月综合网| 中日韩免费一区二区三区| 国语久精品在视频在线观看 | 可以在线看的欧美黄片| 爱在午夜降临前在线观看| 欧美日韩少妇精品专区性色| 亚洲清纯一区二区三区| 中文字幕熟女人妻视频| 日韩午夜老司机免费视频| 人妻乱近亲奸中文字幕| 国产精品免费精品一区二区| 国产又色又爽又黄又免费| 日本人妻熟女一区二区三区| 亚洲欧美日本国产不卡| 国内胖女人做爰视频有没有| 欧美日韩国产亚洲三级理论片| 中文久久乱码一区二区| 久久三级国外久久久三级| 欧美一区二区不卡专区| 免费大片黄在线观看国语| 欧美日本精品视频在线观看| 日韩精品免费一区三区| 丰满人妻一二区二区三区av| 欧美日韩国产精品黄片| 中文精品人妻一区二区| 精品国产av一区二区三区不卡蜜 | 亚洲妇女黄色三级视频| 日韩av生活片一区二区三区| 日韩精品亚洲精品国产精品| 日韩女优视频国产一区| 久久这里只有精品中文字幕| 一区二区三区在线不卡免费| 久久碰国产一区二区三区| 美国女大兵激情豪放视频播放| 免费在线播放一区二区| 高跟丝袜av在线一区二区三区| 国产主播精品福利午夜二区| 国产午夜精品美女露脸视频| 中国一区二区三区人妻| 国产午夜福利在线观看精品| 国产精品内射婷婷一级二级|