Are there any expository books or articles on computability that are accessible to the general public on the order of Simon Singh's math popularizations (The Code Book)?
I'm looking for one with lots of pictures/diagrams (like Scientific American graphics) and low on mathematical notation.
It doesn't have to be a dedicated book. A book chapter, short article, or a (mostly self contained) series of blog posts is fine.
It should get across the concepts of Turing Machines and calculations, universal computation, and undecidability.