新的计算范式，改变可计算的概念

这一对复杂主题的精彩阐述从数学角度审视了计算理论和实践的新发展，主题从经典可计算性到复杂性，从生物计算到量子计算。本书适合数学、哲学和计算机科学领域对逻辑和基础问题特别感兴趣的研究人员和研究生。对研究生最有用的是关于可计算分析和生物计算的调查论文。逻辑学家和理论物理学家也将从本书中受益。