艾倫·麥席森·圖靈（英語(yǔ)：Alan Mathison Turing，1912年6月23日—1954年6月7日），英國(guó)數(shù)學(xué)家、邏輯學(xué)家，被稱為計(jì)算機(jī)科學(xué)之父，人工智能之父。1931年圖靈進(jìn)入劍橋大學(xué)國(guó)王學(xué)院，畢業(yè)后到美國(guó)普林斯頓大學(xué)攻讀博士學(xué)位，第二次世界大戰(zhàn)爆發(fā)后回到劍橋，后曾協(xié)助軍方破解德國(guó)的著名密碼系統(tǒng)Enigma，幫助盟軍取得了二戰(zhàn)的勝利。
基本資料
詳細(xì)介紹
1931年，考入劍橋大學(xué)國(guó)王學(xué)院，由于成績(jī)優(yōu)異而獲得數(shù)學(xué)獎(jiǎng)學(xué)金。1935年，在《倫敦?cái)?shù)學(xué)會(huì)雜志》上發(fā)表第一篇數(shù)學(xué)論文“左右殆周期性的等價(jià)”。1936年9月，應(yīng)邀到美國(guó)普林斯頓高級(jí)研究院學(xué)習(xí)，并與丘奇一同工作。1937年，發(fā)表的另一篇文章“可計(jì)算性與λ可定義性”則拓廣了丘奇（Church）提出的“丘奇論點(diǎn)”，形成“丘奇-圖靈論點(diǎn)”，對(duì)計(jì)算理論的嚴(yán)格化，對(duì)計(jì)算機(jī)科學(xué)的形成和發(fā)展都具有奠基性的意義。1938年夏，回到英國(guó)，仍在劍橋大學(xué)國(guó)王學(xué)院任研究員，繼續(xù)研究數(shù)理邏輯和計(jì)算理論，同時(shí)開(kāi)始了計(jì)算機(jī)的研制工作。1939年秋，應(yīng)召到英國(guó)外交部通信處從事軍事工作，主要是破譯敵方密碼的工作。1948年，接受了曼徹斯特大學(xué)的高級(jí)講師職務(wù)，并被指定為曼徹斯特自動(dòng)數(shù)字計(jì)算機(jī)（Madam）項(xiàng)目的負(fù)責(zé)人助理。1951年，由于在可計(jì)算數(shù)方面所取得的成就，成為英國(guó)皇家學(xué)會(huì)會(huì)員。1952年，辭去劍橋大學(xué)國(guó)王學(xué)院研究員的職務(wù)，專心在曼徹斯特大學(xué)工作，同年被判“化學(xué)閹割”。1954年6月7日，氰化物中毒，享年41歲。
