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…

  Adrian McMenamin

  February 28, 2011

  Uncategorized

  Charles Petzold, Gödel, Gödel’s incompleteness theorems, Kurt Gödel, Logic and Foundations, The Annotated Turing: A Guided Tour Through Alan Turing’s Historic Paper on Computability and the Turing Machine

• 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…

  Adrian McMenamin

  February 2, 2011

  Uncategorized

  Hackers, Lambda calculus, LISP, RMS, Structure and Interpretation of Computer Programs, The Annotated Turing: A Guided Tour Through Alan Turing’s Historic Paper on Computability and the Turing Machine, turing machine