I like the book! I expected to find something about Godel though. Maybe in a second and third volume with goodies like those discussed in volume 1?
The last chapter talks about Gödel, and describes how the halting problem is really the same thing.
I also have been talking about Gödel on my blog. The thing about Gödel is that it’s really complicated. It’s a huge amount of work, and a lot of hard to explain definitions.
But most importantly: it’s been done. The best book of math for non-mathematicians ever, “Gödel Escher Bach” by Douglas Hofstadter, already does it. I can’t possibly match the quality of his explanation, much less do better. I