艾倫·麥席森·圖靈（英語：Alan Mathison Turing，1912年6月23日—1954年6月7日），英國數(shù)學(xué)家、邏輯學(xué)家，被稱為計算機(jī)科學(xué)之父，人工智能之父。1931年圖靈進(jìn)入劍橋大學(xué)國王學(xué)院，畢業(yè)后到美國普林斯頓大學(xué)攻讀博士學(xué)位，第二次世界大戰(zhàn)爆發(fā)后回到劍橋，后曾協(xié)助軍方破解德國的著名密碼系統(tǒng)Enigma，幫助盟軍取得了二戰(zhàn)的勝利。

基本資料

詳細(xì)介紹

1931年，考入劍橋大學(xué)國王學(xué)院，由于成績優(yōu)異而獲得數(shù)學(xué)獎學(xué)金。1935年，在《倫敦數(shù)學(xué)會雜志》上發(fā)表第一篇數(shù)學(xué)論文“左右殆周期性的等價”。1936年9月，應(yīng)邀到美國普林斯頓高級研究院學(xué)習(xí)，并與丘奇一同工作。1937年，發(fā)表的另一篇文章“可計算性與λ可定義性”則拓廣了丘奇（Church）提出的“丘奇論點(diǎn)”，形成“丘奇-圖靈論點(diǎn)”，對計算理論的嚴(yán)格化，對計算機(jī)科學(xué)的形成和發(fā)展都具有奠基性的意義。1938年夏，回到英國，仍在劍橋大學(xué)國王學(xué)院任研究員，繼續(xù)研究數(shù)理邏輯和計算理論，同時開始了計算機(jī)的研制工作。1939年秋，應(yīng)召到英國外交部通信處從事軍事工作，主要是破譯敵方密碼的工作。1948年，接受了曼徹斯特大學(xué)的高級講師職務(wù)，并被指定為曼徹斯特自動數(shù)字計算機(jī)（Madam）項(xiàng)目的負(fù)責(zé)人助理。1951年，由于在可計算數(shù)方面所取得的成就，成為英國皇家學(xué)會會員。1952年，辭去劍橋大學(xué)國王學(xué)院研究員的職務(wù)，專心在曼徹斯特大學(xué)工作，同年被判“化學(xué)閹割”。1954年6月7日，氰化物中毒，享年41歲。