雙語暢銷書《艾倫圖靈傳》第4章:彼岸新星(1)
I hear it was charged against me that I sought to destroy institutions, but really I am neither for nor against institutions,
(What indeed have I in common with them or what with the destruction of them?)
它的存在與我何干？它的破滅與我何干？Only I will establish in the Mannahatta and in every city of these states inland and seaboard, and in the fields and woods, and above every keel little or large that dents the water,
我只想在曼哈頓，在內陸或沿海的每一個州，每一座城，在田野中，在樹林裏，在航行水面的每條船上，
Without edifices or rules or trustees or any argument, the institution of the dear love of comrades.
遠離那些沒完沒了的理事，代表，規矩，爭議，我只想要夥伴之間親密的愛。Almost on the same day that Alan announced his discovery to Newman, someone else completed a demonstration that the Hilbert Entscheidungs-problem was unsolvable.
1936年4月15日，大概是在這天，艾倫告訴紐曼，他證明了希爾伯特的判定性問題是無解的。It was at Princeton, where the American logician Alonzo Church had finished his argument for publication1 on 15 April 1936.
同樣是在這一天，普林斯頓的美國邏輯學家阿隆佐·丘奇也發表了他的證明。Church's essential idea, showing the existence of an 'unsolvable problem', had been announced a year earlier, but only at this point did he put it exactly in the form of answering Hilbert's question.
丘奇在一年前發現，不可解的問題是存在的，在這篇證明中，他用精確的形式把它描述出來，回答了希爾伯特的問題。A new idea had found its way into two human minds simultaneously and independently.
這兩個人的思想，沿着不同的道路同時到達了這裏。
