Hacker News Reader

The Annotated Turing

I had never taken a theory of computation class so reading this book was a good casual starting point to understand how mathematical logic and computing are related

Plus there’s some good history bits in there too

View on HN

Great book! I went trough it to better understand Turing's paper. The annotations in it and remarks of Turing's bugs help clarify a bunch of stuff. I would bet that the original reviewers of the paper had no idea what Turing what writing about or where to lazy to check it and to find the things that Petzold notes. I still remember the chapter where turing's development of maths in the paper resembles Brouwer's intuitionism.

Reply on news.ycombinator.com