Lots of reading are available to technical people who are willing. People elsewhere in this thread have mentioned Nagel and Newman, and also Smullyan. Here ar

Lots of reading are available to technical people who are willing. People elsewhere in this thread have mentioned Nagel and Newman, and also Smullyan. Here are two more: 1) Smith's Introduction to Godel's Theorems http://www.logicmatters.net/igt/ http://www.logicmatters.net/igt/ is a great book, with all the mathematics but willing to go into the philosophy. 2) Franzen's Gödel's Theorem: An Incomplete Guide to Its Use and Abuse http://www.ams.org/notices/200703/rev-raatikainen.pdf http://www.ams.org/notices/200703/rev-raatikainen.pdf is enlightening in a different way. I'll also mention a favorite author around here http://www.scottaaronson.com/blog/?p=710 http://www.scottaaronson.com/blog/?p=710 .