Image via Wikipedia

I bought this book this evening on the way home from work – The Annotated Turing – and have already got through fifty pages.

(Actually I wish I *had* bought it from Amazon because the price there is less than half I paid for it).

Those pages covered much of the same ground as the early chapters of Godel, Escher, Bach: An Eternal Golden Braid – a much more famous book (and *not* a bad read) – and in a more formal, mathematical way, but it also seems to do it in a much clearer fashion.

So, while I haven’t yet got to the chapters that dissect Turing’s *On Computable Numbers, with an Application to the Entscheidungsproblem*, so far I have no hesitation in recommending it as a good introduction to the issues of computability.

### Like this:

Like Loading...

*Related*

Pingback: The importance of Turing’s findings | cartesian product

Pingback: Coming up… the lamda calculus | cartesian product

Pingback: Gödel, Turing and decidability | cartesian product