2023學(xué)年完整公開課版IT精英AlanMathisonTuring

IT英雄:

AlanMathisonTuring

1艾倫·麥席森·圖靈（AlanMathisonTuring1912年6月23日---1954年6月7日），英國數(shù)學(xué)家、邏輯學(xué)家，他被視為“計(jì)算機(jī)之父”。是計(jì)算機(jī)邏輯的奠基者，提出了“圖靈機(jī)”和“圖靈測試”等重要概念。1931年圖靈進(jìn)入劍橋大學(xué)國王學(xué)院，畢業(yè)后到美國普林斯頓大學(xué)攻讀博士學(xué)位，二戰(zhàn)爆發(fā)后回到劍橋，后曾協(xié)助軍方破解德國的著名密碼系統(tǒng)Enigma，幫助盟軍取得了二戰(zhàn)的勝利。2013年12月24日，在英國司法部長克里斯·格雷靈（ChrisGrayling）的要求下，英國女王向圖靈頒發(fā)了皇家赦免。人們?yōu)榧o(jì)念其在計(jì)算機(jī)領(lǐng)域的卓越貢獻(xiàn)而設(shè)立“圖靈獎”。AlanMathisonTuring2艾倫·麥席森·圖靈，1912年6月23日生于英國倫敦。艾倫·麥席森·圖靈少年時(shí)就表現(xiàn)出獨(dú)特的直覺創(chuàng)造能力和對數(shù)學(xué)的愛好。1926年，14歲的圖靈考入倫敦有名的謝伯恩（Sherborne）公學(xué)去學(xué)習(xí)，受到良好的中等教育．他在中學(xué)期間表現(xiàn)出對自然科學(xué)的極大興趣和敏銳的數(shù)學(xué)頭腦。1927年末，年僅15歲的圖靈為了幫助母親理解愛因斯坦的相對論，寫了愛因斯坦的一部著作的內(nèi)容提要，表現(xiàn)出他已具備非同凡響的數(shù)學(xué)水平和科學(xué)理解力。圖靈對自然科學(xué)的興趣使他在1930年和1931年兩次獲得他的一位同學(xué)莫科姆的父母設(shè)立的自然科學(xué)獎，獲獎工作中有一篇論文題為“亞硫酸鹽和鹵化物在酸性溶液中的反應(yīng)”，受到政府派來的督學(xué)的贊賞，對自然科學(xué)的興趣為他后來的一些研究奠定了基礎(chǔ)，他的數(shù)學(xué)能力使他在念中學(xué)時(shí)獲得過國王愛德華六世數(shù)學(xué)金盾獎?wù)隆lanMathisonTuring31931年，圖靈考入劍橋大學(xué)國王學(xué)院

，由于成績優(yōu)異而獲得數(shù)學(xué)獎學(xué)金。在劍橋，他的數(shù)學(xué)能力得到充分的發(fā)展。1935年，他的第一篇數(shù)學(xué)論文“左右殆周期性的等價(jià)”發(fā)表于《倫敦?cái)?shù)學(xué)會雜志》上。同一年，他還寫出“論高斯誤差函數(shù)”一文。這一論文使他由一名大學(xué)生直接當(dāng)選為國王學(xué)院的研究員，并于次年榮獲英國著名的史密斯（Smith）數(shù)學(xué)獎，成為國王學(xué)院聲名顯赫的畢業(yè)生之一。1936年5月，圖靈向倫敦權(quán)威的數(shù)學(xué)雜志投了一篇論文，題為《論數(shù)字計(jì)算在決斷難題中的應(yīng)用》。該文于1937年在《倫敦?cái)?shù)學(xué)會文集》第42期上發(fā)表后，立即引起廣泛的注意。在論文的附錄里他描述了一種可以輔助數(shù)學(xué)研究的機(jī)器，后來被人稱為“圖靈機(jī)”，這個(gè)設(shè)想最有變革意義的地方在于，它第一次在純數(shù)學(xué)的符號邏輯，和實(shí)體世界之間建立了聯(lián)系，后來我們所熟知的電腦，以及還沒有實(shí)現(xiàn)的“人工智能”，都基于這個(gè)設(shè)想。這是他人生第一篇重要論文，也是他的成名之作。AlanMathisonTuring41937年，圖靈發(fā)表的另一篇文章“可計(jì)算性與λ可定義性”則拓廣了丘奇（Church）提出的“丘奇論點(diǎn)”，形成“丘奇-圖靈論點(diǎn)”，對計(jì)算理論的嚴(yán)格化，對計(jì)算機(jī)科學(xué)的形成和發(fā)展都具有奠基性的意義。1936年9月，圖靈應(yīng)邀到美國普林斯頓高級研究院學(xué)習(xí)，并與丘奇一同工作。在美國期間，他對群論作了一些研究，并撰寫了博士論文。1938年在普林斯頓獲博士學(xué)位，其論文題目為“以序數(shù)為基礎(chǔ)的邏輯系統(tǒng)”，1939年正式發(fā)表，在數(shù)理邏輯研究中產(chǎn)生了深遠(yuǎn)的影響。1938年夏，圖靈回到英國，仍在劍橋大學(xué)國王學(xué)院任研究員，繼續(xù)研究數(shù)理邏輯和計(jì)算理論，同時(shí)開始了計(jì)算機(jī)的研制工作。第二次世界大戰(zhàn)打斷了圖靈的正常研究工作，1939年秋，他應(yīng)召到英國外交部通信處從事軍事工作，主要是破譯敵方密碼的工作。由于破譯工作的需要，他參與了世界上最早的電子計(jì)算機(jī)的研制工作。他的工作取得了極好的成就，因而于1945年獲政府的最高獎——大英帝國榮譽(yù)勛章（O.B.E.勛章）。AlanMathisonTuring51945年，圖靈結(jié)束了在外交部的工作，他試圖恢復(fù)戰(zhàn)前在理論計(jì)算機(jī)科學(xué)方面的研究，并結(jié)合戰(zhàn)時(shí)的工作，具體研制出新的計(jì)算機(jī)來。這一想法得到當(dāng)局的支持。同年，圖靈被錄用為泰丁頓（Teddington）國家物理研究所的研究人員，開始從事“自動計(jì)算機(jī)”（ACE）的邏輯設(shè)計(jì)和具體研制工作。這一年，圖靈寫出一份長達(dá)50頁的關(guān)于ACE的設(shè)計(jì)說明書。這一說明書在保密了27年之后，于1972年正式發(fā)表。在圖靈的設(shè)計(jì)思想指導(dǎo)下，1950年制出了ACE樣機(jī)，1958年制成大型ACE機(jī)。人們認(rèn)為，通用計(jì)算機(jī)的概念就是圖靈提出來的。1945年到1948年，他在英國國家物理實(shí)驗(yàn)室工作，負(fù)責(zé)自動計(jì)算引擎的研究。1946年的8月，圖靈參加了他正式跑步訓(xùn)練后的第一個(gè)比賽。那是在他加入沃爾頓田徑俱樂部后參加的3英里（4.8公里）比賽，圖靈以15分37秒的成績奪得第一，這一成績當(dāng)年在英國排名第20位。AlanMathisonTuring61948年，圖靈接受了曼徹斯特大學(xué)的高級講師職務(wù)，并被指定為曼徹斯特自動數(shù)字計(jì)算機(jī)(Madam)項(xiàng)目的負(fù)責(zé)人助理，具體領(lǐng)導(dǎo)該項(xiàng)目數(shù)學(xué)方面的工作，作為這一工作的總結(jié)。1949年成為曼徹斯特大學(xué)計(jì)算機(jī)實(shí)驗(yàn)室的副主任，負(fù)責(zé)最早的真正意義上的計(jì)算機(jī)——“曼徹斯特一號”的軟件理論開發(fā)，因此成為世界上第一位把計(jì)算機(jī)實(shí)際用于數(shù)學(xué)研究的科學(xué)家。1950年，圖靈編寫并出版了《曼徹斯特電子計(jì)算機(jī)程序員手冊》（TheProgrammers’handbookfortheManchesterelectroniccomputer）。這期間，他繼續(xù)進(jìn)行數(shù)理邏輯方面的理論研究。并提出了著名的“圖靈測試”。同年，他提出關(guān)于機(jī)器思維的問題，他的論文“計(jì)算機(jī)和智能（Computingmachieryandintelligence），引起了廣泛的注意和深遠(yuǎn)的影響。1950年10月，圖靈發(fā)表論文《機(jī)器能思考嗎》。這一劃時(shí)代的作品，使圖靈贏得了“人工智能之父”的桂冠。1951年，由于在可計(jì)算數(shù)方面所取得的成就，成為英國皇家學(xué)會會員，時(shí)年39歲。1952年，他辭去劍橋大學(xué)國王學(xué)院研究員的職務(wù)，專心在曼徹斯特大學(xué)工作．除了日常工作和研究工作之外，他還指導(dǎo)一些博士研究生，還擔(dān)任了制造曼徹斯特自動數(shù)字計(jì)算機(jī)的一家公司——弗蘭蒂公司的顧問。1952年，圖靈寫了一個(gè)國際象棋程序。可是，當(dāng)時(shí)沒有一臺計(jì)算機(jī)有足夠的運(yùn)算能力去執(zhí)行這個(gè)程序，他就模仿計(jì)算機(jī)，每走一步要用半小時(shí)。他與一位同事下了一盤，結(jié)果程序輸了。后來美國新墨西哥州洛斯阿拉莫斯國家實(shí)驗(yàn)室的研究群根據(jù)圖靈的理論，在MANIAC上設(shè)計(jì)出世界上第一個(gè)電腦程序的象棋。AlanMathisonTuring7被迫害后逝世1952年，圖靈的同性伴侶協(xié)同一名同謀一起闖進(jìn)了圖靈的房子實(shí)施盜竊。圖靈為此而報(bào)警。但是警方的調(diào)查結(jié)果使得他被控以“明顯的猥褻和性顛倒行為”（同性戀）。他沒有申辯，并被定罪。在著名的公審后，他被給予了兩個(gè)選擇：坐牢或荷爾蒙療法。他選擇了荷爾蒙注射，并持續(xù)了一年。在這段時(shí)間里，藥物產(chǎn)生了包括乳房不斷發(fā)育的副作用。1954年6月7日，圖靈被發(fā)現(xiàn)死于家中的床上，床頭還放著一個(gè)被咬了一口的泡過氰化物的蘋果。警方調(diào)查后認(rèn)為是劇毒的氰化物中毒，調(diào)查結(jié)論為自殺。當(dāng)時(shí)圖靈41歲。2009年，英國計(jì)算機(jī)科學(xué)家康明（JohnGraham-Cumming）發(fā)起了為圖靈平反的在線請?jiān)福刂沟?009年9月10日請?jiān)负灻藬?shù)已經(jīng)超過了3萬，為此，當(dāng)時(shí)的英國政府及首相戈登布朗不得不發(fā)表正式的道歉聲明。2012年12月，霍金、納斯（PaulNurse，諾貝爾醫(yī)學(xué)獎得主）、里斯（MartinRees，英國皇家學(xué)會會長）等11位重要人士致函英國首相卡梅倫，要求為其平反。2013年12