圖靈同時(shí)還是著名的男同性戀者之一，但不幸因?yàn)槠湫詢A向而遭到當(dāng)時(shí)的英國政府迫害，最終自殺。2026年01月16日，英國女王伊麗莎白二世宣布赦免圖靈。1931年，圖靈考入劍橋大學(xué)國王學(xué)院，由于成績優(yōu)異而獲得數(shù)學(xué)獎(jiǎng)學(xué)金。在劍橋，他的數(shù)學(xué)能力得到充分的發(fā)展。

阿蘭·麥席森·圖靈生平經(jīng)歷介紹：

1935年，他的第一篇數(shù)學(xué)論文“左右周期性的等價(jià)”發(fā)表于《倫敦?cái)?shù)學(xué)會(huì)雜志》上。同一年，他還寫出“論高斯誤差函數(shù)”一文，這一論文使他由一名大學(xué)生直接當(dāng)選為國王學(xué)院的研究員，并于次年榮獲英國著名的史密斯(Smith）數(shù)學(xué)獎(jiǎng)，成為國王學(xué)院聲名顯赫的畢業(yè)生之一。1936年5月，圖靈寫出了表述他的最重要的數(shù)學(xué)成果的論文“論可計(jì)算數(shù)及其在判定問題中的應(yīng)用”，該文于1937年在《倫敦?cái)?shù)學(xué)會(huì)文集》第42期上發(fā)表后，立即引起廣泛的注意。

1937年，阿蘭·麥席森·圖靈發(fā)表的另一篇文章“可計(jì)算性與λ可定義性”則拓廣了丘奇（Church）提出的“丘奇論點(diǎn)”，形成“丘奇-圖靈論點(diǎn)”，對(duì)計(jì)算理論的嚴(yán)格化，對(duì)計(jì)算機(jī)科學(xué)的形成和發(fā)展都具有奠基性的意義，1936年9月，阿蘭·麥席森·圖靈應(yīng)邀到美國普林斯頓高級(jí)研究院學(xué)習(xí)，并與丘奇一同工作。在美國期間，他對(duì)群論作了一些研究，并撰寫了博士論文，1938年在普林斯頓獲博士學(xué)位，其論文題目為“以序數(shù)為基礎(chǔ)的邏輯系統(tǒng)”，1939年正式發(fā)表，在數(shù)理邏輯研究中產(chǎn)生了深遠(yuǎn)的影響。