在解決數(shù)學(xué)邏輯學(xué)這個(gè)神秘領(lǐng)域內(nèi)的一個(gè)問題時(shí)，他想像出了一臺能夠模仿人類思考的機(jī)器。聽起來很耳熟是嗎？如果阿蘭·特云所做的一切否定了數(shù)學(xué)邏輯學(xué)這個(gè)神秘王國里的一個(gè)難題，那么則沒有任何非專家人物有理由記住他。

但是他用以證明“一個(gè)封閉邏輯系統(tǒng)中的一條定理在那個(gè)系統(tǒng)中不能得到證明”的方法，卻在世界上產(chǎn)生了廣泛的影響。為了證明他的這一看法，這位劍橋大學(xué)的古怪的講師構(gòu)想出了一臺會(huì)想象的計(jì)算機(jī)——它...