This is one of those books that you'll love if you're into mathematics or hard-core computer science, but you'll become somewhat of a skimmer if you don't have the chops to keep up with theory and proofs.. The Annotated Turing: A Guided Tour Through Alan Turing's Historic Paper on Computability and the Turing Machine by Charles Petzold. And in case you're wondering, I fall into the second category. :)

Contents:
Part 1 - Foundations
This Tomb Holds Diophantus
The Irrational and the Transcendental
Centuries of Progress
Part 2 - Computable Numbers
The Education of Alan Turing
Machines at Work
Addition and Multiplication
Also Known as Subroutines
Everything Is a Number
The Universal Machine
Computers and Computability
Of Machines and Men
Part 3 - Das Entscheidungsproblem
Logic and Computability
Computable Functions
The Major Proof
The Lambda Calculus
Conceiving the Continuum
Part 4 - And Beyond
Is Everything a Turning Machine?
The Long Sleep of Diophantus
Selected Bibliography
Index

In order to give the reader a better understanding of Turing's paper on computing machines, Petzold takes each section of the original paper and adds commentary and background. The parts of the actual Turing paper are set off in shaded areas with a different font, preserving the line breaks, formatting, and even the typos when possible. By the time you're done with the book, you have a complete copy of Turing's original work. Petzold does a very good job in laying the foundations for concepts and conclusions in the paper. For instance, he provides a concise explanation of rational, irrational, real, and transcendental numbers in a way that most people can follow. It's important to understand those ideas, as they quickly come into play when the dissection of the paper begins. He also provides historical background on Turing and his counterparts. This is important because you should understand that back in the 1930's, the idea and concepts of automated computing were still in their infancy. If you try and judge his work based on what we know today, you may not get the full implication of how radical this was back in his time.

So is this a book that everyone will enjoy? In a word, no. This book deals with some heavy math theory, and to get the most out of it you'd have to either have a solid background in math or be willing to spend a lot of time trying to understand it. I'll admit that most of the details were far over my head, and as such I missed a significant amount of the impact of this book. Having said that, I can also see how Petzold did a very good job in breaking down a complex subject and making it attainable to a reader that isn't at the same level of Turing. In fact, I'd venture to guess that without a book like this, many would not have the opportunity to dig into Turing's work with any degree of depth or success.

I bought this book out of interest in the paper that Alan Turing wrote, and because I liked "Code" which was written by Petzold. I am not done with the book to set this in stone yet, but I'm currently teetering between 3 and 4 stars because this book doesn't seem quite as readable as "Code" was.

With "Code" I felt like it was an excellent and very interesting book, a good description of technology that non-science lovers could read. This one so far seems a little more dry, but time (and more pages) will tell.

I'll be honest, I am not a mathematician but I like mathematics, partly because I love computer programming. If I read the Turing paper as is, I would not understand it, but the way Petzold is explaining things makes it all easy to understand. You feel this is his toy project, his hobby.
I own two other books by him : 3D Programming for Windows (Pro - Developer) andProgramming Microsoft Windows with C# (Microsoft)and everywhere when it comes to math the author explains things in a way that even a newbie to the subject(say matrices) could understand it.
So "The annotated TURING" is fun to read, also because of the detailed historical information it contains.

this is a fantastic book. It manages to explain simply and clearly the entirety of turing's landmark paper and providing a thorough grounding on the base mathematical knowledge. though I had taken some set theory in college, I am fairly confident that even a devoted highschooler with some experience in geometry proofs could understand and follow this book. Of course, I should also mention that this book is written extremely well such that at no point did I feel bored. when was the last time you found a math book completely riveting?

For those touring Turing's work, there's nothing better than a guide. Alan Turing's research in computing science form (along with works by Goedel, von Neumann, etc.) the a "must-see" tour for any serious computer scientist or discrete mathematician. Unfortunately, all such original works are very aged in writing style, terminology, and notation, making them very difficult to read. I have read Turing's work (in my professional work) several times, but this book still gives useful insights and illuminates key points that I'd missed.

I've posted a much more in depth review at http://vinull.com/Post/2008/07/21/review-the-annotated-turing-by-charles-.aspx so this one will be short, but this book is well worth your time. Simply put, Turing deserves much credit for inventing the programmable computer and he did as a side effect to solving a math problem.

If you're like me, and not so good with the numbers, don't sweat - Petzold explains the math so even if you can't read the formula you know what it means. Anyone who has a passion for computers will enjoy this book!

Some books entertain, some inform; some confirm what you already knew, some make you change your mind about something. But then there are some books that just make you think "wow! I wish I'd written that".

For me, Charles Petzold's The Annotated Turing falls into that last category (as well, of course, as the informational category). It's a book worth reading not only for the topic itself but the way it's presented.

Petzold provides the necessary background before working through Turing's famous 1936 paper "On computable numbers, with an application to the Entscheidungsproblem" with rich annotations at every stage, including biographical details.

If you are interested in the foundation of mathematics, computability, Turing's work, or even just ways of explaining mathematics in a historical context, I highly recommend this book.