跳至內容

艾倫·圖靈

出自Taiwan Tongues 台語維基
於 2025年8月23日 (六) 19:25 由 TaiwanTonguesApiRobot留言 | 貢獻 所做的修訂 (從 JSON 檔案批量匯入)

(差異) ←上個修訂 | 已批准修訂 (差異) | 最新修訂 (差異) | 下個修訂→ (差異)

艾倫 ・ 麥席森 ・ 圖靈,OBE,FRS(英語:Alan Mathison Turing,閣譯阿蘭 ・ 圖靈,Turing 嘛定定翻譯做涂林抑是講杜林,一九一二年六月二三號—一九五四年六月七號)是英國電腦科學家、數學家、邏輯學家、密碼分析學家佮理論生物學家,伊予人呵咾做電腦科學佮人工智慧之父。

二次世界大戰期間,「 Hut 八」小組,負責德國海軍密碼分析。期間伊設計一寡加速破空德國密碼的技術,包括改進波蘭戰前研製的機器 Bombe,一種會當揣著恩尼格瑪密碼機設定的機電機器。圖靈佇破譯截獲的編碼訊息方面發揮了關鍵作用,使盟軍會當佇包括大西洋戰役在內的誠濟重要交戰中擊敗軸心國海軍,毋過𪜶贏來戰爭。

圖靈對著人工智慧的發展有誠濟貢獻,比如講圖靈捌寫過一篇名為《計算機器佮智慧》的論文,提問「機器會思考無?」(_ Can Machines Think ? _), 做一種用佇咧判定機器敢有智慧的測試方法,即圖靈測試。到今,逐年攏有試驗的比賽。此外,圖靈提出的出名的圖靈機模型做現代電腦的邏輯工作方式𫝏定了基礎。

圖靈是出名的男同性戀者,並且因為其性傾向拄著彼當陣英國政府迫害,職業生涯盡毀。伊亦患有花粉過敏症。

圖靈猶是一位世界級的長走運動員。伊的 ma-lá-sóng 上好成績是二點鐘四十六分三秒(手動計時), 比一九四八年奧林匹克運動會金牌成績慢十一分鐘。一九四八年的一改越野走標,伊走贏仝年奧運會銀牌得主湯姆 ・ 理查茲。

生平

囡仔佮少年時代

圖靈的老爸朱利斯 ・ 麥席森 ・ 圖靈(Julius Mathison Turing)是一名英屬印度的公務員。一九一一年,圖靈的阿母 Ethel Sara Stoney 佇咧英屬印度有身。因為𪜶希望艾倫佇英國出世,所以轉去到倫敦,蹛佇帕丁頓,而且佇遐生落去矣艾倫。老爸的公務員委任使伊佇艾倫細漢的時定定來往過英倫佮印度。因為煩惱印度的氣候不利佇兒童成長,伊便共家庭留踮英倫佮朋友同蹛。圖靈足細漢的時陣就表現出伊的天賦,落尾愈發明顯。

一九二七年,𪜶爸母佇吉爾福德買一間厝,圖靈佇學校放假期間蹛佇該處。該位置附近閣標準有藍色的路牌。

六歲的時陣,伊的爸母為伊佇一間叫聖麥會當(St . Michael's)的日間學校註冊。女校長足緊的就注意著伊的才能,隨後馬保羅書院的濟濟教育家嘛有注意著這點。一九二六年,伊十三歲的時考入佇偌塞特郡的舍伯恩學校。開學的頭一工,不幸拄著矣大罷工。圖靈堅決欲上第一工的課,就按呢伊獨自南安普頓騎六十英哩的鐵馬去讀冊,途中閣佇一間旅社度過一宵。

圖靈天生對科學的興趣並無予伊佇謝爾本的老師留落來好印象。𪜶對教育是較重人文學科毋是科學。雖然如此,圖靈繼續佇伊佮意的學科表現出驚人的能力,猶未學過基礎微積分的伊,就已經會當解答以伊年紀來講算是足高深的難題。

一九二八年,佇咧圖靈十六歲的時陣,開始閱讀阿爾伯特別 ・ 要因斯坦的到作。伊毋但會當理解,而且看出著愛因斯坦對牛頓運動定律存有質疑,準做愛因斯坦的著作中並無明指出這點。

大學生涯

一九三一年,圖靈考入劍橋大學國王學院攻讀本科,閣得著數學一等榮譽。

一九三四年伊以媠氣成績畢業。

一九三五年,二十二歲的伊靠著證明中央極限定理的論文予人選做國王學院院士。圖靈毋知影,該定理已經佇一九二二年由亞爾 ・ 瓦爾德馬 ・ 林德伯仔證明。就算講按呢,委員會認為這項研究值得考慮提供研究金。

圖靈佇伊的重要論文《論可計算數佮其在判定的問題應用》(英語:_ On Computable Numbers , with an Application to the Entscheidungsproblem _)里,對哥德爾一九三一年佇證明佮計算的限制的結果作了重新論述,伊用這馬叫做圖靈機的簡單形式的抽象裝置代替了哥德爾的以通用算術為基礎的形式語言。雖然圖靈機傷過慢的速度使其實際用途,證明的猶是證明這款的機器有能力解決任何可想像的,閣以數學式這个表達的數學難題。現今,圖靈機猶是計算理論研究的中心課題。伊繼續證明矣判定問題是無答案的。伊的證明代先展示了圖靈機的停機的問題無答案,這是講無可能用一个演算法來決定一台指定的圖靈機敢是會停機。就算講伊的證明比阿隆佐 ・ 邱奇佇咧 λ 演算方面相等的證明暗發表幾個月,圖靈的著作是閣較𠢕理解閣直觀。伊的通用(圖靈)機會概念嘛真新。這通用機會當完成任何其他機器所會當做的任務。這篇論文閣介紹了會當定義數的概念。

一九三六年九月到一九三八年七月間,圖靈大部份時間攏佇普林斯頓大學的教堂下來學,第二冬予人評選做簡 ・ 伊麗莎 ・ 寶潔獎學金客座教授(Jane Eliza Procter Visiting Fellow)。 除了伊的純數學工課以外,伊亦研究密碼學,並且建造機電二進制乘法器的四个階段中的其中三个。一九三八年六月,獲普林斯頓數學系博士學位;伊的論文是因為序序的邏輯系統,介紹了序大數邏輯的概念佮相對計算的概念,其中圖靈機有增加咱所講的預言機,允准學者進一步研究圖靈機無法度解決的問題。馮 ・ 嗎依曼有意聘請圖靈做伊的博士後助理,但是伊謝絕了後閣轉來英國。

一九三九年圖靈轉去到劍橋,聆聽了維根斯坦關於數學基本原理(Foundations of mathematics)的講座。𪜶激烈的爭論,圖靈做形式主義辯護,若維根斯坦是認為講共數學扛了傷懸顛倒袂發現任何絕對真理。

密碼分析

佇這个第二改世界大戰期間,圖靈是布萊切利莊園破解德國密碼的主要參與者。歷史學家佮戰時密碼破譯員 Asa Briggs 捌講過:「 你需要非凡的天才,你愛落來切利的天才,圖靈就是彼个天才。」

對一九三八年九月起,圖靈佇咧英國密碼破譯組織政府密碼佮密碼學校 ( GC & CS ) 兼職工課。伊佮高級 GC & CS 密碼破譯員第利溫 ・ 諾克斯真專注對納粹德國使用的恩尼格瑪密碼機進行密碼分析。

一九三九年七月,波蘭密碼局佇華沙附近的會議頂向英國佮法國提供了恩尼格瑪密碼機器的詳細訊息佮𪜶解密恩尼格瑪密碼機器訊息的方法。無偌久了後,圖靈和諾克斯開發了一个閣較廣泛性的解決方案。波蘭方法依賴佇德國人的無嚴謹的程式。圖靈的方法閣較通用,使用基於恩尼格瑪分析,伊為此製作著炸彈的功能規範(對波蘭炸彈的改進)。

一九三九年圖靈予英國皇家海軍招聘,並佇咧英國軍情六位監督下從事對納粹德國機密軍事密碼的破譯工作。兩年後伊的小組成功破去德國的密碼系統恩尼格瑪密碼機,從而予得軍情六位對德國的軍事指揮佮計畫了如指掌。但是軍情六處以機密做由隱瞞了圖靈小組的存在和成就,將其所得情報據為己有。

通過使用統計技術來優化密碼破譯過程中無仝可能性的試驗,圖靈為這个課題做出創新貢獻。伊寫兩篇有關數學計算方法的論文,題為 _ The Applications of Probability to Cryptography _ 和 _ Paper on Statistics of Repetitions _ , 著 GC & CS 佮其實繼續 GCHQ 具有十分重要的價值,致使𪜶到二空一二年四月才被發佈予英國國家檔案館,也就是伊生一百週年前無偌久。一位 GCHQ 數學家,「 伊干焦承認家己理察」,彼个時陣講,根據官方保密法,內容予人封鎖矣大約七空年這事實證明矣𪜶的重要性,佮𪜶和戰後密碼分析的相關性:

> 講,內容受著限制的事實「表明伊佇咱學科的基礎中具有偌爾仔大的重要性」。 . . . 論文詳細使用「數學分析來試看覓確定佗位是閣較有可能的設定,通好盡快來試看𪜶。」. . . . . . 理察講,GCHQ 這馬已經對這兩篇論文當中「絞汁」,並且「真歡喜共伊發佈到公共領域」。 > >


圖靈佇咧布萊切利莊園以其古怪的性格來出名。伊的同事共伊講「教授」(Prof), 伊關於恩尼格瑪密碼機的論文被嘛予人號做「教授之書」。 根據歷史學家 Ronald Lewin 的講法,和圖靈做伙做工課的密碼分析家 I ・ J ・ 古德講伊的同事時講:

> 每年六月的頭一周,伊攏會帶花粉熱,伊會戴防毒面具騎鐵馬去辦公室,以防花粉。伊的跤踏車有刺毛病:鏈條會定期脫落來。伊無共修理,是算踏枋轉動的次數,而且佮時落車手動調整鏈條。伊的另外一个怪癖是伊共杯仔鍊咧散熱器管上以防予偷提。 > >


那個希爾頓在伊的「美國數學世紀的回憶」中國講著伊佇細間厝八中佮圖靈合作的經歷:

> 拄著真正的天才是一種難得的經歷。咱遮的有幸居蹛佇學術世界的人攏熟似才情有發揮的同事提供的智力刺激。咱會當欣賞𪜶佮咱分享的想法,而且通常會當理解𪜶的來源;阮甚至講可能定定相信阮家己會當創造按呢的概念閣產生按呢的想法。毋過,分享天才的智力生活的體驗煞完全無仝;一个人意識著家己是佇一種智慧的面頭前,一款對這此深刻佮獨創性的敏感性,致使一个人充滿著驚奇佮興奮。艾倫 ・ 圖靈就是按呢一个天才,彼像我仝款,佇咧第二次世界大戰奇怪緊急情況下有驚人的心情想袂到的機會的人 > >

希爾頓佇咧 Nova PBS 紀錄片《解碼納粹秘密》著嘛表達著類似的想法。


佇布萊奇利莊園作穡期間,圖靈是也一个才情有發揮的運動員,需要開會的時陣,伊有當時仔會走四十英里(六十四 khí-looh)到倫敦,伊有能力達到世界級的 ma-lá-sóng 標準。圖靈為一九四八年英國奧運代表隊進行矣試訓,毋過伊嘛去予傷病的阻礙。伊的 ma-lá-sóng 選拔時間干焦比英國銀牌得主托馬斯 ・ 理查茲(Thomas Richards)奧運會比賽的時間(二點鐘三十五分鐘)慢矣十一分鐘。伊是沃爾頓競技俱樂部上好的跑者,這事實是佇伊獨自走過小組的時陣發現的。當予人問著講是按怎伊佇咧訓練中走甲遮爾拍拚的時陣,伊回答講:

> 我的工課壓力足大的,愛想欲擺脫伊,唯一的辦法就是骨力走傱。這是我放送壓力的唯一方法。 > >


因為歷史反事實的問題,真歹準確估計超智慧對戰爭的影響。毋過,官方戰爭歷史學家哈里 ・ 欣斯利估計,這項工課共歐洲的戰爭縮短兩冬外,挽救超過一千四百萬人的性命。

戰爭經過的時陣,向所有佇布萊切利莊園做工課的人發送一份備忘錄,共𪜶提醒講《官方保密法》規定的恬恬仔守是袂隨著戰爭來結束,是會無限期地繼續落去。所以,儘管圖靈佇一九四六年被喬治六世國王任命為大英帝國勳章 ( OBE ),以表彰伊佇戰時的服務,毋過伊的工課濟年來一直保密。

古早的電腦研究:圖靈測試

一九四五年到一九四八年,圖靈佇國家物理實驗室負責自動計算 ia̋n-jín(ACE)的研究工課。一九四九年,伊成做曼徹斯特大學電腦實驗室的副主任,負責上早的真正的電腦---曼徹斯特一號的軟體工作。佇這段時間,伊繼續作一寡較抽象的研究,如「電腦械佮智慧」。 圖靈佇咧對人工智慧的研究中,提出一个號做圖靈測試的實驗,來試驗出一个決定機器敢有感覺的標準。

一九五二年,圖靈寫一个西洋棋程式。可是,彼陣無一台電腦有夠額的運算能力去執行這个程式,伊就模仿電腦,每行一步愛用半點鐘。伊佮一位同事落一盤,結果程式輸去矣。

尾手美國新墨西哥州洛斯阿拉莫斯國家實驗室的研究組根據圖靈的理論,佇咧 ENIAC 設計出世界上頭一个電腦程式的西洋棋-洛斯阿拉莫斯西洋棋。

圖樣成佮數理生物學的研究

對一九五二年一直到過身,圖靈一直咧生物數學方面做研究。伊佇一九五二年發表了一篇論文《形態發生的化學基礎》(英語:_ The Chemical Basis of Morphogenesis _)。 伊主要的興趣是費波彼契葉序列,佇咧植物結構的費波那契數。伊應用去反應-湠開公式,這馬已經成做圖案形成範圍的核心。伊尾期的論文攏無發表,一直等到一九九二年《艾倫 ・ 圖靈選集》出版,遮的文章才見天日。二空一二年,《 自然》雜誌呵咾伊是有史以來上蓋有科學思想的人物之一。

迫害和過身

因為圖靈的同性戀傾向啊若拄著的迫害予伊的職業生涯盡毀。一九五二年,伊的同性伴伴協同一个同謀做伙傱入去圖靈的厝偷提,但是英國警方的調查結果予伊控制牢咧「明顯的猥褻佮性顛倒行為」罪(請參看性抹鐵枝法)。 伊無申辯,並去予人定罪。出名的公審了後,伊去予予兩个選擇去:坐監抑是女性 hoo-lú-bóng 注射「療法」(即化學閹割)。 伊尾仔選擇矣雌激素注射,並且繼續一年。佇這段時間內底,藥仔產生矣包括奶仔一直發育的副作用,也予原本熱愛體育運動的圖靈佇身心頂受著真大傷害。一九五四年,圖靈因食用浸過安的道理溶液的蘋果而死亡。真濟人相信伊有意食這蘋果,並判決伊是自殺。但是伊的阿母 Ethel Sara Stoney 拚伊的死是意外,因為圖靈工作室有真濟化學品,而伊無細膩予蘋果沐著氰化物溶液。

政府的道歉和平反

佇二空空九年九月十號,一份超過三萬人的請願簽章,使英國首背登 ・ 布朗佇咧《每日電訊報》撰文,因為英國政府當年以同性戀相關罪名起訴圖靈並定罪,予伊自殺身亡,正式向艾倫 ・ 圖靈公開會失禮。

至二空一二年,有兩萬外人簽名請願,要求英國政府追授圖靈死後赦免狀,但是予當場拒絕。英國上議院的麥克納利勳咧解說講:「 死了後赦免狀是無合理的,因為圖靈是根據早當時的法律被定罪。圖靈應當知影伊的所做所為會犯著法律,伊嘛應當意識著伊有可能會受著迫害。圖靈佇彼時的判罪佇今仔日看來既殘酷閣荒唐,這無疑是一个悲劇,尤其咱應當知影伊對戰爭的勝利做出了卓越的貢獻。毋過,咱無應當脫離歷史背景看待這件代誌,佇彼當陣的法律這確實是重刑。咱無應該當咧糾結於是共無正確的代誌叫甲亂反正,咱所會當做的是確保今仔日的社會閣嘛無愛轉去到過去佮重複歷史。」

二空一三年十二月二四,英國司法部宣佈英國女王伊莉莎白二世赦免一九五二年因為仝性戀行為被定罪的艾倫 ・ 圖靈,無論伊有抗議者指出應該愛佇這赦無應令範圍擴大到所有和圖靈仝時代閣受著仝款待遇的同性戀者。

二空一五年二月二三,圖靈的家人向英國首相府邸發出一份超過五十萬人簽名的請願書,要求英國政府赦免四十九 , 零个佮圖靈仝款因同性戀得著罪的人。二空一七年一月三十一號,艾倫 ・ 來圖靈法案來生效,大約四十九 , 空位因同性戀定罪者被赦免。

獎項、榮譽、表彰和敬意

圖靈予授一九四六年大英帝國勳章。伊佇一九五一年閣予人選做皇家學會(FRS)的成員。有幾若件代誌以伊的名號名:

自一九六六年以來,圖靈獎每年由電腦協會頒發予電腦界,替其提供技術抑是理論貢獻。伊被廣泛認為是電腦科學世界的上懸榮譽,和原仔非常的諾貝爾獎。

二空二一年英格蘭銀行選擇了圖靈作為印刷佇新版五十英鎊紙幣後壁面的人物。

蘋果公司的商標

蘋果公司的商標有時會予人誤認為是對圖靈自殺時咬落來的半个蘋果,但這个圖樣的設計師佮蘋果公司攏否認矣這一講法。啊若公司創辦人史蒂夫 ・ 賈伯斯佇接受史蒂芬 ・ 學萊問到現事的時陣講:「 上帝啊,阮是希望講伊(LOGO 和圖靈致敬)彼是有影。但是伊干焦巧合。」(_ " God we wish it were . It's just a coincidence . " _)

顯示卡

名嘛予人輝達用來號名 NVIDIA GeForce 十六系列,NVIDIA GeForce 二十系列顯示卡核心名稱。

流行文化

影視作品

  • 《模仿遊戲》:二空一四年電影,由班奈狄克 ・ 康柏拜區飾演艾倫 ・ 圖靈。

參見

  • 圖靈獎
  • 圖靈機
  • 圖靈測試
  • 袂當解度
  • 出名同性戀和雙性戀者
  • LGBT 自殺人士列表

註解

參考資料

冊目

外部連結

  • 兩千空一十二艾倫 ・ 圖靈年
  • CiE 二千空一十二:圖靈生百年會議
  • 圖靈相簿
  • Alan Turing 美國國會圖書館的存檔,存檔日期兩千空一十一孵八陽二十七
  • AlanTuring . net–Turing Archive for the History of Computing
  • Jones , G . James . Alan Turing–Towards a Digital Mind : Part 一 . System Toolbox ( The Binary Freedom Project ) . 二千空一鋪十二鋪十一 .(原始內容存檔佇兩千空七堵八堵三).
  • 謎猜的計算機科學之父-中央研究院數學所、台大數學系
  • 艾倫 ・ 圖靈佇數學家族譜網站頂懸的條目
  • 艾倫 ・ 圖靈檔案數位化專案