艾倫·圖靈(Alan Mathison Turing)生于1912年6月23日的倫敦，于1954年的6月7日去世。

他是一位英國(guó)數(shù)學(xué)家和邏輯學(xué)家，他對(duì)數(shù)學(xué)、密碼分析、邏輯、哲學(xué)、數(shù)學(xué)生物學(xué)以及后來(lái)命名為計(jì)算機(jī)科學(xué)、認(rèn)知科學(xué)、人工智能和人工生命的新領(lǐng)域做出了重大貢獻(xiàn)。

圖靈于1931年進(jìn)入劍橋大學(xué)學(xué)習(xí)數(shù)學(xué)。1934年畢業(yè)后，為了表彰他在概率論方面的研究，他被選為國(guó)王學(xué)院(1931年以來(lái)他所在的學(xué)院)的研究員。

1936年，美國(guó)數(shù)學(xué)邏輯學(xué)家阿朗佐·丘奇(Alonzo Church)推薦發(fā)表了圖靈的開(kāi)創(chuàng)性論文《論可計(jì)算數(shù)及其在判定性問(wèn)題上的應(yīng)用》(On Computable Numbers, with a Application to the Entscheidungsproblem [Decision Problem])。丘奇本人剛剛發(fā)表了一篇論文，得出了與圖靈相同的結(jié)論，不過(guò)方法不同。圖靈的方法對(duì)新興的計(jì)算機(jī)科學(xué)有著深遠(yuǎn)的意義。

同年晚些時(shí)候，圖靈搬到普林斯頓大學(xué)，在丘奇的指導(dǎo)下攻讀數(shù)理邏輯博士學(xué)位(完成于1938年)。

判定性問(wèn)題

數(shù)學(xué)家們所稱(chēng)的解決問(wèn)題的“有效”方法，只不過(guò)是一種可以由一個(gè)靠死記硬背工作的數(shù)學(xué)職員來(lái)掌握的方法。在圖靈的時(shí)代，被稱(chēng)為“計(jì)算機(jī)”的實(shí)際上只是一些死記硬背的工人，這些由人類(lèi)組成的計(jì)算機(jī)完成了后來(lái)由電子計(jì)算機(jī)完成的一些工作。

丘奇曾寫(xiě)道：“一位持有鉛筆、紙和一串明確指令的人類(lèi)計(jì)算者，可以被看做是一種圖靈機(jī)。”這是已知的“圖靈機(jī)”一詞最早見(jiàn)諸文字的地方。

論文中提到的“判定性問(wèn)題”尋求一種有效的方法來(lái)解決基本數(shù)學(xué)問(wèn)題，即確定在給定的形式數(shù)學(xué)系統(tǒng)中哪些數(shù)學(xué)命題是可證明的，哪些是不可證明的。確定這一點(diǎn)的方法稱(chēng)為決策方法。

事實(shí)上，圖靈和丘奇的研究表明，即使是一些比算術(shù)弱很多的純邏輯系統(tǒng)，也沒(méi)有有效的決策方法。

丘奇和圖靈的論文還提出了“丘奇-圖靈命題”，即所有可以被人類(lèi)計(jì)算的東西也可以被通用的圖靈機(jī)器計(jì)算。這一論斷很重要，因?yàn)樗赋隽巳祟?lèi)計(jì)算的極限。

這個(gè)結(jié)果粉碎了一些數(shù)學(xué)家的希望，他們希望發(fā)現(xiàn)一個(gè)正式的系統(tǒng)，將整個(gè)數(shù)學(xué)歸結(jié)為(人類(lèi))計(jì)算機(jī)可以實(shí)現(xiàn)的方法。

正是在他研究判定性問(wèn)題的過(guò)程中，圖靈發(fā)明了通用圖靈機(jī)，這是一種抽象的計(jì)算機(jī)器，它封裝了數(shù)字計(jì)算機(jī)的基本邏輯原理。

密碼破譯

二戰(zhàn)時(shí)，圖靈在英國(guó)通信部工作，他運(yùn)用他的專(zhuān)業(yè)技能破譯德國(guó)密碼。當(dāng)時(shí)德國(guó)使用名為Enigma的機(jī)器定期將密碼改變，而圖靈和同事們一起使用一臺(tái)稱(chēng)為COLOSSUS的設(shè)備破譯德國(guó)的密碼，為盟軍提供了大量的軍事情報(bào)。

1942年，圖靈還發(fā)明了第一個(gè)系統(tǒng)的方法來(lái)破解由德國(guó)先進(jìn)的密碼機(jī)加密的信息，英國(guó)人稱(chēng)之為“Tunny”。戰(zhàn)爭(zhēng)結(jié)束時(shí)，圖靈因破譯密碼而被授予大英帝國(guó)最高榮譽(yù)勛章。

電腦設(shè)計(jì)師

1945年，圖靈被招募到倫敦的國(guó)家物理實(shí)驗(yàn)室(NPL)，創(chuàng)建了一臺(tái)電子計(jì)算機(jī)。他設(shè)計(jì)的自動(dòng)計(jì)算引擎(ACE)是第一個(gè)完整規(guī)格的電子存儲(chǔ)程序通用數(shù)字計(jì)算機(jī)。如果圖靈的ACE按照他的計(jì)劃建造，它將擁有比任何早期計(jì)算機(jī)都大得多的內(nèi)存，而且速度更快。然而，他在NPL的同事們認(rèn)為這項(xiàng)工程太難嘗試了，于是制造了一臺(tái)小得多的機(jī)器，即ACE(1950)的試驗(yàn)?zāi)Ｐ汀?/p>

圖靈對(duì)計(jì)算機(jī)發(fā)展的主要貢獻(xiàn)是設(shè)計(jì)了一個(gè)輸入輸出系統(tǒng)，并設(shè)計(jì)了它的編程系統(tǒng)。他還編寫(xiě)了第一本編程手冊(cè)，他的編程系統(tǒng)被用于第一臺(tái)暢銷(xiāo)的電子數(shù)字計(jì)算機(jī)Ferranti Mark I(1951年)。

人工智能先鋒圖靈是人工智能和現(xiàn)代認(rèn)知科學(xué)的奠基人，他是“人類(lèi)大腦在很大程度上是一臺(tái)數(shù)字計(jì)算機(jī)器”這一假說(shuō)的主要早期倡導(dǎo)者。他的理論是，大腦皮層在出生時(shí)是一個(gè)“無(wú)組織的機(jī)器”，通過(guò)“訓(xùn)練”，它變成了“一個(gè)通用機(jī)器”或類(lèi)似的東西。

1950年，圖靈提出了后來(lái)被稱(chēng)為圖靈測(cè)試(Turing test)的測(cè)試方法，同年10月，圖靈又發(fā)表了另一篇題為“機(jī)器能思考嗎”的論文，成為劃時(shí)代之作。也正是這篇文章，為圖靈贏得了“人工智能之父”的桂冠。