前言

The Once and Future Turing: Computing the World

這本書源于數(shù)理邏輯學家S�卑屠铩�庫珀的提議。在2007年時，他已經(jīng)在籌劃一個會議，紀念阿蘭·圖靈一百周年誕辰，不過，對于復興圖靈研究而言，這僅僅是他巨大的、充滿激情的奉獻的開端。2009年，在編輯圖靈的一部新的極為重要的論文專輯時，他（和我一起）向劍橋大學出版社提出了一個想法，出版一本關(guān)于“圖靈與計算之未來”的書。在與出版社的大衛(wèi)·特納拉赫和塞維亞·芭比娜接觸以后，巴里和我感覺這是個機會，讓當今頂尖的科學家們把圖靈遺產(chǎn)中動人且有挑戰(zhàn)性的部分帶給廣大讀者。前言

The Once and Future Turing: Computing the World

這本書源于數(shù)理邏輯學家S�卑屠铩�庫珀的提議。在2007年時，他已經(jīng)在籌劃一個會議，紀念阿蘭·圖靈一百周年誕辰，不過，對于復興圖靈研究而言，這僅僅是他巨大的、充滿激情的奉獻的開端。2009年，在編輯圖靈的一部新的極為重要的論文專輯時，他（和我一起）向劍橋大學出版社提出了一個想法，出版一本關(guān)于“圖靈與計算之未來”的書。在與出版社的大衛(wèi)·特納拉赫和塞維亞·芭比娜接觸以后，巴里和我感覺這是個機會，讓當今頂尖的科學家們把圖靈遺產(chǎn)中動人且有挑戰(zhàn)性的部分帶給廣大讀者。
2010年，我們確定了書名The Once and Future Turing，并且開始約稿。這項計劃依靠的是巴里·庫珀擔任歐洲可計算性學會主席以及參與數(shù)不勝數(shù)的學術(shù)會議組織委員會所凝聚的網(wǎng)絡力量。更為重要的是，計劃中飽含他充滿智慧的探索，呈現(xiàn)了邏輯與現(xiàn)代物理以及人類科學之間的相互影響。巴里對于“Computing the World”有著獨到的見解，他將其作為副書名，并在書中五個部分的開篇對其做了進一步闡釋，這些都是他對本書的貢獻。我的貢獻（包括全書開篇的引言）主要圍繞圖靈之曾經(jīng)（Turing Once），巴里則書寫了圖靈之未來（Turing Future）。
非常不幸，在本書準備工作的最后階段，巴里突然去世了。特別令人難過的是，他沒能看到本書的出版。巴里誠摯地感謝劍橋大學出版社的每個參與者，我也一樣。同時，感謝撰寫各章的杰出作者們，他們慷慨地工作并且永遠充滿耐心。這些章節(jié)從各個方面反射出時間與人類生命的奇跡，展現(xiàn)了一幅未來之景，如果圖靈和S�卑屠铩�庫珀還活著，這一定是他們希望看到的。
安德魯·霍奇斯
2016年1月