Tag: The Annotated Turing: A Guided Tour Through Alan Turing’s Historic Paper on Computability and the Turing Machine

Gödel, Turing and decidability
I am still wandering around in the world opened to me by The Annotated Turing – perhaps a little lost, but I have been reading some guide books. The most recent of these has been Gödel’s Proof which gives a gentle(ish) introduction to Gödel’s incompleteness theorem. This is a short, but fascinating book that I repeatedly…

Coming up… the lambda calculus
Another thing that The Annotated Turing taught me is what all those lambdas that I have seen over the last 25 years were about, or at least it introduced me to what they were about. So I have just ordered a copy of Structure and Interpretation of Computer Programs: and I can guess that some…