I've always been curious about the reverence and mystery with which Turing machines get mentioned, and if you want to say you've read the words from the man himself, this is the only way I'd suggest doing it.

The Annotated Turing is precisely as advertised, a walk through the very paper Turing wrote for his thesis, errors and all. While I would have never been able to climb that mountain without a serious amount of background information, here we get the guidance of Mr. Petzold, our sherpa of mathematics, and what excellent guidance it is.

While I could not bring myself to understand the full complexities of the paper, The Annotated Turing takes it step by step, passage by passage and provides illuminating background and context, as well as clarifying Turing's intent and straight up fixing a decent number of typographical errors.

I feel like I need another read of this to understand how the minutiae of the machines translates into the overall findings of the paper, the creation/discovery of a conceptual computer that is not only programmable but is a generalized computer and one that can solve any problem solvable by a computer. A wonderful and informative book, written with obvious love for the subject.