This is quite an intriguing and atypically multi-disciplinary investigation into the nature of computing, its relationship to information theory, mathematics and physical sciences, and its future prospects, including looming and potentially critical technological and theoretical limitations. Aspects of formal computability and the thermodynamics of computation are also explored.
The book is relatively accessible (generally at undergraduate level) but it occasionally tends to get quite succinct and technical: some decent knowledge of the basics of information theory, of logic, of formal computability (some exposure to the main concepts of computational complexity theory is very highly recommended), of quantum mechanics and thermodynamics are quite important to fully appreciate the insights presented in this book. If I had a to somewhat categorize this book, I would define it as a technically-oriented, multi-disciplinary book about the current themes in computation theory in general.
Laudable in its efforts to achieve a multidisciplinary approach, and presenting many very interesting insights, this is a really interesting and informative book, addressing not just the existing concepts and results, but also the most leading edge theoretical and technological research, including quantum computing and some of the more exotic “hyper-computing” proposals; requiring a careful close reading, compounded with a required undergraduate-level prior knowledge and exposure to the themes being discussed, it is still a remarkably accessible book for the themes being presented.
4-stars.