前言 前言The Once and Future Turing: Computing the World这本书源于数理逻辑学家巴里·库珀的提议。在2007年时,他已经在筹划一个会议,纪念阿兰·图灵诞辰一百周年,不过,对于复兴图灵研究而言,这仅仅是他巨大的、充满激情的奉献的开端。2009年,在编辑图灵的一部新的极为重要的论文专辑时,他(和我一起)向剑桥大学出版社提出了一个想法,出版一本关于“图灵与计算之未来”的书。在与出版社的大卫·特纳拉赫和塞维亚·芭比娜接触以后,巴里和我感觉这是个机会,让当今的科学家们把图灵遗产中动人且有挑战性的部分带给广大读者。 2010年,我们确定了书名The Once and Future Turing,并且开始约稿。这项计划依靠的是巴里·库珀担任欧洲可计算性学会主席以及参与数不胜数的学术会议组织委员会所凝聚的网络力量。更为重要的是,计划中饱含他充满智慧的探索,呈现了逻辑与现代物理以及人类科学之间的相互影响。巴里对于“Computing the World”有着独到的见解,他将其作为副书名,并在书中五个部分的开篇对其做了进一步阐释,这些都是他对本书的贡献。我的贡献(包括全书开篇的引言)主要围绕图灵之曾经(Turing Once),巴里则书写了图灵之未来(Turing Future)。 非常不幸,在本书准备工作的后阶段,巴里突然去世了。特别令人难过的是,他没能看到本书的出版。巴里诚挚地感谢剑桥大学出版社的每个参与者,我也是一样。同时,感谢撰写各章的杰出作者们,他们慷慨地工作并且永远充满耐心。这些章节从各个方面反射出时间与人类生命的奇迹,展现了一幅未来之景,如果图灵和巴里·库珀还活着,这一定是他们希望看到的。 安德鲁·霍奇斯2016年1月
作者简介 S.巴里·库珀,本书付梓前不幸逝世。生前为利兹大学数理逻辑教授,欧洲“可计算性学会”,“图灵百年委员会”。他主编的《Alan Turing: His Work and Impact》一书曾荣获2013年美国专业与学术杰出出版奖。堵丁柱,世界有名数学家,攻克了斯坦纳比难题,现为美国得克萨斯大学达拉斯分校计算机系教授。同英文版一样,中文版亦云集了来自中外多所科研院校的前沿学者担纲翻译,希望藉由此书,为更多将要跨入计算世界之未来的读者点燃星火。
以下为对购买帮助不大的评价