4 ms·
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
by arduinomancer 5y ago
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
- jarpschop 5y agoGreat 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.