Computers, Ltd., David Harel. Oxford University Press, 2003.
This is a brief explanation of the limits that computers face: non-computable and intractable problems. At the end of the book, the author spends a little time examining approaches that might get around these problems, and things that work because of these problems (e.g., encryption). (Reviewed June, ’05)