雙語暢銷書《艾倫圖靈傳》第4章:彼岸新星(6)
Meanwhile a paper has appeared in America, written by Alonzo Church, doing the same things in a different way.
Mr Newman and I have decided however that the method is sufficiently different to warrant the publication of my paper too.
紐曼先生和我都認爲，因爲方法明顯是不同的，所以我的論文也應該發表。Alonzo Church lives at Princeton so I have decided quite definitely about going there.
阿隆佐·丘奇在普林斯頓，所以我決定要到那裏去。
He had applied for a Procter Fellowship. Princeton offered three of these, one in the gift of Cambridge, one of Oxford, one of the Collège de France.
他申請了保潔獎學金，普林斯頓提供三個名額，一個給劍橋，一個給牛津，一個給法蘭西公學院。He was not to be successful, for the Cambridge one went that year to R.A. Lyttleton, the mathematician and astronomer.
艾倫沒有成功，因爲劍橋的那個名額最終給了數學家兼天文學家R. A.萊託頓。But he must have found that his King's fellowship would provide just enough funds.
儘管如此，但艾倫認爲，國王學院的研究員資助，其實也足夠了。Meanwhile, it was now necessary for the publication of the paper that he should include a demonstration that its definition of 'computable'—that is, as anything that could be computed by a Turing machine—was exactly equivalent to what Church had called 'effectively calculable', meaning that it could be described by a formula in the lambda-calculus.
與此同時，關於他的論文發表，他現在必須能夠說明，他的可計算數與丘奇所說的可算是完全等價的，也就是說，它可以表示成λ算子表達式。So he studied Church's work from the papers which he and S.C. Kleene had produced in 1933 and 1935, and sketched out the required demonstration in an appendix to the paper which was finished on 28 August.
因此，艾倫研究了丘奇和S.C.克林1933年和1935年的論文，並於8月28日完成了論文的附錄，來擴展上述必需的證明。
