4 ms·

A fascinating book on Turing and Church is “The Annotated Turing”. It’s a walk through of Turings paper with analysis and commentary. It was written by Charles

• arduinomancer 5y ago
  +1 It’s pretty easy to understand from an average programmer’s perspective I found the proofs at the end are a bit hard to follow but it’s not really critical to understand them if you just want to know what a Turing Machine is and the history/context behind it I thought it was really interesting how Turing defines what are essentially “macros” for the machine For example copy or erase