當前位置:律師網大全 - 商標註冊 - 艾倫·淩簡介

艾倫·淩簡介

艾倫·圖靈簡介

艾倫?馬西森。圖靈,OBE,FRS(英文:阿蘭·麥席森·圖靈,又譯艾倫?圖靈,也常譯為圖靈或都靈,1912年6月23日1954年6月7日),是英國數學家和邏輯學家,被譽為計算機科學之父。

圖靈於1931進入劍橋大學國王學院。畢業後赴美國普林斯頓大學攻讀博士學位。二戰爆發後,他回到劍橋,幫助軍方破解了著名的德國密碼系統Enigma,幫助盟軍贏得了二戰的勝利。

圖靈為人工智能的發展做出了很多貢獻。比如圖靈曾經寫過壹篇文章,題目是《機器能思考嗎?》(機器會思考嗎?),其中提出了壹種判斷機器是否智能的測試方法,即圖靈測試。至今每年都有實驗比賽。此外,圖靈提出的著名的圖靈機模型為現代計算機的邏輯工作模式奠定了基礎。

圖靈是壹個著名的同性戀者,他因為自己的性取向受到了英國人的迫害,事業也毀了。他還患有花粉過敏。

圖靈也是世界級的長跑運動員。他的馬拉松最好成績是2小時46分3秒,比1948奧運會金牌慢了11分鐘。在65438到0948的跨國賽中,他擊敗了同年奧運會銀牌得主湯姆。湯姆·理查茲。[1]

兒童和青年

圖靈的父親朱利斯?馬西森。朱利葉斯·麥吉森·圖靈是英屬印度的公務員。1911年,圖靈的母親埃塞爾在印度查特拉布爾懷孕。他們希望艾倫出生在英國,所以他們回到倫敦,住在帕丁頓。因此,艾倫出生在那裏。他的父親被任命為公務員,這使他小時候在艾倫經常往返於英國和印度之間。由於擔心印度的氣候不利於孩子的成長,他離開了家,和朋友壹起住在英國。圖靈在很小的時候就表現出了他的天才,後來更加明顯。他說他用三周時間自學了閱讀,他對數字和智力遊戲很著迷。

在他六歲的時候,他的父母在壹個叫聖邁克爾的房間裏為他工作(聖邁克爾學校)註冊了走讀學校。女校長很快註意到了他的天才,隨後馬爾伯勒學院的許多教育家也註意到了這壹點。1926年,他十四歲時,轉學到多塞特郡的舍伯恩寄宿學校。開學第壹天,正好遇到壹個大* * *。圖靈決心要趕上第壹天上課,於是他壹個人騎著60英裏的自行車從南安普頓來到學校,在壹家旅館裏過了壹夜。

圖靈對科學天生的興趣並沒有打動他在舍伯恩的老師。他們對教育的定義側重於人文而非科學。盡管如此,圖靈在他最喜歡的學科中繼續表現出驚人的能力。在他學習基礎微積分之前,他能夠解決壹個對他的年齡來說非常深奧的問題。

1928年,圖靈16歲的時候,開始讀阿爾伯特?愛因斯坦的作品。他不僅理解,而且看到愛因斯坦對牛頓的運動定律有懷疑,盡管愛因斯坦的著作沒有明確指出這壹點。[2]

大學和可計算性工作

劍橋大學國王學院的機房,現在命名為圖靈。

1931年,圖靈被劍橋大學國王學院錄取。他以1934的成績畢業。1935因壹篇關於中心極限定理的論文當選國王學院院士。

圖靈在他的重要論文《論可計算數及其在判斷問題中的應用》(英文:On Computable Numbers,附應用於entscheidungssprout,提交於5月28日,1936)中,重新討論了哥德爾1931中證明和計算的結果。他用壹種現在稱為圖靈機的簡單形式裝置取代了哥德爾基於壹般算術的形式語言。由於其速度較慢,圖靈證明了這樣的機器有能力解決任何可以想象的數學問題,如果這些問題用算法來表達的話,即使沒有圖靈機有任何實際用途。時至今日,圖靈機仍然是計算理論研究的中心課題。他接著證明了決策問題沒有答案。他的證明首先表明圖靈機的停止問題沒有答案,也就是說不可能用壹個算法來決定壹個指定的圖靈機是否會停止。雖然他的證明比Allonzot的好?邱琦在哪裏?微積分中的等式證明幾個月後出版了,圖靈的著作更容易理解和直觀。他的通用圖靈機概念也很新穎。這臺通用機器能完成任何其他機器能完成的任務。本文還引入了可定義數的概念。

圖靈在普林斯頓大學度過了1937和1938年的大部分時間,在邱琦的指導下學習。1938年獲得博士學位。他的論文引入了超計算的概念,在圖靈機上增加了壹個預測機,使得研究圖靈機無法解決的問題成為可能。

1939年圖靈回到劍橋,聽了維特根斯坦關於數學基礎的講座。他們爭論激烈,圖靈捍衛* * *,維特根斯坦則認為數學被捧得太高,找不到絕對真理。

早期計算機研究:圖靈測試

布拉塞利花園的圖靈石像[3]

主項:圖靈測試

從1945到1948,圖靈在國家物理實驗室負責自動計算引擎(ACE)。從65438年到0949年,他成為曼徹斯特大學計算機實驗室的副主任,負責最早的真正計算機曼徹斯特壹號的軟件工作,在這段時間裏,他繼續做壹些比較抽象的研究,比如?計算機械與智能?。在人工智能的研究中,圖靈提出了壹個叫做圖靈測試的實驗,試圖建立壹個標準來確定機器是否有感情。

1952年,圖靈寫了壹個象棋程序。但是,當時沒有壹臺計算機有足夠的計算能力來執行這個程序,所以他模仿計算機,每走壹步都要花半個小時。他和壹個同事玩遊戲,程序輸了。

後來,美國新墨西哥州洛斯阿拉莫斯國家實驗室的研究小組根據圖靈的理論,在ENIAC上設計了世界上第壹個計算機編程的國際象棋——洛斯阿拉莫斯。

模式形成與數學生物學研究

從1952直到去世,圖靈壹直從事生物數學的研究。在1952發表論文《形態發生的化學基礎》(英文:the Chemical Basis of Morphogenesis)。[4]他的主要興趣是斐波那契葉數列,即植物結構中存在的斐波那契數。他應用了反應擴散公式,這個公式現在已經成為模式形成範疇的核心。他後來的論文直到1992《艾倫?《圖靈選集》出版了,這些文章才重見天日。[5]2065 438+02,《自然》雜誌稱贊他是歷史上最科學的人物之壹。[6]

迫害和死亡

圖靈在柴郡東韋斯洛的家有壹塊藍色的牌匾。

圖靈的事業被迫害毀了,因為他的同性戀傾向。1952年,他的同夥和壹個同夥壹起,闖入圖靈的家偷走了它,圖靈為此報警。但是英國警方的調查結果導致他被指控?明顯的淫穢和性反轉?罪(見* * *法)。他不認罪,被判有罪。在著名的公審之後,給了他兩個選擇:坐牢還是註射雌性激素(雌激素)?治療?(也就是化學* * *)。他最終選擇了雌激素註射[7]並持續了壹年。在此期間,藥物產生了包括* * * *在內的副作用,原本熱愛運動的圖靈身心受到了極大的傷害。1954年,圖靈因食用氰化物溶液浸泡過的蘋果而死亡。很多人認為他的死是故意的,認定他的死是自殺。但他的母親辯稱,他的死亡是壹場意外,因為他不小心在實驗室堆積了很多化學物質。

蘋果的商標有時會被誤認為圖靈自殺時咬下的半個蘋果[8],但圖案的設計者[9]和蘋果都否認了這種說法[10]。而公司創始人史蒂夫?喬布斯在接受BBC電視節目《齊》時,接受主持人史蒂文的采訪。弗萊在被問及此事時說。這(LOGO向圖靈致敬)不是真的,但是,上帝,我們希望是真的。?(“這不是真的,但是上帝,我們希望是真的,”)[11]

***

2009年9月10日,壹個3萬多人的簽名讓英國首相戈登?布朗在《每日電訊報》上撰文,因為圖靈當年在英國被以同性戀相關罪名起訴定罪,導致他自殺,他正式去艾倫?圖靈公開道歉。[12][13][14]

到2012年,已有超過21000人簽名* * *,要求英國給予圖靈追授赦免,但遭到當局拒絕。英國上議院的麥克納利勛爵解釋說,死後赦免是不合適的,因為根據當時的法律,圖靈是被定罪的。[15]

2013 12.24,英國司法部長宣布英國女王伊麗莎白二世赦免了1952年因同性戀行為被定罪的艾倫。圖靈[16] [17]

延伸閱讀

我的壹生都致力於計算機行業,更準確地說,是計算機網絡。這個領域壹直是創新的代名詞。我們不斷打破昨天的禁錮,創造等待明天超越的今天。業內有句話,只有明天的網速夠快。我們今天擁有和使用的壹切在昨天都是不可想象的。雖然我今天取得了壹些成績,但是我很清楚,我之所以能取得今天的成績,很大程度上是依賴於前人打下的基礎。沒有他們,就沒有我,更沒有今天的電腦。

今年2012,是壹位偉人的百年誕辰。即使我們把所有的崇高敬意獻給他,也不為過。他是艾倫?100年前的圖靈,艾倫?圖靈出生在壹個文化和科技水平與現在完全不同的時代,但這並不影響他成為當今最偉大、最令人難忘的人之壹。

艾倫嗎?圖靈有著傳奇的壹生。他的數學天賦幫助拯救了數萬條生命,但作為壹名同性戀者,他遭到了當時社會的譴責和拋棄,在絕望中選擇了結束自己的生命。他的存在充滿了光明,但結局卻是慘淡的。他為計算機領域埋下了伏筆。沒有他,就沒有今天的電腦。1936,當時還在劍橋大學國王學院讀書的艾倫?圖靈發表了壹篇重要論文《論可計算數,及其對entscheidungsSproblem問題的應用》,並提出?算法?然後呢。電腦?兩個核心概念我們壹直沿用到今天。

艾倫嗎?圖靈和計算機

說到圖靈,就不得不提他在二戰期間對盟軍的傑出貢獻。當時他在布萊奇利公園擔任解碼專家,並在1940年制造了壹個可以解碼德軍密報的機器炸彈,為盟軍的勝利立下了汗馬功勞。

戰後,他在泰丁頓國家物理實驗室工作,並開始從事?自動電腦?(自動計算引擎)邏輯設計和具體開發工作。1946年,圖靈發表了壹篇關於存儲程序計算機設計的論文。他在離散變量自動計算機(電子離散變量自動計算機)方面的成就和研究約翰?馮?同壹時期的約翰·馮·諾依曼。圖靈的自動計算機和諾依曼的離散變量自動電子計算機都用二進制,都用?內存存儲運行計算機的程序?打破了那個時代的舊觀念。

將程序存儲在計算機內存中意味著程序可以自動運行。這壹突破打開了計算機領域人工智能的大門。值得壹提的是,1947年和圖靈壹起在國家物理研究所研究自動計算機的哈利?哈斯基在1954年將自動計算機的設計理念應用到了本迪克斯公司的G15計算機上,也正是在這壹年,艾倫?圖靈選擇了結束自己的生命。

人工智能

1949年,圖靈成為曼徹斯特大學計算實驗室的副總裁,致力於開發運行曼徹斯特馬克1存儲程序計算機所需的軟件。1950年發表論文《計算機械與智能》,為後來的人工智能科學提供了開拓性的思路。提出著名的?圖靈測試?指出如果第三方不能區分人和人工智能機器的區別,則可以斷定機器具有人工智能。

圖靈的成就不可避免地提醒我們,人類滅亡後是否會留下機器人來統治世界。文特爾?瑟夫

以上對圖靈壹生成就的陳述,只是他全部成就的壹個片段,很難用語言概括他對我們科技的繁榮有多大的貢獻。但對我來說,壹切都讓我感動。我出生於1943年6月23日,有幸與這位偉人同壹天生日。在我出生的那壹年,他正處於解碼事業的巔峰。巧合的是,我人生中接觸的第壹臺電腦是Bendix G15。那時候我才十幾歲,有幸和閨蜜斯蒂芬在壹起?斯蒂芬·克羅克在加州大學洛杉磯分校接觸到了這個時代的偉大體系。如今,圖靈獎由計算機械協會設立為其最高獎項,該獎項包含的25萬美元獎金部分由我工作的谷歌資助。2004年,我和我的同事羅伯特?羅伯特·卡恩獲得這壹榮譽是因為我們在計算機領域的努力。

天才捕手

圖靈留下的偉大思想仍在不斷發展,仍讓世界驚喜,讓人前行,讓人振奮。他處理難題的天賦和無畏,幾十年來壹直是這條朝聖路上的標桿。他清晰的思路和無與倫比的創造力激勵著每壹個和他壹起工作的同事;他的概念,比如圖靈機,為可計算性和可判定性提供了理論基石。每壹臺因為他而被賦予生命的電腦和計算機器,比如解碼器?龐貝?用什麽?自動電腦?,驅散了計算機領域的神秘感,為計算機行業在21世紀的騰飛指明了道路。

如果他能活到今年,不知道他看到今天的情景會有什麽感受,又能提出什麽問題讓我們思考。我壹生都在研究計算機和網絡,但我總是希望圖靈能在我身邊回答我的問題。我相信,如果他在這裏,很多問題都可以解決。

網絡和宇宙

為了給人們帶來更快的網絡體驗,為了給計算機領域和通信領域帶來更好的繁榮,我經常陷入壹個人思考幾個小時。不知如何規劃太陽系內的遠距離網絡通信?

因為光速是有限的,而地球是在不斷運動的,所以我和我的同事們不得不重新思考大規模網絡架構的基本規律。星際網絡這個棘手的問題超出了所有人的想象,但是既然人類要發展,要走出地球走向宇宙,這個問題就必須解決。

我們的生命是有限的,這是人類無法突破的自我限制,也註定了我們在某些時候不得不停止探索自己。但是圖靈的人工智能理論為我們提供了壹個參考答案,我們可以用人工智能來彌補生命的短暫。機器人可以承載人類的使命,代替人類進入太空。

紀念圖靈

對於許多谷歌工程師來說,圖靈是他們的英雄。站在圖靈的肩膀上研究奮鬥,是我們的榮幸。去年,谷歌為布萊奇利公園提供了壹筆資金,用於購買圖靈發表的論文,在他們的博物館展出。

最近,我們與倫敦科學博物館合作,為他們提供資金支持他們的最新展覽?解碼器:頌歌破壞者:慶祝艾倫圖靈的生活和遺產?

他們在展覽中展出了很多文物,以前從未在公開場合出現過的官方情報機構?* * *通信總部(GCHQ)?也借了壹些展品給展覽會。讓人最難忘的不是文物本身,而是這些機構的態度。他們共同努力,不僅是為了紀念壹個偉人的成就,也是為了紀念這個偉人本人。這很感人,也很溫暖。展覽生動地為大家勾勒了圖靈的形象,深入淺出地向大家宣傳圖靈的偉大。

希望借此機會把這個偉大的人物展示給圈外的人。他值得我們的愛和贊美。對於科技界的人來說,2012是當之無愧的?艾倫嗎?圖靈之年?全世界都在舉辦紀念他的論壇和活動,我也參加了其中的壹些。為了紀念他的生日(也是我的生日),我會在曼徹斯特大學舉辦?圖靈百年誕辰紀念大會?(圖靈百年紀念大會)。希望大家能切實的支持這個活動,只因為他是圖靈,是我們的傳奇,是我們的英雄。

這篇文章的作者是文特爾?溫頓·瑟夫和羅伯特?卡恩(Robert e. Kahn)壹起創立了TCP/IP協議,這種協議被稱為?互聯網之父?。他於2005年加入谷歌,壹直擔任谷歌首席互聯網專家。

  • 上一篇:形容人嚴的詞:堂堂正正:嚴格執法。
  • 下一篇:傑奎琳註冊商標了嗎?還有哪些類別可以註冊?
  • copyright 2024律師網大全