永恒的图灵

这不是一本写给所有人的图灵传记，而是一份由图灵的数学继承者们亲手撰写的'前沿战报'。书中作者多是递归论、密码学、计算理论领域的重量级人物，他们从'可计算性'这一核心出发，回溯图灵思想的源头，又延伸至量子计算、超计算、黎曼猜想与素数分布等当代难题。读者最珍视的，是那些'为数不多、真正前沿'的章节——它们罕见地将广义递归论与超计算引入中文世界。但正因如此，它门槛极高：数理逻辑、符号推导、形式化证明会让普通读者'满地找牙'。适合谁？适合愿意为开拓眼界而'啃'、不畏惧枯燥的进阶读者；对寻求轻松阅读的读者，则建议谨慎入坑。

S. 巴里·库珀（S. Barry Cooper） 本书付梓前不幸逝世。生前为利兹大学数理逻辑教授，欧洲“可计算性学会”主席，“图灵百年委员会”主席。他主编的《Alan Turing：His Work and Impact》一书曾荣获2013年美国专业与学术杰出出版奖 安德鲁·霍奇斯（Andrew Hodges） 牛津大学数学研究所教授、高级研究员。他撰写了畅销全球的权威图灵传记《Alan Turing：The Enigma》，此书也是奥斯卡获奖影片《模仿游戏》的文学原本。