[wirthjason]

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 Petzold, who also wrote the immensity popular book “CODE”.

https://www.amazon.com/Annotated-Turing-Through-Historic-Com...

[arduinomancer]

+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