Bought on a whim but seems like a good one

This diagram shows the syntactic entities whic...

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.

About these ads

3 comments

  1. Pingback: The importance of Turing’s findings | cartesian product
  2. Pingback: Coming up… the lamda calculus | cartesian product
  3. Pingback: Gödel, Turing and decidability | cartesian product